Inhalt

Echtzeitsysteme interagieren mit der realen Welt und ihre Korrektheit hängt von der Rechtzeitigkeit ihrer Ergebnisse ab. Dieses Thema berührt viele klassische Zweige der Informatik. Es ist verwandt mit Rechnerarchitektur, wie Bussystemen, Betriebssystemen, Programmiersprachen, Softwaretechnik, Anwendungen wie Multimedia oder Autoelektronik, sowie theoretischer Informatik. Prozessor-Einplanung, an vielen Universitäten synonym zu Echtzeitsystemen, ist nur eine Teilmenge des Wissens, das wir in diesem Kurs vermitteln wollen.

Die Vorlesung wird etwas heterogen sein, da wir versuchen, ein breites Themenspektrum abzudecken. Wir kürzen bei Einplanungs-Theorie und ihrer innewohnenden Mathematik, da diese Themen in der Vorlesung zu Scheduling-Theorie behandelt werden.

Folien (nur in Englisch)

1. Einführung
2. Modellierung von Echtzeitsystemen
3. Zeit und Reihenfolge
4. Ereignisgesteuerte Einplanung
5. Protokolle für den Zugriff auf Betriebsmittel
6. Zeitgesteuerte Systeme
7. Hardware
8. Echtzeit-Kommunikation
9. Probabilistic Scheduling
10. Mehrprozessor-Scheduling
11. Echtzeit-Programmiersprachen
12. Mixed-criticality Systems
13. Real-Time Operating Systems

Übungen (nur in Englisch)

1. Begriffe und Konzepte am 27. Oktober, 16:40 Uhr (nach der Vorlesung)
2. Einplanung am 1. Dezember, 14:50 Uhr (anstatt der Vorlesung)
3. Zeit und Reihenfolge am 8. Dezember, 16:40 Uhr (nach der Vorlesung)
4. Hardware am 15. Dezember, 16:40 Uhr (nach der Vorlesung)
5. Echtzeit-Programmiersprachen am 26. Januar, 16:40 Uhr (nach der Vorlesung)