Matches in SemOpenAlex for { <https://semopenalex.org/work/W2149295853> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2149295853 abstract "The use of commercial off-the-shelf (COTS) microprocessors in safety-critical applications poses many challenges for system safety engineers. Due to liability and intellectual property concerns, important details, such as the register transfer level (RTL) implementation of the microprocessor, are often unavailable to those qualifying systems for use in safety-critical applications. Therefore, engineers must rely on high level specifications and other documents in order to prove the safety of using these microprocessors. In this abstract, we describe a microprocessor safety analysis framework that may assist engineers facing this situation. This framework focuses on demonstrating the logical correctness of microprocessors by verifying their features. The five steps of this framework are feature identification, feature risks analysis, feature modeling, feature verification, and safety analysis." @default.
- W2149295853 created "2016-06-24" @default.
- W2149295853 creator A5004055845 @default.
- W2149295853 creator A5022678145 @default.
- W2149295853 creator A5034274465 @default.
- W2149295853 creator A5039190635 @default.
- W2149295853 date "2007-11-01" @default.
- W2149295853 modified "2023-09-27" @default.
- W2149295853 title "A Safety Analysis Framework for COTS Microprocessors in Safety-Critical Applications" @default.
- W2149295853 cites W1527974875 @default.
- W2149295853 cites W1541288632 @default.
- W2149295853 cites W1605928912 @default.
- W2149295853 cites W2076519328 @default.
- W2149295853 cites W2095821487 @default.
- W2149295853 cites W2103075920 @default.
- W2149295853 cites W2103841931 @default.
- W2149295853 cites W2104824735 @default.
- W2149295853 cites W2107796892 @default.
- W2149295853 cites W2112269454 @default.
- W2149295853 cites W2112945606 @default.
- W2149295853 cites W2124205969 @default.
- W2149295853 cites W2124617909 @default.
- W2149295853 cites W2133943294 @default.
- W2149295853 cites W2135743241 @default.
- W2149295853 cites W2163971826 @default.
- W2149295853 cites W2618898480 @default.
- W2149295853 cites W48552920 @default.
- W2149295853 cites W2145370548 @default.
- W2149295853 doi "https://doi.org/10.1109/hase.2007.66" @default.
- W2149295853 hasPublicationYear "2007" @default.
- W2149295853 type Work @default.
- W2149295853 sameAs 2149295853 @default.
- W2149295853 citedByCount "6" @default.
- W2149295853 countsByYear W21492958532012 @default.
- W2149295853 countsByYear W21492958532014 @default.
- W2149295853 crossrefType "proceedings-article" @default.
- W2149295853 hasAuthorship W2149295853A5004055845 @default.
- W2149295853 hasAuthorship W2149295853A5022678145 @default.
- W2149295853 hasAuthorship W2149295853A5034274465 @default.
- W2149295853 hasAuthorship W2149295853A5039190635 @default.
- W2149295853 hasConcept C111919701 @default.
- W2149295853 hasConcept C11413529 @default.
- W2149295853 hasConcept C120314980 @default.
- W2149295853 hasConcept C127413603 @default.
- W2149295853 hasConcept C134306372 @default.
- W2149295853 hasConcept C149635348 @default.
- W2149295853 hasConcept C162324750 @default.
- W2149295853 hasConcept C206729178 @default.
- W2149295853 hasConcept C21547014 @default.
- W2149295853 hasConcept C33923547 @default.
- W2149295853 hasConcept C34388435 @default.
- W2149295853 hasConcept C41008148 @default.
- W2149295853 hasConcept C48044578 @default.
- W2149295853 hasConcept C62611344 @default.
- W2149295853 hasConcept C66938386 @default.
- W2149295853 hasConcept C77052588 @default.
- W2149295853 hasConcept C79403827 @default.
- W2149295853 hasConceptScore W2149295853C111919701 @default.
- W2149295853 hasConceptScore W2149295853C11413529 @default.
- W2149295853 hasConceptScore W2149295853C120314980 @default.
- W2149295853 hasConceptScore W2149295853C127413603 @default.
- W2149295853 hasConceptScore W2149295853C134306372 @default.
- W2149295853 hasConceptScore W2149295853C149635348 @default.
- W2149295853 hasConceptScore W2149295853C162324750 @default.
- W2149295853 hasConceptScore W2149295853C206729178 @default.
- W2149295853 hasConceptScore W2149295853C21547014 @default.
- W2149295853 hasConceptScore W2149295853C33923547 @default.
- W2149295853 hasConceptScore W2149295853C34388435 @default.
- W2149295853 hasConceptScore W2149295853C41008148 @default.
- W2149295853 hasConceptScore W2149295853C48044578 @default.
- W2149295853 hasConceptScore W2149295853C62611344 @default.
- W2149295853 hasConceptScore W2149295853C66938386 @default.
- W2149295853 hasConceptScore W2149295853C77052588 @default.
- W2149295853 hasConceptScore W2149295853C79403827 @default.
- W2149295853 hasLocation W21492958531 @default.
- W2149295853 hasOpenAccess W2149295853 @default.
- W2149295853 hasPrimaryLocation W21492958531 @default.
- W2149295853 hasRelatedWork W1485135523 @default.
- W2149295853 hasRelatedWork W2018622066 @default.
- W2149295853 hasRelatedWork W2024218563 @default.
- W2149295853 hasRelatedWork W2072806201 @default.
- W2149295853 hasRelatedWork W2077629733 @default.
- W2149295853 hasRelatedWork W2556676986 @default.
- W2149295853 hasRelatedWork W2609126706 @default.
- W2149295853 hasRelatedWork W2613428015 @default.
- W2149295853 hasRelatedWork W2736227424 @default.
- W2149295853 hasRelatedWork W2962778265 @default.
- W2149295853 isParatext "false" @default.
- W2149295853 isRetracted "false" @default.
- W2149295853 magId "2149295853" @default.
- W2149295853 workType "article" @default.