Es wird in die Grundlagen der Zuverlässigkeit und Fehlertoleranz eingeführt (Failure, Fault, Error). Die wichtigsten Fehlertoleranztechniken, spezielle Probleme in verteilten Systemen, Fehlererkennung und die unterschiedlichen Arten von Redundanz werden behandelt. Neben den Techniken zur Entwicklung und Analyse zuverlässiger und fehlertoleranter Systeme werden Methoden und Modelle zur Bewertung der Verlässlichkeit vorgestellt. Dies sind Fehlerbäume, kombinatorische Modelle, sowie Zustandsraum-basierte stochastische Modelle, wie Warteschlangen und Petri-Netze. Für diese Modelle werden analytische, sowie simulative Lösungsverfahren besprochen. Mit Hilfe quantitativer Methoden ist es möglich, verschiedene Systeme zu vergleichen, was sowohl in der Entwurfsphase als auch bei der Verbesserung zuverlässiger Systeme von hoher Bedeutung ist.

Die Vorlesung wird von einer Übung begleitet, die aus einzelnen Aufgaben besteht. Ferner gibt es für Interessierte die Möglichkeit, die erworbenen Kenntnisse im Rahmen eines kleinen Projektes anzuwenden.