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 2 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
Fault Tolerance: Basic Mechanisms mMIC-SFT September 2003 Anders P. Ravn Aalborg University.
Dependability TSW 10 Anders P. Ravn Aalborg University November 2009.
Dependability ITV Real-Time Systems Anders P. Ravn Aalborg University February 2006.
Fault Tolerance -Example TSW November 2009 Anders P. Ravn Aalborg University.
Software Fault Tolerance – The big Picture RTS April 2008 Anders P. Ravn Aalborg University.
Fault Tolerance Mechanisms ITV Model-based Analysis and Design of Embedded Software Techniques and methods for Critical Software Anders P. Ravn Aalborg.
Exception Handling – illustrated by Java mMIC-SFT November 2003 Anders P. Ravn Aalborg University.
Summary and Safety Assessment mMIC-SFT November 2003 Anders P. Ravn Aalborg University.
Page 1 Copyright © Alexander Allister Shvartsman CSE 6510 (461) Fall 2010 Selected Notes on Fault-Tolerance (12) Alexander A. Shvartsman Computer.
7. Fault Tolerance Through Dynamic or Standby Redundancy 7.5 Forward Recovery Systems Upon the detection of a failure, the system discards the current.
TECHNICAL SEMINAR On. introduction Cloud support for real time system is really important because, today we found a lot of real time systems around.
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 20 Slide 1 Critical systems development 3.
Week#3 Software Quality Engineering.
Modified from Sommerville’s originals Software Engineering, 7th edition. Chapter 20 Slide 1 Critical systems development.
CprE 458/558G. Manimaran (ISU) CprE 458/558: Real-Time Systems Lecture 17 Fault-tolerant design techniques.
CS, AUHenrik Bærbak Christensen1 Fault Tolerant Architectures Lyu Chapter 14 Sommerville Chapter 20 Part II.
A Survey of Fault Tolerance in Distributed Systems By Szeying Tan Fall 2002 CS 633.
Distributed RT Systems Introduction ITV Multiprogramming and Real-Time Systems Anders P. Ravn Aalborg University April 2009.
Developing Dependable Systems CIS 376 Bruce R. Maxim UM-Dearborn.
Facilitating testing and monitoring of number entry systems in medical devices Abigail Cauchi, Christian Colombo, Mark Micallef & Gordon Pace.
Resilience through Dynamic Reconfigurations in Agent Systems Ilya Lopatkin Newcastle University, School of Computing Science.
Page 1 Building Reliable Component-based Systems Chapter 14 - Testing Reusable Software Components in Safety- Critical Real-Time Systems Chapter 14 Testing.
SENG521 (Fall SENG 521 Software Reliability & Testing Fault Tolerant Software Systems: Techniques (Part 4a) Department of Electrical.
Mixed Criticality Systems: Beyond Transient Faults Abhilash Thekkilakattil, Alan Burns, Radu Dobrin and Sasikumar Punnekkat.
18/05/2006 Fault Tolerant Computing Based on Diversity by Seda Demirağ
Principles of Engineering System Design Dr T Asokan
Safety Analysis – A quick introduction RTS February 2006 Anders P. Ravn Aalborg University.
Copyright © Clifford Neuman - UNIVERSITY OF SOUTHERN CALIFORNIA - INFORMATION SCIENCES INSTITUTE Advanced Operating Systems Lecture notes Dr.
1 Making Services Fault Tolerant Pat Chan, Michael R. Lyu Department of Computer Science and Engineering The Chinese University of Hong Kong Miroslaw Malek.
1 Making Services Fault Tolerant Pat Chan Department of Computer Science and Engineering The Chinese University of Hong Kong 2 nd June 2006.
Mini Project ITV Model-based Analysis and Design of Embedded Software Techniques and methods for Critical Software Anders P. Ravn Aalborg University August.
Software faults & reliability Presented by: Presented by: Pooja Jain Pooja Jain.
Safety Assessment (Fault Trees) ITV Model-based Analysis and Design of Embedded Software Techniques and methods for Critical Software Anders P. Ravn Aalborg.
1 Task Model for Process Composition Stuart Wheater Santosh Shrivastava.
Design - programming Cmpe 450 Fall Dynamic Analysis Software quality Design carefully from the start Simple and clean Fewer errors Finding errors.
CS CS 5150 Software Engineering Lecture 21 Reliability 3.
Real-Time Systems and Programming Languages © Alan Burns and Andy Wellings Chapter 2: Reliability and Fault Tolerance.
© Burns and Welling, 2001 Characteristics of a RTS n Large and complex n Concurrent control of separate system components n Facilities to interact with.
CprE 458/558: Real-Time Systems (G. Manimaran)1 CprE 458/558: Real-Time Systems Fault-Tolerant Scheduling Techniques.
Critical systems development. Objectives l To explain how fault tolerance and fault avoidance contribute to the development of dependable systems l To.
1 Reliable Web Services by Fault Tolerant Techniques: Methodology, Experiment, Modeling and Evaluation Term Presentation Presented by Pat Chan 3 May 2006.
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 20 Slide 1 Critical systems development.
REAL TIME SYSTEM Scheduling. Basics of Scheduling Usually Fewer Processor than tasks Adherence to timing constraints like deadline In a Multiprocessor.
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 20 Slide 1 Critical systems development 2.
1 Chapter Fault Tolerant Design of Digital Systems.
CS 261 – Data Structures Preconditions, Postconditions & Assert.
Week#2 Software Quality Assurance Software Quality Engineering.
Software Fault Tolerance – The big Picture mMIC-SFT September 2003 Anders P. Ravn Aalborg University.
© 2017 SlidePlayer.com Inc. All rights reserved.