Programmation synchrone

Année 2006/2007

M2P GI

Option « Systèmes et logiciels embarqués »

Pascal Raymond et Alain Girault

30/01/2007
Une archive regroupant tous les outils nécessaires aux td/tp pour LINUX.

30/01/2007
Attention : la note de contrôle continu porte sur la dernière partie du t.p. Lustre.
Il s'agit d'un travail à faire par groupes de 2, à définir selon vos affinités.
Merci de me prévenir sitôt que les groupes seront constitués.
Téléchargez ici le complément à l'énoncé, qui vous guidera pour la rédaction et la soumission de vos résultats.
Les résultats sont à rendre avant le 16 mars.

Ce cours est une initiation à la programmation synchrone pour les systèmes réactifs. Les principes fondamentaux sont présentés :
concurrence et communications idealisées, compilation vers du code embarqué sûr.
Deux langages, aux styles différents, sont particulièrement étudiés : Lustre (langage flot-de-données) et Esterel (langage impératif séquentiel).
Les applications et outils associés sont étudiés : compilation, vérification formelle.

Transparents

Travaux pratiques

Télécharger ici l'énoncé du t.p. Lustre
Les outils nécessaire sur pc/Linux, et, en version beta, sur pc/windows+cygwin
Vous aurrez aussi besoin de l'outil autograph pour visualiser les automates (uniquement sur Linux).
Nouveau : une archive regroupant tous les outils nécessaires aux td/tp pour LINUX.

Liens

La page du langage Lustre académique.
La page du langage Esterel académique.
La page d'Esterel Technologies, qui commercialise Esterel et Scade (Lustre graphique).