182.086 Real-Time Scheduling
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2022S, VU, 2.0h, 3.0EC

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VU Vorlesung mit Übung
  • Format der Abhaltung: Präsenz

Lernergebnisse

Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage...

  • Task-Modelle, Scheduling-Algorithmen, Feasibility- und Optimalitätsresultate und deren Beweise zu verstehen,
  • existierende Resultate in neuen Situationen anzuwenden,
  • neue Scheduling-Algorithmen für spezielle Problemstellungen zu entwickeln und zu analysieren.

Inhalt der Lehrveranstaltung

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.

Methoden

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.

Prüfungsmodus

Prüfungsimmanent

Weitere Informationen

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)

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Di.14:00 - 16:0001.03.2022 - 28.06.2022EI 8 Pötzl HS - QUER Real-Time Scheduling
Di.15:00 - 17:0008.03.2022EI 8 Pötzl HS - QUER Real-Time Scheduling
Real-Time Scheduling - Einzeltermine
TagDatumZeitOrtBeschreibung
Di.01.03.202214:00 - 16:00EI 8 Pötzl HS - QUER Real-Time Scheduling
Di.08.03.202215:00 - 17:00EI 8 Pötzl HS - QUER Real-Time Scheduling
Di.15.03.202214:00 - 16:00EI 8 Pötzl HS - QUER Real-Time Scheduling
Di.22.03.202214:00 - 16:00EI 8 Pötzl HS - QUER Real-Time Scheduling
Di.29.03.202214:00 - 16:00EI 8 Pötzl HS - QUER Real-Time Scheduling
Di.05.04.202214:00 - 16:00EI 8 Pötzl HS - QUER Real-Time Scheduling
Di.26.04.202214:00 - 16:00EI 8 Pötzl HS - QUER Real-Time Scheduling
Di.03.05.202214:00 - 16:00EI 8 Pötzl HS - QUER Real-Time Scheduling
Di.10.05.202214:00 - 16:00EI 8 Pötzl HS - QUER Real-Time Scheduling
Di.17.05.202214:00 - 16:00EI 8 Pötzl HS - QUER Real-Time Scheduling
Di.24.05.202214:00 - 16:00EI 8 Pötzl HS - QUER Real-Time Scheduling
Di.31.05.202214:00 - 16:00EI 8 Pötzl HS - QUER Real-Time Scheduling
Di.14.06.202214:00 - 16:00EI 8 Pötzl HS - QUER Real-Time Scheduling
Di.21.06.202214:00 - 16:00EI 8 Pötzl HS - QUER Real-Time Scheduling
Di.28.06.202214:00 - 16:00EI 8 Pötzl HS - QUER Real-Time Scheduling

Leistungsnachweis

Quizzes; Ausarbeitung und Präsentation von Übungsbeispielen (Hochladen .pdf in myTI); Teilnahme an der Diskussion in der Vorlesung

LVA-Anmeldung

Von Bis Abmeldung bis
25.02.2022 08:00 09.03.2022 23:59

Curricula

Literatur

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

Vorkenntnisse

Vorteilhaft sind Real-Time Systems Grundlagen (e.g. 182.713 Real-Time Systems) und elementare Komplexitätstheorie (e.g. in 185.291 Formale Methods in Computer Science).

Vorausgehende Lehrveranstaltungen

Weitere Informationen

Sprache

bei Bedarf in Englisch