A. BobbioBertinoro, March 10-14, 20031 Dependability Theory and Methods 2. Reliability Block Diagrams Andrea Bobbio Dipartimento di Informatica Università.

Slides:



Advertisements
Similar presentations
A. BobbioBertinoro, March 10-14, Dependability Theory and Methods 3. State Enumeration Andrea Bobbio Dipartimento di Informatica Università del Piemonte.
Advertisements

A. BobbioReggio Emilia, June 17-18, Dependability & Maintainability Theory and Methods 3. Reliability Block Diagrams Andrea Bobbio Dipartimento di.
1 Probability- Independence and Fundamental Rules Dr. Jerrell T. Stracener, SAE Fellow EMIS 7370 STAT 5340 Probability and Statistics for Scientists and.
A. BobbioReggio Emilia, June 17-18, Dependability & Maintainability Theory and Methods 5. Markov Models Andrea Bobbio Dipartimento di Informatica.
1 Fault-Tolerant Computing Systems #6 Network Reliability Pattara Leelaprute Computer Engineering Department Kasetsart University
COE 444 – Internetwork Design & Management Dr. Marwan Abu-Amara Computer Engineering Department King Fahd University of Petroleum and Minerals.
SECURITY AND DEPENDABILITY OF COMPUTER SYSTEMS
Fault Tree Analysis Part 12 – Redundant Structure and Standby Units.
Chapter 8 Continuous Time Markov Chains. Markov Availability Model.
6. Reliability Modeling Reliable System Design 2010 by: Amir M. Rahmani.
AEM 336: Reliability & Sampling Prediction & Modeling.
RELIABILITY IN A HIERARCHICAL MANAGEMENT. 1 LITERATURE REVIEW & METHODS THE RESULTS OF THE PRESENTATION CONTENT 2 3 INTRODUCTION AND OBJECTIVE.
Chapter 5 Probability Models Introduction –Modeling situations that involve an element of chance –Either independent or state variables is probability.
Probability and Statistics with Reliability, Queuing and Computer Science Applications: Chapter 8 on Continuous-Time Markov Chains Kishor Trivedi.
Markov Reward Models By H. Momeni Supervisor: Dr. Abdollahi Azgomi.
Reliable System Design 2011 by: Amir M. Rahmani
Reliability Engineering and Maintenance The growth in unit sizes of equipment in most industries with the result that the consequence of failure has become.
Reliability of Systems
Oct Combinational Modeling Slide 1 Fault-Tolerant Computing Motivation, Background, and Tools.
A. BobbioBertinoro, March 10-14, Dependability Theory and Methods 5. Markov Models Andrea Bobbio Dipartimento di Informatica Università del Piemonte.
A. BobbioReggio Emilia, June 17-18, Dependability & Maintainability Theory and Methods Part 2: Repairable systems: Availability Andrea Bobbio Dipartimento.
A. BobbioBertinoro, March 10-14, Dependability Theory and Methods Part 4: Fault-tree analysis Andrea Bobbio Dipartimento di Informatica Università.
Dependability Evaluation. Techniques for Dependability Evaluation The dependability evaluation of a system can be carried out either:  experimentally.
1 Software Testing and Quality Assurance Lecture 35 – Software Quality Assurance.
A. BobbioBertinoro, March 10-14, Dependability Theory and Methods Part 1: Introduction and definitions Andrea Bobbio Dipartimento di Informatica.
System Reliability. Random State Variables System Reliability/Availability.
Sample Space Probability implies random experiments.
4. Dynamic reliability models Objectives Be able to find reliability of series, parallel, stand-by and shared load parallel systems, when the reliabilities.
1 Reliability Prediction A Quest for Reliable Parameters By Yair Shai.
1 Reliability Application Dr. Jerrell T. Stracener, SAE Fellow Leadership in Engineering EMIS 7370/5370 STAT 5340 : PROBABILITY AND STATISTICS FOR SCIENTISTS.
-Exponential Distribution -Weibull Distribution
Dept. of Electrical & Computer engineering
Transition of Component States N F Component fails Component is repaired Failed state continues Normal state continues.
Background on Reliability and Availability Slides prepared by Wayne D. Grover and Matthieu Clouqueur TRLabs & University of Alberta © Wayne D. Grover 2002,
Pisa, 11/25/2002Susanna Donatelli1 Modelling process and heterogeneous model construction Susanna Donatelli Modelling and evaluation groups.
Lecture 2: Combinatorial Modeling CS 7040 Trustworthy System Design, Implementation, and Analysis Spring 2015, Dr. Rozier Adapted from slides by WHS at.
By Behzad Akbari Tarbiat Modares University Spring 2009
Pisa, 11/25/2002Susanna Donatelli1 Heterogeneous model construction Susanna Donatelli Modelling and evaluation groups of the Dipartimento.
Practical Reliability Engineering, Fifth Edition. Patrick D. T. O’Connor and Andre Kleyner. © 2012 John Wiley & Sons, Ltd. Chapter 6 Reliability Prediction.
Maintenance Policies Corrective maintenance: It is usually referred to as repair. Its purpose is to bring the component back to functioning state as soon.
Lecture 4: State-Based Methods CS 7040 Trustworthy System Design, Implementation, and Analysis Spring 2015, Dr. Rozier Adapted from slides by WHS at UIUC.
System Reliability Modeling and Analysis-
 How do you know how long your design is going to last?  Is there any way we can predict how long it will work?  Why do Reliability Engineers get paid.
