Real-Time Scheduling, also die Festlegung der Ausführungsreihenfolge von Tasks mit Deadlines, ist ein zentrales Problem in kritischen eingebetteten Systemen. Deren Design muß sicherstellen, daß die vom umgebenden physikalischen System vorgegeben Zeitbedingungen garantiert eingehalten werden. Der (inhärent komplexen) Worst-Case Response Time und Feasibility Analyse von Tasks unter Scheduling-Algorithmen wie Earliest Deadline First kommt daher große Bedeutung zu.
Diese Wahl-LVA im Masterstudium bietet eine Einführung in die Theorie und die mathematische Analyse von Scheduling-Algorithmen für Echtzeitsysteme und hat folgende konkreten Inhalte:
- Earliest Deadline First (EDF) scheduling: Optimality and complexity analysis, feasibility analysis, response time analysis;
- Competitive analysis under overloads;
- EDF scheduling with shared resources and precedence constraints.
Die LVA wird im "angloamerikanischen Modus" abgehalten, der auf kontinuierlicher Beschäftigung mit den Inhalten während des gesamten Semesters basiert: Studierendenpräsentationen und Homework-Assignments stellen sicher, dass (1) die in Vorlesung vermittelten Inhalte effizient erlernt und (2) die individuelle Problemlösungskompetenz im analytischen Bereich trainiert werden.
ECTS-Breakdown (3 ECTS = 75 Stunden):
24 Lecture time
2 2-3 Quizzes
4 2 Homework-Präsentationen
9 Vorbereitungszeit für 2-3 Quizzes
36 Vorbereitungszeit für 2 Homework-Assignments (jeweils 2-3 Exercises): Single Version (in LaTeX)
Textbook: John A. Stankovic, Marco Spuri, Krithi Ramamritham, Giorgio C. Buttazzo: Deadline Scheduling for Real-Time Systems, Kluwer Academic Publishers (jetzt Springer Verlag), 1998, ISBN 0-7923-8269-2