Programmation de systèmes embarqués : l'approche synchrone

L'approche synchrone propose une solution originale à la programmation des systèmes embarqués, en abstrayant le temps réel en un temps logique. Cette approche a séduit en particulier les industries programmant des systèmes critiques, par sa simplicité et sa rigueur reposant sur des bases formelles bien définies.

Contenu

L'hypothèse synchrone
Lustre : un langage synchrone orienté flot de données
Esterel : un langage synchrone orienté flot de contrôle
Compilation de Lustre : calcul d'horloge, génération de code impératif
Les extensions récentes : automates et tableaux
SynDEx : le synchrone en distribué

Supports

L'approche synchrone
Les extensions du langage Lustre
TP du bras robot (merci à Alexandre Cortier)
L'exemple du chronomètre avec les automates
Le produit matrice-vecteur avec les extensions sur les tableaux

Quelques références

Sites web

Lustre universitaire : site de l'équipe

Esterel universitaire : site de l'équipe

Distributions industrielles : Esterel Technologies

Signal : site de l'équipe

Lucid Synchrone : la page du langage

SynDEx : la page de l'outil

Les inspirations de ce cours

Le cours de Pascal Raymond
Synchronous programming of reactive systems. N. Halbwachs. Kluwer Academic Pub., 1993