Top Banner
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
13

Fault Tolerance Distributed

Feb 23, 2016

Download

Documents

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. - PowerPoint PPT Presentation
Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Page 1: Fault  Tolerance Distributed

Fault Tolerance Distributed

ITV Model-based Analysis and Design of Embedded SoftwareTechniques and methods for Critical Software

Anders P. RavnAalborg University

August 2011

Page 2: Fault  Tolerance Distributed

FT basis: Redundancy

• Time

• Space

Try Retry Retry ...

TryTryTry

...

BW p. 109

Page 3: Fault  Tolerance Distributed

Fault Tolerance

Page 4: Fault  Tolerance Distributed

Basic Strategies

Page 5: Fault  Tolerance Distributed

Example

Page 6: Fault  Tolerance Distributed

Fault Hypotheses

Page 7: Fault  Tolerance Distributed

Fault-Tolerant System

Page 8: Fault  Tolerance Distributed

Impulse Generator

Page 9: Fault  Tolerance Distributed

CU

Page 10: Fault  Tolerance Distributed

Voter and Arbiter

Page 11: Fault  Tolerance Distributed

Parameters

Page 12: Fault  Tolerance Distributed

Properties

Page 13: Fault  Tolerance Distributed

Procedure1. 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 is fault-affected.

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.