Software Verificatio... Winter Term 2008/09 Software Development...

Fault-Tolerant Software Architectures

Content of lectures

Lecture:
Tuesday, 14 - 16, Room 10.125
Lecturer: Prof. Dr. F. Saglietti

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: Checkpointing
Kapitel 8: Guidelines for the development process of fault-tolerant software
(Format: pdf )

 


 

Exercises:
Wednesday, 12:15 - 13:45, Room 00.152
Lecturer:
Dipl.-Inf. S. Söhnlein

Exercise Sheets

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

 

Exercise Material

1  Leslie Lamport et al: The Byzantine Generals Problem


top