Software Verificatio... Wintersemester 2007/... Softwarezuverlä...

Fehlertolerierende Softwarearchitekturen
Zuverlässigkeit und Fehlertoleranz softwarebasierter Systeme

Inhalt der Lehrveranstaltung

Vorlesung:
Donnerstag, 14 - 16, Raum H10
Dozentin: Prof. Dr. F. Saglietti

Folien zur Vorlesung


Kapitel 1: Einführung
Kapitel 2: Klassische Zuverlässigkeitstheorie
Kapitel 3: Systemstrukturen
Kapitel 4: Gemeinsames Versagen diversitärer Software
Kapitel 5: Back-to-Back-Test diversitärer Software
Kapitel 6: Forcierte Diversität
Kapitel 7: Checkpointing
Kapitel 8: Richtlinien zum Entwicklungsprozess fehlertoleranter Software
(Format: pdf )

 


 

Übung:
Dienstag, 12:15 - 13:45, Raum 00.153
Donnerstag, 8:45 - 10:15, Raum 00.156
Dozent:
Dipl.-Inf. S. Söhnlein

Aufgabenblätter

Aufgabenblatt 1 Aufgabenblatt 6 Aufgabenblatt 11
Aufgabenblatt 2 Aufgabenblatt 7 3 Aufgabenblatt 12
Aufgabenblatt 3 1 ,2 Aufgabenblatt 8 Aufgabenblatt 13
Aufgabenblatt 4 Aufgabenblatt 9 4
Aufgabenblatt 5 Aufgabenblatt 10  
(Format: pdf )

 

Materialien

1  Leslie Lamport et al: The Byzantine Generals Problem
2  Foliensatz
3  Foliensatz
4  Foliensatz


top