TU Chemnitz, Fakultät für Informatik: Fak. für Informatik: Professur Betriebssysteme
Professur Betriebssysteme
Verlässliche Systeme
Aktuelles
- Prüfungstermine sind der 6. August und 26. August.
- Die Anmeldung erfolgt per E-Mail an Prof. Werner auf FIFO-Basis. Die Mailantwort enthält dann die genaue Prüfungszeit.
- Die Prüfung ist mündlichen und findet im Raum 336a statt.
Inhalt
In der Vorlesung geht es um grundlegende Konzepte der Bewertung, der Modellierung und des Entwurfs
verlässlicher Systeme.
Termine
- Vorlesung
- Zeit: montags, 17:15 Uhr - 18:45 Uhr
- Ort: 1/208
- Dozent: Prof. M. Werner
- Übung
- Zeit: freitags, 13:45 Uhr - 15:15 Uhr
- Ort: 1/208a
- Übungsleiter: Dr. D. Müller
Folien
- Einführung
- Wiederholung und Auffrischung: Stochastik
- Fehlertoleranz - Grundlegende Ansätze und Maße
- Störungen
- Fehlerdiagnose
- Agreement
- Fehlertoleranz und Zeit
- Stochastische Modellierung
- Fehler in Software
- Korrektheit von Software: Hoare-Kalkül
- Korrektheit von Software: Lambda-Kalkül
- Modellierung nichtsequentieller Systeme: Petri-Netze
- Ausblick: Architekturbasierte Verlässlichkeit
Ergänzendes Material
- 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
- C.A.R. Hoare: An axiomatic basis for computer programming
Übung
- Zur besseren Vorbereitung auf die Prüfung sind hier ein paar Beispielsfragen zu finden.
