Prototypage virtuel des systèmes embarqués : besoins, pratique et éléments de formalisation
Le 7 avril 2011 - 14h LINA - Bât 11 - Salle 3
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 :
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.