Virtual Prototyping of Automotive Systems: Towards Multi-level Design Space Exploration - Archive ouverte HAL Accéder directement au contenu
Poster De Conférence Année : 2016

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

Résumé

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.
Fichier principal
Vignette du fichier
DASIP2016poster.pdf (1.86 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01365609 , version 1 (24-02-2017)

Licence

Paternité

Identifiants

  • HAL Id : hal-01365609 , version 1

Citer

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⟩
251 Consultations
35 Téléchargements

Partager

Gmail Facebook X LinkedIn More