Skip to Main content Skip to Navigation
Poster communications

Virtual Prototyping of Automotive Systems: Towards Multi-level Design Space Exploration

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 partitioning decision is taken at a high level of abstraction, we propose regularly validating the selected partitio ning during software development. The paper introduces a new model-based engineering process with a supporting toolkit TTool, first perfo rming 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 from SysML 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.
Document type :
Poster communications
Complete list of metadatas
Contributor : Daniela Genius <>
Submitted on : Friday, February 24, 2017 - 2:11:34 PM
Last modification on : Friday, January 8, 2021 - 5:32:08 PM
Long-term archiving on: : Thursday, May 25, 2017 - 12:53:31 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License


  • HAL Id : hal-01365609, version 1


Letitia Li, Ludovic Apvrille, Daniela Genius. Virtual Prototyping of Automotive Systems: Towards Multi-level Design Space Exploration. Conference on Design and Architectures for Signal and Image Processing, Oct 2016, Rennes, France. 2016. ⟨hal-01365609⟩



Record views


Files downloads