Lade Daten...
iLearn
Cau-siegel-color-300

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

CORONA UPDATE

Despite the cancellation of physical classes at the university campus, this lecture will take place and start on time the week of April 6, albeit in a virtual form. The current plan is to hold the class and the practical exercises live at the regular time, to allow direct interaction between lecturer and class. The lectures will be recorded as well, for later reference and for those who cannot participate live due to technical limitations, such as insufficient internet bandwidth or lack of a suitable device.

The zoom link to the virtual classroom has been mailed to registered participants. If you did not receive this link, please contact Alexander Schulz-Rosengarten (als@informatik.uni-kiel.de). Lectures will be held live, at the times announced in the class room, to allow for class interaction. They will be recorded as well, such that those who cannot participate live, e.g. due to insufficient internet connectivity or lack of a suitable device, can download the lectures as well.

Slides and Lecture Videos

The slides are available here.

The lecture videos (with slide set numbering in parentheses):

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.

Registration

Final Exam

  • Currently planned for August 11