1. Fault Tolerance -Example TSW November 2009 Anders P. Ravn Aalborg University

2. Fault Tolerance

3. FT basis: Redundancy Time Space TryRetry... Try... BW p. 36

4. FT Example

5. Fault Hypotheses

6. Fault-Tolerant System

7. Impulse Generator

8. CU

9. Voter and Arbiter

10. Parameters

11. Properties

12. Procedure 1.Model the correct component and check that it has the desired properties. 2.Model relevant faults and introduce them as internal transitions to error states. Check that this fault-affected model is healthy. 3. Introduce into the model the mechanisms for fault detection, error recovery and masking and check that the desired properties are valid for this design.