| cours | ||
| examens/23-24 | ||
| notes | ||
| projet | ||
| tools | ||
| tp | ||
| README.md | ||
Programmation Synchrone 2024-2025 (M2 Info & EIDD)
Présentation
Le syllabus (résumé) du module est disponible.
Contenu et objectifs
Le module de Programmation synchrone propose une introduction à la programmation des systèmes réactifs par le biais de langages spécialisés, les langages synchrones.
-
Les systèmes réactifs sont des systèmes informatiques en interaction continue avec un environnement extérieur. Le pilote automatique d'un avion moderne (fly-by-wire), le contrôleur d'une machine à laver, ou le logiciel de commande d'un ascenseur constituent des exemples de systèmes réactifs.
-
Les langages synchrones sont des langages spécialement conçus pour la programmation des systèmes réactifs. Ils offrent une expressivité élevée tout en garantissant statiquement certaines propriétés de sûreté. Leur usage est désormais routinier dans les tâches conception et de développement dans certains secteurs industriels, comme l'avionique ou le ferroviaire.
L'enseignement des langages synchrones vise deux objectifs. D'abord, renforcer vos compétences de programmation, en vous faisant découvrir une famille de langages à la fois originaux et utilisés dans l'industrie. Ensuite, enrichir votre culture scientifique, en illustrant comment les systèmes réactifs fournissent un exemple de point de jonction entre l'informatique et d'autres disciplines comme l'automatique ou le traitement du signal.
Pour atteindre ces objectifs, on utilisera le langage universitaire Heptagon, aussi bien durant le cours magistral, pour illustrer les principes généraux des langages synchrones, que durant les séances de travaux pratiques. Les autres langages synchrones (notamment d'origines industrielles) seront aussi régulièrement évoqués durant le cours.
Organisation du cours
Le cours magistral a lieu le mardi de 11h45 à 13h45, dans la salle 419C de la Halle aux Farines.
Les séances de travaux pratiques ont lieu :
-
pour les étudiants du M2 Informatique, en salle 2003 du bâtiment Sophie Germain, le jeudi de 08h30 à 10h30 ;
-
pour les élèves de l'EIDD, en salle 2027 du bâtiment Sophie Germain, le mardi de 16h30 à 18h30.
Modalités de contrôle des connaissances
La note du cours sera composée pour 50% de celle du projet et pour 50% de celle de l'examen final. Les cours de master 2 n'offrent pas de deuxième session.
Organisation de ce dépôt
Ce dépôt contient tout le matériel pédagogique du cours :