Lade Daten...

Lectures (Vorlesung) (4 SWS) + Exercises (Übungen) (2 SWS)


Real-Time and Embedded Systems Group (RTSYS)

Slides (Availaible upon start of classes)

About This Class

Synchronous languages allow the precise, abstract programming of reactive systems, that is, computerized systems that are embedded into the real world and that continually have to react to the environment. Due to their formally grounded semantics, synchronous languages are especially suited for safety-critical real-time systems, such as avionics or automotive controllers or medical systems; for example, Airbus flight controllers are routinely developed with the synchronous SCADE modeling environment. In this lecture we cover theoretical foundations and practical aspects of synchronous languages. Specifically, we will cover

  • The control flow oriented language Esterel and SCCharts;
  • The data flow oriented language Lustre, underlying SCADE;
  • Synthesis of efficient hardware and software;
  • The Kiel Esterel processor;
  • Logical and constructive semantics;
  • Causality analysis.


Final Exam

  • TBA
  • Nicolas Halbwachs, Synchronous programming of reactive systems, a tutorial and commented bibliography, Tenth International Conference on Computer-Aided Verification, CAV’98, Vancouver (B.C.), LNCS 1427, Springer Verlag, June 1998
  • Gerard Berry, The Foundations of Esterel, Proof, Language and Interaction: Essays in Honour of Robin Milner, G. Plotkin, C. Stirling and M. Tofte, editors, MIT Press, Foundations of Computing Series, 2000
  • Reinhard v. Hanxleden, Modellierung Reaktiver Systeme - Statecharts und Synchrone Sprachen, in: Peter Liggesmeyer and Dieter Rombach (Hrsg.), Software Engineering für Eingebettete Systeme, Spektrum Akademischer Verlag, 2005
  • Lokale Webseite for the Estrel programming environment