An Application of Probability to
Generalized stochastic Petri nets (GSPN)
1 Component reliability Jørn Vatn. 2 The state of a component is either “up” or “down” T 1, T 2 and T 3 are ”Uptimes” D 1 and D 2 are “Downtimes”
Reliability Failure rates Reliability
1 3. System reliability Objectives Learn the definitions of a component and a system from a reliability perspective Be able to calculate reliability of.
Multi-state System (MSS) Basic Concepts MSS is able to perform its task with partial performance “all or nothing” type of failure criterion cannot be.
Stracener_EMIS 7305/5305_Spr08_ Systems Reliability Modeling & Analysis Series and Active Parallel Configurations Dr. Jerrell T. Stracener, SAE.
Parallel_Models.PPT Building Parallel Models Last revised 12/06/2006.
Standby-redundancy-models.PPT Building Standby Redundancy Models Last revised 12/06/2006.
A Structured Solution Approach for Markov Regenerative Processes Elvio G. Amparore 1, Peter Buchholz 2, Susanna Donatelli 1 1 Dipartimento di Informatica,
SYSTEMS RELIABILTY 1. SYSTEMS are basically built of different components and /or subsystems. For each component, there is an assigned role in the system.
Stracener_EMIS 7305/5305_Spr08_ System Reliability Analysis - Multi State Models and General Configurations Dr. Jerrell T. Stracener, SAE Fellow.
16111 presentation by Arindam Das System Reliability Prediction A presentation by Arindam Das.
Reliability Engineering
Laurea Triennale in Informatica – Corso di Ingegneria del Software I – A.A. 2006/2007 Andrea Polini VIII. Specifications (II)
Copyright 2007 Koren & Krishna, Morgan-Kaufman Part.4.1 FAULT TOLERANT SYSTEMS Part 4 – Analysis Methods Chapter 2 – HW Fault Tolerance.
EMIS 7300 SYSTEMS ANALYSIS METHODS FALL 2005
LOG 211 Supportability Analysis “Reliability 101”
Discrete-time Markov chain (DTMC) State space distribution
Most people will have some concept of what reliability is from everyday life, for example, people may discuss how reliable their washing machine has been.
MPE-PE Section Meeting
Circuit Diagrams 13.1 An electric circuit can be represented using a diagram. Each part of the circuit is represented with a symbol. By reading a circuit.
Fault-Tolerant Computing Systems #5 Reliability and Availability2
Reliability Analysis using Reliability Block Diagram( RBD)
Reliability Failure rates Reliability
Dept. of Electrical & Computer engineering
Reliability Engineering
Presentation transcript:

A. BobbioBertinoro, March 10-14, Dependability Theory and Methods 2. Reliability Block Diagrams Andrea Bobbio Dipartimento di Informatica Università del Piemonte Orientale, “A. Avogadro” Alessandria (Italy) - Bertinoro, March 10-14, 2003

A. BobbioBertinoro, March 10-14, Model Types in Dependability Combinatorial models assume that components are statistically independent: poor modeling power coupled with high analytical tractability.  Reliability Block Diagrams, FT, …. State-space models rely on the specification of the whole set of possible states of the system and of the possible transitions among them.  CTMC, Petri nets, ….

A. BobbioBertinoro, March 10-14, Reliability Block Diagrams  Each component of the system is represented as a block;  System behavior is represented by connecting the blocks;  Failures of individual components are assumed to be independent;  Combinatorial (non-state space) model type.

A. BobbioBertinoro, March 10-14, Reliability Block Diagrams (RBDs)  Schematic representation or model;  Shows reliability structure (logic) of a system;  Can be used to determine dependability measures;  A block can be viewed as a “switch” that is “closed” when the block is operating and “open” when the block is failed;  System is operational if a path of “closed switches” is found from the input to the output of the diagram.

