1 / 13

Fault Tolerance Distributed

Fault Tolerance Distributed . ITV Model-based Analysis and Design of Embedded Software Techniques and methods for Critical Software Anders P. Ravn Aalborg University August 2011. Retry . ... . ... . Try. Try. Try. FT basis: Redundancy. Time Space. Try. Retry . BW p. 109.

celine
Download Presentation

Fault Tolerance Distributed

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Fault Tolerance Distributed ITV Model-based Analysis and Design of Embedded Software Techniques and methods for Critical Software Anders P. Ravn Aalborg University August 2011

  2. Retry ... ... Try Try Try FT basis: Redundancy • Time • Space Try Retry BW p. 109

  3. Fault Tolerance

  4. Basic Strategies

  5. Example

  6. Fault Hypotheses

  7. Fault-Tolerant System

  8. Impulse Generator

  9. CU

  10. Voter and Arbiter

  11. Parameters

  12. Properties

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

More Related