Matches in SemOpenAlex for { <https://semopenalex.org/work/W17804537> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W17804537 abstract "Complex embedded systems consist of hardware and software components from different domains, such as control and signal processing, many of them supplied by different internal and external source (e. g. IP). The system architect faces the challenge to integrate, optimize and validate the resulting heterogeneous systems. The analysis of the whole system is currently limited to simulation or emulation, since formal validation is only available for some subproblems. While simulation still seems viable for the validation of the system function, it can not be reliably applied to the validation of non-functional system properties, in particular timing. In this paper, we propose a validation methodology which augments existing cosimulation-based design approaches with formal timing analysis capabilities. This methodology is based on the decomposition of the validation task into the analysis of individual processes and resources for which formal analysis techniques are known and on the composition of the obtained results in order to obtain systemlevel timing information. Furthermore, it is shown how the analyzability of system timing can be systematically improved by slightly changing the system implementation." @default.
- W17804537 created "2016-06-24" @default.
- W17804537 creator A5081198825 @default.
- W17804537 creator A5087563645 @default.
- W17804537 creator A5091258259 @default.
- W17804537 date "2002-01-01" @default.
- W17804537 modified "2023-09-24" @default.
- W17804537 title "Breaking Down Complexity for Reliable System-Level Timing Validation" @default.
- W17804537 cites W1490052765 @default.
- W17804537 cites W1561021211 @default.
- W17804537 cites W1997035314 @default.
- W17804537 cites W2041874012 @default.
- W17804537 cites W2052279347 @default.
- W17804537 cites W2099529102 @default.
- W17804537 cites W2102801019 @default.
- W17804537 cites W2104680817 @default.
- W17804537 cites W2120909868 @default.
- W17804537 cites W2133811601 @default.
- W17804537 cites W2137901020 @default.
- W17804537 cites W2140634112 @default.
- W17804537 cites W2145132630 @default.
- W17804537 cites W2149791895 @default.
- W17804537 cites W2166893828 @default.
- W17804537 cites W2170764938 @default.
- W17804537 cites W2171518785 @default.
- W17804537 cites W2262960161 @default.
- W17804537 cites W2570030068 @default.
- W17804537 hasPublicationYear "2002" @default.
- W17804537 type Work @default.
- W17804537 sameAs 17804537 @default.
- W17804537 citedByCount "7" @default.
- W17804537 crossrefType "journal-article" @default.
- W17804537 hasAuthorship W17804537A5081198825 @default.
- W17804537 hasAuthorship W17804537A5087563645 @default.
- W17804537 hasAuthorship W17804537A5091258259 @default.
- W17804537 hasConcept C111498074 @default.
- W17804537 hasConcept C111919701 @default.
- W17804537 hasConcept C11413529 @default.
- W17804537 hasConcept C120314980 @default.
- W17804537 hasConcept C127413603 @default.
- W17804537 hasConcept C14036430 @default.
- W17804537 hasConcept C149635348 @default.
- W17804537 hasConcept C149810388 @default.
- W17804537 hasConcept C162324750 @default.
- W17804537 hasConcept C200601418 @default.
- W17804537 hasConcept C201995342 @default.
- W17804537 hasConcept C2777904410 @default.
- W17804537 hasConcept C2780451532 @default.
- W17804537 hasConcept C41008148 @default.
- W17804537 hasConcept C50522688 @default.
- W17804537 hasConcept C78458016 @default.
- W17804537 hasConcept C79403827 @default.
- W17804537 hasConcept C86803240 @default.
- W17804537 hasConcept C93682380 @default.
- W17804537 hasConceptScore W17804537C111498074 @default.
- W17804537 hasConceptScore W17804537C111919701 @default.
- W17804537 hasConceptScore W17804537C11413529 @default.
- W17804537 hasConceptScore W17804537C120314980 @default.
- W17804537 hasConceptScore W17804537C127413603 @default.
- W17804537 hasConceptScore W17804537C14036430 @default.
- W17804537 hasConceptScore W17804537C149635348 @default.
- W17804537 hasConceptScore W17804537C149810388 @default.
- W17804537 hasConceptScore W17804537C162324750 @default.
- W17804537 hasConceptScore W17804537C200601418 @default.
- W17804537 hasConceptScore W17804537C201995342 @default.
- W17804537 hasConceptScore W17804537C2777904410 @default.
- W17804537 hasConceptScore W17804537C2780451532 @default.
- W17804537 hasConceptScore W17804537C41008148 @default.
- W17804537 hasConceptScore W17804537C50522688 @default.
- W17804537 hasConceptScore W17804537C78458016 @default.
- W17804537 hasConceptScore W17804537C79403827 @default.
- W17804537 hasConceptScore W17804537C86803240 @default.
- W17804537 hasConceptScore W17804537C93682380 @default.
- W17804537 hasLocation W178045371 @default.
- W17804537 hasOpenAccess W17804537 @default.
- W17804537 hasPrimaryLocation W178045371 @default.
- W17804537 hasRelatedWork W117245785 @default.
- W17804537 hasRelatedWork W137578951 @default.
- W17804537 hasRelatedWork W2062920789 @default.
- W17804537 hasRelatedWork W2119160628 @default.
- W17804537 hasRelatedWork W2125634417 @default.
- W17804537 hasRelatedWork W2138450822 @default.
- W17804537 hasRelatedWork W2168275791 @default.
- W17804537 hasRelatedWork W2228816749 @default.
- W17804537 hasRelatedWork W2297498078 @default.
- W17804537 hasRelatedWork W2312584066 @default.
- W17804537 hasRelatedWork W2419629240 @default.
- W17804537 hasRelatedWork W2738096415 @default.
- W17804537 hasRelatedWork W2944475290 @default.
- W17804537 hasRelatedWork W3009862847 @default.
- W17804537 hasRelatedWork W3202871388 @default.
- W17804537 hasRelatedWork W322339980 @default.
- W17804537 hasRelatedWork W40343816 @default.
- W17804537 hasRelatedWork W85874668 @default.
- W17804537 hasRelatedWork W94568475 @default.
- W17804537 hasRelatedWork W2181663446 @default.
- W17804537 isParatext "false" @default.
- W17804537 isRetracted "false" @default.
- W17804537 magId "17804537" @default.
- W17804537 workType "article" @default.