Matches in SemOpenAlex for { <https://semopenalex.org/work/W2100196127> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2100196127 abstract "Ensuring functional correctness of hardware and software is a bottleneck in every design process of Embedded Systems. This paper proposes an approach to formally verify low-level software in conjunction with the hardware. The proposed approach is based on Interval Property Checking (IPC) that has proved successful on large industrial hardware designs. In this paper, IPC is extended by a specific abstraction technique that makes it tractable for hardware/software co-verification on realistic industrial designs. In the proposed methodology sets of finite state sequences of the system are abstracted by interval properties. This allows us to handle long sequences of state transitions in the hardware as they occur when running programs. We demonstrate the feasibility of our approach using the example of an industrial LIN software running on a public domain microprocessor platform." @default.
- W2100196127 created "2016-06-24" @default.
- W2100196127 creator A5010580183 @default.
- W2100196127 creator A5020337959 @default.
- W2100196127 creator A5047920654 @default.
- W2100196127 creator A5066184879 @default.
- W2100196127 date "2011-06-05" @default.
- W2100196127 modified "2023-09-27" @default.
- W2100196127 title "Formal hardware/software co-verification by interval property checking with abstraction" @default.
- W2100196127 cites W1572578464 @default.
- W2100196127 cites W1991655364 @default.
- W2100196127 cites W2024148935 @default.
- W2100196127 cites W2042108411 @default.
- W2100196127 cites W2117958841 @default.
- W2100196127 cites W2127574686 @default.
- W2100196127 cites W2141068082 @default.
- W2100196127 cites W2146422945 @default.
- W2100196127 cites W2156392592 @default.
- W2100196127 cites W2165097265 @default.
- W2100196127 cites W2171341087 @default.
- W2100196127 cites W4242057943 @default.
- W2100196127 doi "https://doi.org/10.1145/2024724.2024843" @default.
- W2100196127 hasPublicationYear "2011" @default.
- W2100196127 type Work @default.
- W2100196127 sameAs 2100196127 @default.
- W2100196127 citedByCount "20" @default.
- W2100196127 countsByYear W21001961272013 @default.
- W2100196127 countsByYear W21001961272014 @default.
- W2100196127 countsByYear W21001961272016 @default.
- W2100196127 countsByYear W21001961272017 @default.
- W2100196127 countsByYear W21001961272018 @default.
- W2100196127 countsByYear W21001961272019 @default.
- W2100196127 countsByYear W21001961272021 @default.
- W2100196127 countsByYear W21001961272023 @default.
- W2100196127 crossrefType "proceedings-article" @default.
- W2100196127 hasAuthorship W2100196127A5010580183 @default.
- W2100196127 hasAuthorship W2100196127A5020337959 @default.
- W2100196127 hasAuthorship W2100196127A5047920654 @default.
- W2100196127 hasAuthorship W2100196127A5066184879 @default.
- W2100196127 hasConcept C110251889 @default.
- W2100196127 hasConcept C111472728 @default.
- W2100196127 hasConcept C111498074 @default.
- W2100196127 hasConcept C114614502 @default.
- W2100196127 hasConcept C124304363 @default.
- W2100196127 hasConcept C134306372 @default.
- W2100196127 hasConcept C138885662 @default.
- W2100196127 hasConcept C149091818 @default.
- W2100196127 hasConcept C149635348 @default.
- W2100196127 hasConcept C186846655 @default.
- W2100196127 hasConcept C189950617 @default.
- W2100196127 hasConcept C199360897 @default.
- W2100196127 hasConcept C2777904410 @default.
- W2100196127 hasConcept C2778067643 @default.
- W2100196127 hasConcept C2780513914 @default.
- W2100196127 hasConcept C33054407 @default.
- W2100196127 hasConcept C33923547 @default.
- W2100196127 hasConcept C36503486 @default.
- W2100196127 hasConcept C41008148 @default.
- W2100196127 hasConcept C48103436 @default.
- W2100196127 hasConcept C55439883 @default.
- W2100196127 hasConceptScore W2100196127C110251889 @default.
- W2100196127 hasConceptScore W2100196127C111472728 @default.
- W2100196127 hasConceptScore W2100196127C111498074 @default.
- W2100196127 hasConceptScore W2100196127C114614502 @default.
- W2100196127 hasConceptScore W2100196127C124304363 @default.
- W2100196127 hasConceptScore W2100196127C134306372 @default.
- W2100196127 hasConceptScore W2100196127C138885662 @default.
- W2100196127 hasConceptScore W2100196127C149091818 @default.
- W2100196127 hasConceptScore W2100196127C149635348 @default.
- W2100196127 hasConceptScore W2100196127C186846655 @default.
- W2100196127 hasConceptScore W2100196127C189950617 @default.
- W2100196127 hasConceptScore W2100196127C199360897 @default.
- W2100196127 hasConceptScore W2100196127C2777904410 @default.
- W2100196127 hasConceptScore W2100196127C2778067643 @default.
- W2100196127 hasConceptScore W2100196127C2780513914 @default.
- W2100196127 hasConceptScore W2100196127C33054407 @default.
- W2100196127 hasConceptScore W2100196127C33923547 @default.
- W2100196127 hasConceptScore W2100196127C36503486 @default.
- W2100196127 hasConceptScore W2100196127C41008148 @default.
- W2100196127 hasConceptScore W2100196127C48103436 @default.
- W2100196127 hasConceptScore W2100196127C55439883 @default.
- W2100196127 hasLocation W21001961271 @default.
- W2100196127 hasOpenAccess W2100196127 @default.
- W2100196127 hasPrimaryLocation W21001961271 @default.
- W2100196127 hasRelatedWork W1563456403 @default.
- W2100196127 hasRelatedWork W1972616446 @default.
- W2100196127 hasRelatedWork W2085535520 @default.
- W2100196127 hasRelatedWork W2087930812 @default.
- W2100196127 hasRelatedWork W2149674749 @default.
- W2100196127 hasRelatedWork W2154016114 @default.
- W2100196127 hasRelatedWork W2162615969 @default.
- W2100196127 hasRelatedWork W2177212599 @default.
- W2100196127 hasRelatedWork W2725751056 @default.
- W2100196127 hasRelatedWork W4287186141 @default.
- W2100196127 isParatext "false" @default.
- W2100196127 isRetracted "false" @default.
- W2100196127 magId "2100196127" @default.
- W2100196127 workType "article" @default.