Résumé
Ce premier cours a d’abord présenté les raisons qui ont conduit à la création et à l’approfondissement des langages parallèles synchrones, dédiés à la programmation des systèmes dits « réactifs », dont la fonction est de maintenir une interaction constante et temporellement précise avec leur environnement.
Il a ensuite étudié l’évolution de ces langages, et en particulier la progression de leurs styles de programmation, depuis les styles initiaux d’Esterel et Lustre inventés au milieu des années 1980 jusqu’au langage industriel SCADE 6 d’Esterel technologies. Ce dernier est devenu dans les années 2000 leader pour les systèmes embarqués certifiés en avionique et dans d’autres domaines où la sûreté de l’informatique est critique. Les avancées ont été dues soit à de nouveaux résultats scientifiques, soit au besoin de résoudre des problèmes industriels difficiles.
