Synchronous Languages

Lecture Notes
Real-Time and Embedded Systems Group
Wintersemester 2018/19

Lecturer: Reinhard v. Hanxleden

The slides+notes version is 4-up, includes notes, and uses a printer-friendly coloring scheme. To save paper, empty notes are eliminated, except when they are necessary to place subsequent (non-empty) notes below the slide to which they belong.
The slides version of the lectures is as shown in class, without animation (only one page per slide).
The animated version of the lectures is as shown in class, including animation (may be multiple pages per slide).
The bottom of this page contains further notes.

Lecture 1, 23 October 2018: Introduction (slides+notes, slides, animated, posted: 23 Okt 2018, 12:57 hrs )

Lecture 2, 29 October 2018: Esterel I - Overview (slides+notes, slides, animated, posted: )

Lecture 3, 30 Oct. 2018: Esterel II - The Full Language (slides+notes, slides, animated, posted: 29 Okt 2018, 9:10 hrs )

Lecture 4, 6 Nov. 2018: Esterel II - Pragmatics (slides+notes, slides, animated, posted: 11 Nov 2018, 17:13 hrs )

Lecture 5, 12 Nov 2018: Esterel III - The Logical Semantics (slides+notes, slides, animated, posted: 18 Nov 2018, 16:53 hrs )

Lecture 6, 13 Nov. 2018: Esterel IV - The Constructive Semantics (slides+notes, slides, animated, posted: 18 Nov 2018, 16:49 hrs )

Lecture 7, 20 Nov. 2018: Esterel V - The Constructive Circuit Semantics (slides+notes, slides, animated, posted: 20 Nov 2018, 11:31 hrs )

Lecture 8, 26 Nov. 2018: Schizophrenia Problems (slides+notes, slides, animated, posted: 20 Nov 2018, 16:26 hrs )

Lecture 9, 3 Dec. 2018: Esterel Compilation (slides+notes, slides, animated, posted: 03 Dez 2018, 9:18 hrs )

Lecture 10, 4 Dec. 2018: SyncCharts (slides+notes, slides, animated, posted: 03 Dez 2018, 9:19 hrs )

Lecture 11, 10 Dec. 2018: SCCharts - Sequentially Constructive Statecharts for Safety-Critical Applications (slides+notes, slides, animated, posted: 09 Dez 2018, 20:30 hrs )

Notes: