We think you have liked this presentation. If you wish to download it, please recommend it to your friends in any social system. Share buttons are a little bit lower. Thank you!
Presentation is loading. Please wait.
Published byMarcelo Wickens
Modified over 4 years ago
Tolerating Timing faults TSW November 2009 Anders P. Ravn Aalborg University
FT basis: Redundancy Time Space TryRetry... Try... BW 2.5 p. 41
Dynamic Redundancy 1.Error detection 2.Damage confinement and assessment 3.Error recovery 4.Fault treatment and continued service BW p. 41
Error Detection f: State x Input State x Output Environment (exception) Application BW Ch 13 Assertion: precondition (input,state) postcondition (input, state, state’, output) invariant(state, state’) Timing: WCET(f, input) Deadline (f,input) D
Fault Tree EC_i > C_i ET_i < T_i Missed D_i EI_i > I_i ET_k < T_kEC_k > C_k EB_i < B_i Platform fails
Error Detection Deadline D missed (Platform Error) Overrun of C Min. Interarrival time T too small Blocking time B too small
Damage Confinement Static structure one task lower priority tasks ? Dynamic structure BW p. 457
Error Recovery Forward Backward Repair the state – if you can ! define recovery points checkpoint state at r. p. roll back retry Domino effect
Computer Systems & Architecture Lesson 2 4. Achieving Qualities.
Principles of Engineering System Design Dr T Asokan
REAL TIME SYSTEM Scheduling.
CprE 458/558: Real-Time Systems (G. Manimaran)1 CprE 458/558: Real-Time Systems Fault-Tolerant Scheduling Techniques.
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 20 Slide 1 Critical systems development 2.
Exception Handling – illustrated by Java mMIC-SFT November 2003 Anders P. Ravn Aalborg University.
Making Services Fault Tolerant
Fault Tolerance -Example TSW November 2009 Anders P. Ravn Aalborg University.
Dependability TSW 10 Anders P. Ravn Aalborg University November 2009.
Software Fault Tolerance – The big Picture RTS April 2008 Anders P. Ravn Aalborg University.
© Burns and Welling, 2001 Characteristics of a RTS n Large and complex n Concurrent control of separate system components n Facilities to interact with.
Fault Tolerance: Basic Mechanisms mMIC-SFT September 2003 Anders P. Ravn Aalborg University.
1 Chapter Fault Tolerant Design of Digital Systems.
Mini Project ITV Model-based Analysis and Design of Embedded Software Techniques and methods for Critical Software Anders P. Ravn Aalborg University August.
Modified from Sommerville’s originals Software Engineering, 7th edition. Chapter 20 Slide 1 Critical systems development.
Distributed RT Systems Introduction ITV Multiprogramming and Real-Time Systems Anders P. Ravn Aalborg University April 2009.
Dependability ITV Real-Time Systems Anders P. Ravn Aalborg University February 2006.
CS CS 5150 Software Engineering Lecture 21 Reliability 3.
© 2018 SlidePlayer.com Inc. All rights reserved.