Virtual Yet Precise Prototyping: An Automotive Case Study - Equipe System on Chip Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Virtual Yet Precise Prototyping: An Automotive Case Study

Résumé

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

Dates et versions

hal-01291888 , version 1 (22-03-2016)

Identifiants

  • HAL Id : hal-01291888 , version 1

Citer

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⟩
350 Consultations
348 Téléchargements

Partager

Gmail Facebook X LinkedIn More