Echtzeitsysteme
| Dozent | Dr. Michael Roitzsch |
| Modul | INF-25-Ma-FSA-RTS, INF-BAS4, INF-VERT4, INF-DSE-20-E-BDSE |
| Umfang und Art |
1 SWS Vorlesung, 1 SWS Übung (Englisch) |
| Turnus | Wintersemester |
| Zeit und Ort | Vorlesung und Übung: Donnerstag, 16:40 Uhr (6. DS), APB E001 und BBB nach Möglichkeit |
| Kommunikation | Mailing-Liste (Bitte mit einer TU-Dresden-Adresse einschreiben), Anonymer Briefkasten |
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 Benutzerschnittstellen, Videoschnitt oder Robotik, sowie theoretischer Informatik.
In dieser Lehrveranstaltung nähern wir uns diesem breiten Thema konstruktiv: Im Laufe der Vorlesung durchlaufen wir die Schritte von Entwurf und Implementierung eines Echtzeitsystems. Wir besuchen dabei unter anderem die Arbeitslast-Modellierung, die Analyse von Einplanungsverfahrung, aber auch Betriebssystem-Schnittstellen und Hardware-Eigenschaften.
Die Vorlesung ist heterogen, 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
- Einführung
- Taskmodelle
- Zeitgesteuerte Systeme
- Ereignisgesteuerte Systeme
- Ressourcenzugriffsprotokolle
- Zeit und Reihenfolge
- Echtzeit-Betriebssysteme
- Multiprozessor-Einplanung
Übungen
- 29. Oktober 2026: Entwicklungsschritte
- 17. Dezember 2026: Einplanung
- 28. Januar 2027: Zeit und Reihenfolge