Software Verificatio... Winter Term 2004/05 Software Reliability

Fault-Tolerant Software Architectures

Content of lectures

Lecture:
Thursday, 14 - 16, Room H10
Lecturer: Prof. Dr. F. Saglietti

Course Material (pdf format)

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
Chapter 8: Guidelines for the development process of fault-tolerant software

 


 

Exercises:
Tuesday, 12 - 14, Room 2.037, Start: 26.10.2004
Thursday, 8 - 10, Room 2.038, Start: 28.10.2004
Lecturer: Dipl.-Math. Jens Palluch

Exercise Sheets (pdf format)

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


top