Software Verificatio... Wintersemester 2004/... Softwarezuverlä...

Fehlertolerierende Softwarearchitekturen

Inhalt der Lehrveranstaltung

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

Folien zur Vorlesung (pdf-Format)

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

 


 

Übungen:
Dienstag, 12 - 14, Raum 2.037, Beginn: 26.10.2004
Donnerstag, 8 - 10, Raum 2.038, Beginn: 28.10.2004
Dozent: Dipl.-Math. Jens Palluch

Aufgabenblätter (pdf-Format)

Aufgabenblatt 1 Aufgabenblatt 6 Aufgabenblatt 11
Aufgabenblatt 2 Aufgabenblatt 7 Aufgabenblatt 12
Aufgabenblatt 3 Aufgabenblatt 8 Aufgabenblatt 13
Aufgabenblatt 4 Aufgabenblatt 9
Aufgabenblatt 5 Aufgabenblatt 10

 


 

The Byzantine Generals Problem von Leslie Lamport, Robert Shostak, Marshall Pease

Folien:
Aufgabe 3.2: Algorithmus Byzantinische Generäe
Lösung für Aufgabe 3.2 b)
Aufgabe 7.1 c)
Aufgabe 7.2
Aufgabe 7.3 c)
Aufgabe 8.1 b) und 8.2
Aufgabe 8.2
Aufgaben 9.1 c) und d)
Aufgabe 11.1


top