Accueil > Manifestations > Séminaires > Prototypage virtuel des systèmes embarqués : besoins, pratique et éléments de (...)

Prototypage virtuel des systèmes embarqués : besoins, pratique et éléments de formalisation


The design of complex systems often relies on the definition of a virtual prototype, in the form of some executable high-level model of the system. This is made complex because such a model has to cover all elements of the embedded system, at various levels of abstraction : the hardware pieces, the software (both application software and operating system or middle-ware levels), the execution platform, and the physical environment.

An executable model may be used extensively for simulations, to observe functional and non-functional properties of the system under construction. But, as these executable models appear first in the design flow, they become de-facto reference models, and this raises several problems :

  • How can we build executable formal models of those complex systems, rich enough to be used as virtual prototypes ?
  • What does it mean to validate functional properties formally on these models ?
  • How can we express and validate non-functional properties of complex embedded systems on their high-level models, with some guarantee that these evaluations are realistic for the final running system ?

In this talk, we will first summarize what we learned on virtual prototyping in three contexts : embedded control systems, systems-on-a-chip, sensor networks. Then we will try and identify common features and needs of the virtual prototyping environments.
Finally, we will suggest a formal approach to some of these common problems.


Téléchargez le texte de l’exposé

Dernière modification : mercredi 21 octobre 2015