Echtzeitsysteme
Diese Veranstaltung wird im Moment nicht angeboten. Es folgt eine Beschreibung der bisherigen Veranstaltung.
Dozent | Dr. Michael Roitzsch |
Modul | INF-BAS4, INF-VERT4, MINF-04-FG-SAT, INF-LE-EUI, INF-04-FG-AV, DSE-E9 |
Umfang und Art |
2 SWS Vorlesung, 1 SWS Übung (Englisch) |
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 Lehrveranstaltung basiert sehr grob auf diesen beiden Büchern:
- Jane Liu: Real-Time Systems
- Hermann Kopetz: Real-Time Systems
Obwohl beide denselben Titel tragen, sind sie fundamental verschieden. Die Autoren gehören sogar verschiedenen Echtzeitsysteme-Schulen an. Keines der Bücher behandelt alle Gebiete der Echtzeitsysteme. Daher benutzer wir für die Vorlesung beide Bücher und tragen Erkenntnisse aus Publikationen und eigene Erfahrungen bei. Und wir sind auch großzügig beim Auslassen von Themen.
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)
- Einführung
- Modellierung von Echtzeitsystemen
- Zeit und Reihenfolge
- Zeitgesteuerte Systeme
- Ereignisgesteuerte Einplanung
- Echtzeit-Kommunikation
- Hardware
- Real-Time Operating Systems
- Protokolle für den Zugriff auf Betriebsmittel
- Mehrprozessor-Scheduling
- Probabilistic Scheduling
- Mixed-criticality Systems
Übungen (nur in Englisch)
- Begriffe und Konzepte am 29. Oktober, 16:40 Uhr (nach der Vorlesung)
- Zeit und Reihenfolge am 12. November, 16:40 Uhr (nach der Vorlesung)
- Einplanung am 26. November, 14:50 Uhr (anstatt der Vorlesung)
- Hardware am 17. Dezember, 16:40 Uhr (nach der Vorlesung)