Systèmes réactifs : approche synchrone

Transparents

• Introduction
• Le langage Lustre
• Le langage Esterel
• Analyse de la causalité
• Génération de code séquentiel (compil. Lustre)
• Vérification formelle

Travaux pratiques

• Télécharger ici l'énoncé du t.p.
• Si vous disposez d'un pc, vous pouvez aussi télécharger et installer les outils 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).

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).
• La page du langage Signal académique, et celle de la version industrielle, TNI/SYLDEX.