TU Chemnitz, Fakultät für Informatik: Fak. für Informatik: Professur Betriebssysteme
Professur Betriebssysteme
Verlässliche Systeme
Aktuelles
- Keine aktuellen Informationen
Inhalt
In der Vorlesung geht es um grundlegende Konzepte der Bewertung, der Modellierung und des Entwurfs verlässlicher Systeme.
Termine
- Vorlesung
- Zeit: montags, 13.45 -15.15 Uhr
- Ort: 1/346
- Dozent: Prof. M. Werner
- Übung
- Zeit: mittwochs, 17.15 Uhr - 18.45 Uhr, erstmalig am 20.10.2010
- Ort: 1/346
- Übungsleiter: Dr. Dirk Müller
Folien
- Einführung
- Wiederholung und Auffrischung: Stochastik1
- Fehlertoleranz - Ansätze und Maße
- Störungen
- Fehlerdiagnose
- Konsens
- Beispiele für konkrete Techniken: Festplatten
- Verlässlichkeit in Software
- Test von Software
- Verifikation
- Modellierung von Störungseignissen
- Ausblick: Architekturbasierte Verlässlichkeit
Ergänzendes Material
- David Powell: Failure Mode Assumption and Assumption Coverage
- Anton T. Dahbura und Gerald M. Masson: An O(n2.5) Fault Identification Algorithm for Diagnosable Systems
- 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
Übung
- Übung 1: Stochastik, bis 20.10.2010
- Übung 2: Fehlertoleranz, bis 3.11.2010
- Übung 3: Fehlerdiagnose, bis 24.11.2010 engl.
- Übung 4: Konsens, bis 08.12.2010 engl.
- Übung 5: Fehler in Software, bis 15.12.2010 engl.
- Übung 6: JUnit, bis 12.01.2011 engl.
- Übung 7: Verifikation, bis 19.01.2011 engl.
- Übung 8: Stochastische Modellierung, bis 26.01.2011 engl.
Prüfung
- Die folgende Liste enthält die Prüfungstermine für für die laut Prüfungsamt angemeldeten Studierenden.
Aus Datenschutzgründen dürfen keine Namen veröffentlicht werden, daher enthält die Liste die Immatrikulationsnummern und als Sicherheitsprüfung den zweiten Buchstaben des (ersten) Nachnamens und den dritten Buchstaben des (ersten) Vornamens.- 23.02.2011 11.10 Uhr 228927 OR
- 23.02.2011 13.00 Uhr 186810 RR
- 23.02.2011 13.35 Uhr 249201 BR
- 23.02.2011 14.10 Uhr 251493 EO
- 23.02.2011 14.45 Uhr 242484 UU
- 25.02.2011 9.30 Uhr 173382 AC
- 25.02.2011 10.05 Uhr 167965 ÖB
- 25.02.2011 10.40 Uhr 196925 ET
- 25.02.2011 11.15 Uhr 261607 TB
- 25.02.2011 13.00 Uhr 270504 SR
- 25.02.2011 13.35 Uhr 271840 HR
- 25.02.2011 14.10 Uhr 351844 AK
- 28.02.2011 10.00 Uhr 184931 EN
