Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage, die Konzepte im Zusammenhang mit zuverlässigem Systemdesign zu verstehen, wie z. B.: Hauptbedrohungen der Zuverlässigkeit, ihre Quellen und Abwehrtechniken auf Hardware- und Softwaree bene.

Dieser Kurs zielt darauf ab, die Studierenden zu befähigen, Folgendes zu verstehen:

• Wie analysiert man die Zuverlässigkeit eines digitalen Computersystems?
• Wie kann man Zuverlässigkeit auf verschiedenen Abstraktionsebenen modellieren?
• Wie werden Minderungstechniken auf HW/SW-Ebene entworfen?
• Überlegungen zu mehreren Zielen für zuverlässiges Computing

Vorlesungsfolien und weiterführende Literatur-Referenzen

Die Vorlesungen und Laborübungen werden in englischer Sprache abgehalten.

Immanent