Die Vorlesung betrachtet insbesondere die nicht-funktionalen Eigenschaften eingebetteter Systeme, wie zeitliche Vorhersagbarkeit und Korrektheit, sowie Fehlertoleranz. Dazu werden verschiedene Verfahren des Echtzeit-Schedulings verglichen und Verfahren zur Analyse und Verifikation des Zeitverhaltens beschrieben. Neben Konzepten der Informationsredundanz sind auch Methoden zur Erkennung und Korrektur von Fehlern in Hardware und Software Teil der Vorlesung. Außerdem werden für diesen Einsatz charakteristische Hardwarekomponenten wie eingebettete Prozessoren, Sensoren und Aktoren vorgestellt.
Die Vorlesung gliedert sich in die 4 Themengebiete Allgemeines zu Embedded Systems, Echtzeit, Hardware und Fehlertoleranz. Diese Themen können weiter wie folgt unterteilt werden:
Allgemeines zu Embedded Systems umfasst
- Charakterisierung ES
- Entwurf ES
Das Kapitel zu Echtzeit behandelt
- WCET Analyse
- Scheduling Analyse
Im Themengebiet Hardware widmen wir uns
- Hardwarekomponenten von eingebetteten Prozessoren und SoC
- Sensoren und Aktuatoren
Der Vorlesungsteil zu Fehlertoleranz beleuchtet
- Zuverlässigkeitsanforderungen sicherheitsrelevanter Systeme
- Ursachen und Effekte von Fehlern
- Redundanztechniken und Fehlerkorrekturmechanismen
Anmelderegeln
Diese Veranstaltung gehört zum Anmeldeset "Anmeldung gesperrt (global)".