Skip to Main content Skip to Navigation
Conference papers

Virtual Yet Precise Prototyping: An Automotive Case Study

Daniela Genius 1, * Ludovic Apvrille 2, *
* Corresponding author
1 ALSOC - Architecture et Logiciels pour Systèmes Embarqués sur Puce
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : The paper overviews a joint framework for validating and exploring complex embedded systems. The framework indeed combines AVATAR and SocLib. AVATAR is a Model Driven Engineering approach relying on SysML, and SoCLib is a virtual prototyping platform. The main contribution lies in the new possibility to map AVATAR SysML blocks onto hardware nodes, within a newly conceived Deployment Diagram, and then to transform the latter into SoCLib models. At the AVATAR level, diagrams can be formally verified and simulated in a functional way only, that is, without considering any underlying hardware execution environment. On the contrary, the SocLib models can be simulated taking into account hardware components in an explicit way with a cycle-accurate bit accurate approach. An automotive system is used to present the two abstraction levels, and their support by the TTool toolkit.
Document type :
Conference papers
Complete list of metadatas

Cited literature [23 references]  Display  Hide  Download
Contributor : Marc Boyer <>
Submitted on : Tuesday, March 22, 2016 - 11:41:43 AM
Last modification on : Friday, January 8, 2021 - 5:32:08 PM
Long-term archiving on: : Sunday, November 13, 2016 - 11:06:57 PM


Files produced by the author(s)


  • HAL Id : hal-01291888, version 1


Daniela Genius, Ludovic Apvrille. Virtual Yet Precise Prototyping: An Automotive Case Study. 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France. pp.691-700. ⟨hal-01291888⟩



Record views


Files downloads