TU Chemnitz: Fak. für Informatik: Professur Betriebssysteme: Verlässliche Systeme

Verlässliche Systeme

In der Vorlesung geht es um grundlegende Konzepte der Bewertung, der Modellierung und des Entwurfs verlässlicher Systeme.

• Vorlesung
• Zeit: montags, 13.45 -15.15 Uhr
• Ort: 1/368
• Dozent: Prof. M. Werner
• Übung
• Zeit: dienstags, 09.15 - 10.45 Uhr
• Ort: 1/273
• Übungsleiter: M. Däumler

• Einführung
• Wiederholung und Auffrischung: Stochastik
• Fehlertoleranz - Grundlegende Ansätze und Maße
• Störungen
• Fehlerdiagnose
• Agreement
• Beispiele für konkrete Techniken: Festplatten (Update: 20.11.)

• David Powell: Failure Mode Assumption and Assumption Coverage
• Leslie Lamport, Robert Shostak und Marshall Pease: The Byzantine Generals Problem
• Michael J. Fischer, Nancy A. Lynch und Michael Merritt: Easy Impossibility Proofs for Distributed Consensus Problems

• Übungsblatt 01, Besprechung am 27.10.2009
• Übungsblatt 02, Besprechung am 03.11.2009, Aufgabe 5 am 10.11.2009
• Übungsblatt 03, Besprechung am 10.11.2009 (Aufgaben 1 und 2), 17.11.2009 (Aufgaben 3 bis 7) und 24.11.2009 (Aufgaben 5 bis 7)