Composante
École Nationale Supérieure d'Électrotechnique d'Électronique d'Informatique d'Hydraulique et des Télécommunications
Objectifs
Présenter le langage data-flow synchrone LUSTRE pour la programmation des systèmes temps réel.
Description
- Cible : systèmes de contrôle commande
- Synchrone versus asynchrone
- Le langage Lustre de base
- Le langage Lustre avec les horloges
- La vérification de programmes
- TP : robot Légo