Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
Open to all
-

Abstract

Synchronous languages are enjoying great success in the programming of embedded systems such as aircraft, trains or power plants (see Gérard Berry's 2013 and 2014 lectures). Time is logically seen as the sequence of instantaneous system reactions to inputs from an external environment. This discrete abstraction makes it possible to write programs in a mathematical language, to statically guarantee their determinism and to compile them into code running in bounded memory and time. The semantics and compilation of synchronous languages are today sufficiently precise and well understood to satisfy the requirements imposed by civil avionics certification authorities for the development of the most critical parts (see Bruno Pagano's seminar on SCADE 6 software in 2013).

Speaker(s)

Marc Pouzet

Ecole Normale Supérieure

Events