Modulcode:	Inf-SyncSpr
Englische Bezeichnung:	Synchronous Languages
Modulverantwortliche(r):	Prof. Dr. Reinhard von Hanxleden
Turnus:	unregelmäßig (WS16/17 WS18/19 SS20 WS21/22 WS23/24 SS25)
Präsenzzeiten:	4V 2Ü
ECTS:	8
Workload:	60 h letures, 30 h exercises, 150 h self studies
Dauer:	ein Semester
Modulkategorien:	BSc-Inf-WP (BSc Inf (21)) WI (BSc Inf (15)) MSc-Inf-WP (MSc Inf (21)) 2F-MEd-Inf-WP (MEd-Hdl Inf (21)) 2F-MA-Inf-WP (2F-MA Inf (21)) MSc-WInf-WP-Inf (MSc WInf (21)) WI (MSc Inf (15)) WI (MSc WInf (15)) WI (MEd Inf) WPI (MEd Inf) IG (TA) (MSc Inf (2-Fach)) IS (SA) (MSc Inf (2-Fach)) IG (SA) (MSc Inf (2-Fach)) WI (MSc WInf) IG (MSc Inf) IS (MSc Inf) MV (MSc Inf)
Lehrsprache:	Englisch
Voraussetzungen:	Inf-Math-A Inf-Math-B

Kurzfassung:

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.

Lernziele:

Students should achieve a solid understanding of the synchronous execution model. The students should learn how to design reactive systems using various synchronous languages, primarily Esterel and SCCharts. Students should have a solid understanding of the underlying semantic principles, and of various strategies for synthesizing synchronous languages into executable code, including static causality checking.

Lehrinhalte:

• 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.

Weitere Voraussetzungen:

Basic mathematical knowledge (Mathematik für Informatiker A und B).

Prüfungsleistung:

Exam at the end of the course. Admission to the exam requires the regular successful completion of weekly homeworks.

Lehr- und Lernmethoden:

Lecture, theoretical and practical exercises, literature studies.

Verwendbarkeit:

Literatur:

• Albert Benveniste et al., The Synchronous Languages 12 Years Later, Proceedings of the IEEE 91(1):64-83, Feb. 2003, https://www.researchgate.net/publication/2986096_The_Synchronous_Languages_12_Years_Later
• Reinhard von Hanxleden et al. SCCharts: Sequentially Constructive Statecharts for Safety-Critical Applications. In Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2014), page 372-383, Edinburgh, UK, June 2014. ACM, https://rtsys.informatik.uni-kiel.de/~biblio/downloads/papers/pldi14.pdf
• 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, in Essays in Honour of Robin Milner, G. Plotkin, C. Stirling and M. Tofte, editors, MIT Press, Foundations of Computing Series, 2000

Verweise:

Kommentar: