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

Abstract

This first lecture first presented the reasons that led to the creation and further development of synchronous parallel languages, dedicated to the programming of so-called "reactive" systems, whose function is to maintain a constant and temporally precise interaction with their environment.

He then studied the evolution of these languages, and in particular the progression of their programming styles, from the initial Esterel and Lustre styles invented in the mid-1980s to Esterel technologies' SCADE 6 industrial language. In the 2000s, the latter became the leader for certified embedded systems in avionics and other fields where computer safety is critical. Advances have been driven either by new scientific findings or by the need to solve difficult industrial problems.