Software Verificatio... Winter Term 2006/07 Software Engineering...

Fault-Tolerant Software Architectures

Content of lectures

Lecture:
Thursday, 14 - 16, Room H10
Lecturer: Dipl.-Inf. Sven Söhnlein

Anmeldung zur Scheinprüfung:
Die mündliche Prüfung findet am 14./15. Februar statt. Sie müssen sich hierfür bis spätestens Ende Januar per Email anmelden:
Sekretariat@i11.informatik.uni-erlangen.de
mit Angabe von: Name, Vorname, Studienrichtung, Matrikelnummer, Geburtsdatum, benoteter oder unbenoteter Schein.

Die genauen Termine werden dann ab Ende Januar bekannt gegeben.

Course Material

Chapter 1: Introduction
Chapter 2: Classical reliability theory
Chapter 3: System structures
Chapter 4: Common failure of diverse software
Chapter 5: Back-to-Back-Test of diverse software
Chapter 6: Forced diversity
Chapter 7: Guidelines for the development process of fault-tolerant software
Kapitel 8: Reliability of system-components
(Format: pdf )

 


 

Exercise:
Tuesday, 12 - 14, Room 00.153
Lecturer: Dipl.-Inf. Sven Söhnlein

Exercise Sheets

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

 

Exercise Material

1  Leslie Lamport et al: The Byzantine Generals Problem
2  Transparencies
2  Transparencies
4  Transparencies
5  Transparencies
6  Transparencies


top