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: 29 Jan 2019, 10:54 hrs )

Lecture 11, 10 Dec. 2018: SCCharts - Sequentially Constructive Statecharts for Safety-Critical Applications (slides+notes, slides, animated, posted: 29 Jan 2019, 10:55 hrs )

Lecture 12, 11 Dec. 2018: Code Generation for Sequential Constructiveness (slides+notes, slides, animated, posted: 29 Jan 2019, 10:55 hrs )

Lecture 13, 7 Dec. 2019: Sequentially Constructive Concurrency (slides+notes, slides, animated, posted: 29 Jan 2019, 10:56 hrs )

Lecture 14, 15 Jan. 2019: Sequentially Constructive Concurrency in Practice (slides+notes, slides, animated, posted: 29 Jan 2019, 10:57 hrs )

Lecture 15, 26 Jan. 2017: SCEst - Sequentially Constructive Esterel (slides+notes, slides, animated, posted: 29 Jan 2019, 10:35 hrs )

Lecture 16, 30 Jan. 2017: Strict Sequential Constructiveness (slides+notes, slides, animated, posted: 29 Jan 2019, 12:10 hrs )

Lecture 17, 29 Jan. 2018: Time in SCCharts (slides+notes, slides, animated, posted: 29 Jan 2019, 12:20 hrs )

Lecture 18, 4 Feb. 2019: Lustre (slides+notes, slides, animated, posted: 04 Feb 2019, 10:07 hrs )

Notes: