Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
En libre accès, dans la limite des places disponibles
-

Résumé

Les langages synchrones rencontrent un succès important dans la programmation de systèmes embarqués tels que les avions, les trains ou les centrales électriques (voir les cours de Gérard Berry en 2013 et 2014). Le temps y est vu de manière logique comme la suite de réactions instantanées du système aux entrées d'un environnement extérieur. Cette abstraction discrète permet d'écrire des programmes dans un langage mathématique, de garantir statiquement leur déterminisme et de les compiler vers du code s'exécutant en mémoire et temps bornés. La sémantique et la compilation des langages synchrones sont aujourd'hui suffisamment précises et bien comprises pour satisfaire aux exigences imposées par les autorités de certification de l'avionique civile pour le développement des parties les plus critiques (voir le séminaire de Bruno Pagano sur le logiciel SCADE 6 en 2013).

Intervenant(s)

Marc Pouzet

Ecole Normale Supérieure