Matches in SemOpenAlex for { <https://semopenalex.org/work/W3121799993> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W3121799993 abstract "The design methodology of an embedded system should start with a system-level design space exploration dividing functions into hardware and software. However, since this partitioningdecision is taken at a high level of abstraction, we propose regularly validating the selected partitioning during software development.The paper introduces a new model-based engineering process with a supporting toolkit TTool, first performing system-level design space exploration, and then assessing these partitioning choices at different levels of abstraction during software design.Exploration and partitioning choices are verified using a press-button approach, enabling simulation and formal verification directly fromSysML models. High-level simulations/verification rely on custom model-checkers and abstract models of software and hardware, while low-level simulations rely on automatically generated C-POSIX software code executing on a cycle-precise virtual prototyping platform. An automotive case study on an automatic braking application illustrates our complete approach." @default.
- W3121799993 created "2021-02-01" @default.
- W3121799993 creator A5011298388 @default.
- W3121799993 creator A5030174987 @default.
- W3121799993 creator A5058794408 @default.
- W3121799993 date "2016-10-12" @default.
- W3121799993 modified "2023-10-14" @default.
- W3121799993 title "Virtual Prototyping of Automotive Systems: Towards Multi-level Design Space Exploration" @default.
- W3121799993 cites W1551441969 @default.
- W3121799993 cites W1975051432 @default.
- W3121799993 cites W2000336625 @default.
- W3121799993 cites W2045346064 @default.
- W3121799993 cites W2103942479 @default.
- W3121799993 cites W2125508346 @default.
- W3121799993 cites W2145930857 @default.
- W3121799993 cites W2150408604 @default.
- W3121799993 cites W2151676061 @default.
- W3121799993 cites W2608200019 @default.
- W3121799993 cites W78674370 @default.
- W3121799993 hasPublicationYear "2016" @default.
- W3121799993 type Work @default.
- W3121799993 sameAs 3121799993 @default.
- W3121799993 citedByCount "1" @default.
- W3121799993 countsByYear W31217999932019 @default.
- W3121799993 crossrefType "proceedings-article" @default.
- W3121799993 hasAuthorship W3121799993A5011298388 @default.
- W3121799993 hasAuthorship W3121799993A5030174987 @default.
- W3121799993 hasAuthorship W3121799993A5058794408 @default.
- W3121799993 hasBestOaLocation W31217999931 @default.
- W3121799993 hasConcept C111919701 @default.
- W3121799993 hasConcept C118524514 @default.
- W3121799993 hasConcept C127413603 @default.
- W3121799993 hasConcept C146978453 @default.
- W3121799993 hasConcept C149635348 @default.
- W3121799993 hasConcept C201995342 @default.
- W3121799993 hasConcept C2776221188 @default.
- W3121799993 hasConcept C2776697782 @default.
- W3121799993 hasConcept C2777904410 @default.
- W3121799993 hasConcept C2778572836 @default.
- W3121799993 hasConcept C2780395129 @default.
- W3121799993 hasConcept C2780991453 @default.
- W3121799993 hasConcept C41008148 @default.
- W3121799993 hasConcept C44154836 @default.
- W3121799993 hasConcept C526921623 @default.
- W3121799993 hasConcept C529173508 @default.
- W3121799993 hasConcept C78519656 @default.
- W3121799993 hasConceptScore W3121799993C111919701 @default.
- W3121799993 hasConceptScore W3121799993C118524514 @default.
- W3121799993 hasConceptScore W3121799993C127413603 @default.
- W3121799993 hasConceptScore W3121799993C146978453 @default.
- W3121799993 hasConceptScore W3121799993C149635348 @default.
- W3121799993 hasConceptScore W3121799993C201995342 @default.
- W3121799993 hasConceptScore W3121799993C2776221188 @default.
- W3121799993 hasConceptScore W3121799993C2776697782 @default.
- W3121799993 hasConceptScore W3121799993C2777904410 @default.
- W3121799993 hasConceptScore W3121799993C2778572836 @default.
- W3121799993 hasConceptScore W3121799993C2780395129 @default.
- W3121799993 hasConceptScore W3121799993C2780991453 @default.
- W3121799993 hasConceptScore W3121799993C41008148 @default.
- W3121799993 hasConceptScore W3121799993C44154836 @default.
- W3121799993 hasConceptScore W3121799993C526921623 @default.
- W3121799993 hasConceptScore W3121799993C529173508 @default.
- W3121799993 hasConceptScore W3121799993C78519656 @default.
- W3121799993 hasLocation W31217999931 @default.
- W3121799993 hasOpenAccess W3121799993 @default.
- W3121799993 hasPrimaryLocation W31217999931 @default.
- W3121799993 hasRelatedWork W1579269313 @default.
- W3121799993 hasRelatedWork W2034962726 @default.
- W3121799993 hasRelatedWork W2077614921 @default.
- W3121799993 hasRelatedWork W2082667136 @default.
- W3121799993 hasRelatedWork W2120952728 @default.
- W3121799993 hasRelatedWork W2617252675 @default.
- W3121799993 hasRelatedWork W2748906741 @default.
- W3121799993 hasRelatedWork W2933922697 @default.
- W3121799993 hasRelatedWork W3013547484 @default.
- W3121799993 hasRelatedWork W3024521709 @default.
- W3121799993 isParatext "false" @default.
- W3121799993 isRetracted "false" @default.
- W3121799993 magId "3121799993" @default.
- W3121799993 workType "article" @default.