Matches in SemOpenAlex for { <https://semopenalex.org/work/W1993914914> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W1993914914 abstract "The design paradigm shift observed in nowadays embedded software engineering from low level assembly code to high level languages enables ever more advanced applications. With the unprecedented level of actual design and implementation complexity, traditional concepts such as software testing and debugging are reaching their limits of useful application for the verification of ultra-high reliable embedded software. This paper addresses the problems that arise when using C-code for embedded targets and emphasizes the need of detailed knowledge of the underlying hardware architectures. Furthermore, model checking of assembly code is motivated and utilized to find errors in the code that are not obvious at the C-code level and will only occur on very rare occasions in the field. For that purpose we make use of the model checker [mc]square, developed by the RWTH Aachen University, and show some concepts to overcome the traditional model checking showstopper - the state-explosion problem." @default.
- W1993914914 created "2016-06-24" @default.
- W1993914914 creator A5028034207 @default.
- W1993914914 creator A5042936089 @default.
- W1993914914 creator A5072429798 @default.
- W1993914914 creator A5086772516 @default.
- W1993914914 date "2008-10-01" @default.
- W1993914914 modified "2023-10-14" @default.
- W1993914914 title "Motivating Model Checking of Embedded Systems Software" @default.
- W1993914914 cites W1501207415 @default.
- W1993914914 cites W1557059153 @default.
- W1993914914 cites W1568105243 @default.
- W1993914914 cites W2010609147 @default.
- W1993914914 cites W2165614474 @default.
- W1993914914 cites W2339714652 @default.
- W1993914914 cites W2340735175 @default.
- W1993914914 cites W2951534983 @default.
- W1993914914 cites W3089791671 @default.
- W1993914914 doi "https://doi.org/10.1109/mesa.2008.4735653" @default.
- W1993914914 hasPublicationYear "2008" @default.
- W1993914914 type Work @default.
- W1993914914 sameAs 1993914914 @default.
- W1993914914 citedByCount "5" @default.
- W1993914914 countsByYear W19939149142013 @default.
- W1993914914 countsByYear W19939149142018 @default.
- W1993914914 crossrefType "proceedings-article" @default.
- W1993914914 hasAuthorship W1993914914A5028034207 @default.
- W1993914914 hasAuthorship W1993914914A5042936089 @default.
- W1993914914 hasAuthorship W1993914914A5072429798 @default.
- W1993914914 hasAuthorship W1993914914A5086772516 @default.
- W1993914914 hasConcept C110251889 @default.
- W1993914914 hasConcept C115903868 @default.
- W1993914914 hasConcept C149635348 @default.
- W1993914914 hasConcept C154488198 @default.
- W1993914914 hasConcept C168065819 @default.
- W1993914914 hasConcept C177264268 @default.
- W1993914914 hasConcept C186846655 @default.
- W1993914914 hasConcept C199360897 @default.
- W1993914914 hasConcept C202444582 @default.
- W1993914914 hasConcept C2776760102 @default.
- W1993914914 hasConcept C2777904410 @default.
- W1993914914 hasConcept C33054407 @default.
- W1993914914 hasConcept C33923547 @default.
- W1993914914 hasConcept C41008148 @default.
- W1993914914 hasConcept C529173508 @default.
- W1993914914 hasConcept C9652623 @default.
- W1993914914 hasConceptScore W1993914914C110251889 @default.
- W1993914914 hasConceptScore W1993914914C115903868 @default.
- W1993914914 hasConceptScore W1993914914C149635348 @default.
- W1993914914 hasConceptScore W1993914914C154488198 @default.
- W1993914914 hasConceptScore W1993914914C168065819 @default.
- W1993914914 hasConceptScore W1993914914C177264268 @default.
- W1993914914 hasConceptScore W1993914914C186846655 @default.
- W1993914914 hasConceptScore W1993914914C199360897 @default.
- W1993914914 hasConceptScore W1993914914C202444582 @default.
- W1993914914 hasConceptScore W1993914914C2776760102 @default.
- W1993914914 hasConceptScore W1993914914C2777904410 @default.
- W1993914914 hasConceptScore W1993914914C33054407 @default.
- W1993914914 hasConceptScore W1993914914C33923547 @default.
- W1993914914 hasConceptScore W1993914914C41008148 @default.
- W1993914914 hasConceptScore W1993914914C529173508 @default.
- W1993914914 hasConceptScore W1993914914C9652623 @default.
- W1993914914 hasLocation W19939149141 @default.
- W1993914914 hasOpenAccess W1993914914 @default.
- W1993914914 hasPrimaryLocation W19939149141 @default.
- W1993914914 hasRelatedWork W1973100650 @default.
- W1993914914 hasRelatedWork W1993914914 @default.
- W1993914914 hasRelatedWork W2023825171 @default.
- W1993914914 hasRelatedWork W2080008236 @default.
- W1993914914 hasRelatedWork W2093432410 @default.
- W1993914914 hasRelatedWork W2151898527 @default.
- W1993914914 hasRelatedWork W4237105841 @default.
- W1993914914 hasRelatedWork W4255293700 @default.
- W1993914914 hasRelatedWork W47563837 @default.
- W1993914914 hasRelatedWork W997578673 @default.
- W1993914914 isParatext "false" @default.
- W1993914914 isRetracted "false" @default.
- W1993914914 magId "1993914914" @default.
- W1993914914 workType "article" @default.