1

Introduction aux recherches sur

les systmes enfouis lINRIA

P. Le Guernic, DR

Les transports, un domaine dapplication

Carrefour de disciplines
Automatique Informatique

Mathmatiques

Partenariats (cf Panorama transports)

Industriels Acadmiques

Systme enfoui
continu

Environnement

continu

Systme discret Architecture support mtier, RT-OS, reconf, SoC,

Programme (discret)

. Reconfigurable, Soc

Mise en oeuvre

Le (presque) continuum INRIA

continu Scilab/Scicos Polychrone (Signal) Programme (discret) Synchrone (Esterel) UML, MDA

Asynchrone

Java RT

. Reconfigurable, Soc

Mise en oeuvre

Syndex

RT-OS SystemC, VHDL

Les thmatiques
Raffinement
Consistance Compltude
Spcification

Abstraction

dtaille

preuves Vrif model tests

Conception

simulation

dtaille

Implantation

des perspectives
Vers une plate-forme smantique europenne des systmes enfouis ?

SACRES, SafeAir

EAA

ARTIST
SEA, ESPACE,