Following the three lectures given at Inria Sophia-Antipolis and dedicated to the science-industry relationship in the development of the Esterel and SCADE languages, the lectures given in Paris will focus on more varied time models than those seen in 2012-2013, which were essentially synchronous. We'll be studying distributed systems clocked by synchronized or non-synchronized remote clocks, whether within a circuit or on a planetary scale. We'll show how to coordinate calculations made at different frequencies, how to synchronize clocks, how to talk simultaneously about continuous and discrete time, etc. The first five lectures will be followed by a seminar on the same theme.
→
Lecture
Extended time : multiple clocks, discrete and continuous time
→