Programmation synchrone des systèmes réactifs

Nicolas Halbwachs, laboratoire Verimag, CNRS, Grenoble

Les systèmes réactifs sont les systèmes informatiques qui contrôlent en temps réel un environnement physique. La programmation synchrone a été proposée pour fournir un modèle abstrait et formel pour programmer ces systèmes. Nous introduirons ce modèle au travers de deux langages, Lustre et Esterel, représentant des paradigmes très différents: la programmation flot-de-données et la programmation impérative. Les problèmes de sémantique posés par l’abstraction synchrone seront abordés, ainsi que les méthodes de compilation de ces langages.