Software Verificatio... Wintersemester 2005/... Softwarezuverlä...

Fehlertolerierende Softwarearchitekturen

Inhalt der Lehrveranstaltung

Vorlesung:
Donnerstag, 14 - 16, Raum H10
Dozent: 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:23, Raum 2.037
Donnerstag, 8:30 - 9:38, Raum 2.038
Dozent: Dipl.-Inf. Norbert Oster

Aufgabenblätter

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

 

Materialien

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


top