A. BobbioBertinoro, March 10-14, Reliability Block Diagrams (RBDs) Can be used to calculate: –Non-repairable system reliability given:  Individual block reliabilities (or failure rates);  Assuming mutually independent failures events. –Repairable system availability given:  Individual block availabilities (or MTTFs and MTTRs);  Assuming mutually independent failure and restoration events;  Availability of each block is modeled as 2-state Markov chain.

A. BobbioBertinoro, March 10-14, Series system of n components. Components are statistically independent Define event E i = “component i functions properly.” Series system in RBD A1A1A2A2AnAn P(E i ) is the probability “component i functions properly”  the reliability R i (t) (non repairable)  the availability A i (t) (repairable)

A. BobbioBertinoro, March 10-14, Reliability of Series system Series system of n components. Components are statistically independent Define event E i = "component i functions properly.” A1A1A2A2AnAn Denoting by R i (t) the reliability of component i Product law of reliabilities:

A. BobbioBertinoro, March 10-14, Series system with time-independent failure rate Let i be the time-independent failure rate of component i. Then: The system reliability Rs(t) becomes: R s (t) = e - s t with s =  i i=1 n R i (t) = e - i t 1 1 MTTF = —— = ———— s  i i=1 n

A. BobbioBertinoro, March 10-14, Availability for Series System Assuming independent repair for each component, where A i is the (steady state or transient) availability of component i

A. BobbioBertinoro, March 10-14, Series system: an example

A. BobbioBertinoro, March 10-14, Series system: an example

A. BobbioBertinoro, March 10-14, Improving the Reliability of a Series System Sensitivity analysis:  R s R s S i = ———— = ————  R i R i The optimal gain in system reliability is obtained by improving the least reliable component.

A. BobbioBertinoro, March 10-14, The part-count method It is usually applied for computing the reliability of electronic equipment composed of boards with a large number of components. Components are connected in series and with time- independent failure rate.

A. BobbioBertinoro, March 10-14, The part-count method

A. BobbioBertinoro, March 10-14, Redundant systems When the dependability of a system does not reach the desired (or required) level:  Improve the individual components;  Act at the structure level of the system, resorting to redundant configurations.

A. BobbioBertinoro, March 10-14, Parallel redundancy A system consisting of n independent components in parallel. It will fail to function only if all n components have failed. E i = “The component i is functioning” E p = “the parallel system of n component is functioning properly.” A1A1 AnAn

A. BobbioBertinoro, March 10-14, Parallel system Therefore :

A. BobbioBertinoro, March 10-14, Parallel redundancy F i (t) = P (E i ) Probability component i is not functioning (unreliability) R i (t) = 1 - F i (t) = P (E i ) Probability component i is functioning (reliability) A1A1 AnAn — F p (t) =  F i (t) i=1 n R p (t) = 1 - F p (t) = 1 -  (1 - R i (t)) i=1 n

A. BobbioBertinoro, March 10-14, component parallel system For a 2-component parallel system: F p (t) = F 1 (t) F 2 (t) R p (t) = 1 – (1 – R 1 (t)) (1 – R 2 (t)) = = R 1 (t) + R 2 (t) – R 1 (t) R 2 (t) A1A1 A2

A. BobbioBertinoro, March 10-14, component parallel system: constant failure rate For a 2-component parallel system with constant failure rate: R p (t) = A1A1 A2 e - 1 t + e - 2 t – e - ( ) t MTTF = —— + —— – ————

A. BobbioBertinoro, March 10-14, Parallel system: an example

A. BobbioBertinoro, March 10-14, Partial redundancy: an example

A. BobbioBertinoro, March 10-14, Availability for parallel system Assuming independent repair, where A i is the (steady state or transient) availability of component i.

A. BobbioBertinoro, March 10-14, Series-parallel systems

A. BobbioBertinoro, March 10-14, System vs component redundancy

A. BobbioBertinoro, March 10-14, Component redundant system: an example

A. BobbioBertinoro, March 10-14, Is redundancy always useful ?

A. BobbioBertinoro, March 10-14, Stand-by redundancy A B The system works continuously during 0 — t if: a)Component A did not fail between 0 — t b)Component A failed at x between 0 — t, and component B survived from x to t. x 0 t A B

A. BobbioBertinoro, March 10-14, Stand-by redundancy A B x 0 t A B

A. BobbioBertinoro, March 10-14, A B Stand-by redundancy (exponential components)

A. BobbioBertinoro, March 10-14, Majority voting redundancy A1A1 A2 A3 Voter

A. BobbioBertinoro, March 10-14, :3 majority voting redundancy A1A1 A2 A3 Voter