Contenu
Le modele de programmation synchrone est au coeurs de divers outils industriels utilises dans le domaine des systemes embarques critiques (e.g., commande de vol de l'Airbus, automates industriels). Ils sont fondes sur un modele mathematique solide et disposent d'outils de compilation et de verification automatique de code. Ce cours propose une introduction aux divers langages synchrones et a leurs outils associes. L'accent sera mis sur les aspects "pratiques" de ces langages.
|
