Software Verificatio... Winter Term 2007/08 Software Reliability

Fault-Tolerant Software Architectures

Content of lectures

Lecture:
Thursday, 14 - 16, Room H10
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:
Tuesday, 12:15 - 13:45, Room 00.153
Thursday, 8:45 - 10:15, Room 00.156
Lecturer:
Dipl.-Inf. S. Söhnlein

Exercise Sheets

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

 

Exercise Material

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


top