"The evolution of the synchronous programming model"
(Vortrag im Rahmen
der "Distinguished Lecture Series"
des Max Planck Instituts für Software-Systeme)
The synchronous programming model has become a major model in industrial
embedded systems design (avionics, railways, SoCs, etc.) because it
reconciles concurrency and determinism. For hardware systems, synchrony
naturally fits the RTL paradigm and makes it fully rigorous. For software
systems,synchrony naturally fits with two classical engineering models
informally based on cyclic computations: data-flow block diagrams and
control-flow state machines. The initial synchronous languages were
dedicated either to data-flow designs (Lustre, Signal, etc.) or to
control-oriented designs (Esterel, SyncCharts, etc.). The more recent
languages completely unify both point of views: Esterel v7 keeps all the
temporal primitives of the initial Esterel language and adds poweful
datapath definition mechanisms, while Scade 6 provides its user with an
graphical merge of data-flow diagrams and hierarchical state machines. We
present the principles of these recent unifications, which are
non-trivial: while it is quit easy to merge the drawing styles, it is
much harder to do so by respecting the semantic properties of the
languages. We show how the new languages simplify application design, and
how they also provide formal verification systems with vital static
information. We finally discuss new proposals to extend the original
synchronous model into mixed synchronous / asynchronous that try to keep
non-determinism under control.
||Mittwoch, 29. Oktober 2008, 16:00 Uhr
||Gebäude 49, Raum 204-206
||Der Vortrag wird live an die Universität des Saarlandes
MPI-Gebäude E1.4 Raum 019 übertragen.