Veranstaltung

Das Ziel dieser Vorlesung ist mit den üblichen Ansätzen aber auch den neuesten Techniken im Bereich des Designs und der Analyse fehlertoleranter digitaler Systeme vertraut zu werden. Dazu werden sowohl fehlertolerante Systeme als auch Software- und Hardwaremethoden untersucht und neue Forschungsthemen erzielt.

Diese Vorlesung soll eine Übersicht über zuverlässiges (fehlertolerantes) Rechnen und das Design und die Evaluierung von dependable systems. Zudem bietet sie eine Basis für Forschung im Bereich der zuverlässigen Systeme. Auch Modelle und Methoden die in der Analyse und dem Design fehlertoleranter und hochzuverlässiger Rechensysteme eingesetzt werden, werden in diesem Kurs behandelt.

Die Themen beinhalten ursächliche Fehler (faults) und ihre Auswirkungen (errors), Fault/Error Modeling, Zuverlässigkeits-, Verfügbarkeits- und Wartbarkeits-Analysen, System Evaluierung, Abwägungen zwischen Geschwindigkeit / Zuverlässigkeit, Fault-Diagnose auf Systemebene, Techniken für Redundanz in Hardware oder Software, und Methoden für fehlertolerantes System-Design.

Das Ziel dieser Vorlesung ist mit den üblichen Ansätzen aber auch den neuesten Techniken im Bereich des Designs und der Analyse fehlertoleranter digitaler Systeme vertraut zu werden.