Reliability of Technical Systems

Similar documents
Risk Analysis of Highly-integrated Systems

Markov Models for Reliability Modeling

Reliability of Technical Systems

On Qualitative Analysis of Fault Trees Using Structurally Persistent Nets

Reliable Computing I

Stochastic Petri Net. Ben, Yue (Cindy) 2013/05/08

Fault-Tolerant Computing

Assessing system reliability through binary decision diagrams using bayesian techniques.

Markov Model. Model representing the different resident states of a system, and the transitions between the different states

Safety and Reliability of Embedded Systems

Safety and Reliability of Embedded Systems. (Sicherheit und Zuverlässigkeit eingebetteter Systeme) Fault Tree Analysis Obscurities and Open Issues

Reliability of Technical Systems

12 - The Tie Set Method

Lecture 5 Fault Modeling

Chapter 18 Section 8.5 Fault Trees Analysis (FTA) Don t get caught out on a limb of your fault tree.

FAULT TOLERANT SYSTEMS

Quantitative evaluation of Dependability

Module No. # 03 Lecture No. # 11 Probabilistic risk analysis

Reliability Engineering I

Nuclear reliability: system reliabilty

Dependable Computer Systems

Failures in Process Industries

Causal & Frequency Analysis

Reliability evaluation of a repairable system under fuzziness

9. Reliability theory

Department of Electrical and Computer Engineering University of Wisconsin Madison. Fall Midterm Examination CLOSED BOOK

Bayesian Networks. Motivation

Introduction to Reliability Theory (part 2)

Part 3: Fault-tolerance and Modeling

Systems analysis. Behaviour, architecture L E C T U R E. Ing. Zuzana Bělinová, Ph.D. Lecture 2. Systems engineering. Veronika Vlčková, Zuzana Bělinová

Reliability of Technical Systems

Comp487/587 - Boolean Formulas

ANALYSIS FOR A PARALLEL REPAIRABLE SYSTEM WITH DIFFERENT FAILURE MODES

MIT Manufacturing Systems Analysis Lectures 18 19

UNIVERSITY OF MASSACHUSETTS Dept. of Electrical & Computer Engineering. Fault Tolerant Computing ECE 655

Safety Analysis Using Petri Nets

Chapter 5. System Reliability and Reliability Prediction.

Dependability Analysis

Reliability of Safety-Critical Systems 5.1 Reliability Quantification with RBDs

EMBEDDED PATHS AND CYCLES IN FAULTY HYPERCUBES

Software Verification

Markov Reliability and Availability Analysis. Markov Processes

Availability and Reliability Analysis for Dependent System with Load-Sharing and Degradation Facility

Binary Decision Diagrams

AP1000 European 19. Probabilistic Risk Assessment Design Control Document

Department of Electrical and Computer Engineering University of Wisconsin Madison. Fall Midterm Examination CLOSED BOOK

Multi-State Availability Modeling in Practice

IEOR 4106: Introduction to Operations Research: Stochastic Models Spring 2011, Professor Whitt Class Lecture Notes: Tuesday, March 1.

Foundations of Artificial Intelligence

A New 3-CNF Transformation by Parallel-Serial Graphs 1

IE Advanced Simulation Experiment Design and Analysis. Hong Wan Purdue University

ASTRA 3.0: LOGICAL AND PROBABILISTIC ANALYSIS METHODS

Software Reliability & Testing

Distributed Systems Byzantine Agreement

Safety analysis and standards Analyse de sécurité et normes Sicherheitsanalyse und Normen

Availability. M(t) = 1 - e -mt

Intuitionistic Fuzzy Estimation of the Ant Methodology

Robust Network Codes for Unicast Connections: A Case Study

Course Runtime Verification

Statistical process control of the stochastic complexity of discrete processes

Time Dependent Analysis with Common Cause Failure Events in RiskSpectrum

SEQUENCING RELIABILITY GROWTH TASKS USING MULTIATTRIBUTE UTILITY FUNCTIONS

Scalable Failure Recovery for Tree-based Overlay Networks

Why fault tolerant system?

Markov Processes Hamid R. Rabiee

Markov Networks. l Like Bayes Nets. l Graphical model that describes joint probability distribution using tables (AKA potentials)

SPSS, University of Texas at Arlington. Topics in Machine Learning-EE 5359 Neural Networks

Lecture 20 : Markov Chains

COS597D: Information Theory in Computer Science October 5, Lecture 6

PROBABILISTIC REASONING SYSTEMS

Kirk Pruhs. Green Computing Algorithmics. Talk 1: Energy Efficient Circuit Design ADFOCS 2015

STA 414/2104: Machine Learning

Reliability Analysis of Hydraulic Steering System with DICLFL Considering Shutdown Correlation Based on GO Methodology

RISK- AND RELIABILITY ANALYSIS WITH APPLICATIONS

Markov Networks. l Like Bayes Nets. l Graph model that describes joint probability distribution using tables (AKA potentials)

RISK-INFORMED OPERATIONAL DECISION MANAGEMENT (RIODM): RISK, EVENT TREES AND FAULT TREES

The modal logic of forcing

Midterm: CS 6375 Spring 2015 Solutions

Mean fault time for estimation of average probability of failure on demand.

Evaluation criteria for reliability in computer systems

Technology Mapping for Reliability Enhancement in Logic Synthesis

Automata, Logic and Games: Theory and Application

Do we have a quorum?

EE 445 / 850: Final Examination

Chapter 7 Propositional Satisfiability Techniques

System Reliability Analysis. CS6323 Networks and Systems

Yield Evaluation Methods of SRAM Arrays: a Comparative Study

ECE 407 Computer Aided Design for Electronic Systems. Simulation. Instructor: Maria K. Michael. Overview

MODELLING DYNAMIC RELIABILITY VIA FLUID PETRI NETS

The exam is closed book, closed calculator, and closed notes except your one-page crib sheet.

An Efficient Algorithm for Computing the Reliability of Consecutive-k-out-of-n:F Systems

Differential Equations Spring 2007 Assignments

Improving the Efficiency of Dynamic Fault Tree Analysis by Considering Gate FDEP as Static

6.842 Randomness and Computation April 2, Lecture 14

Chapter 6. a. Open Circuit. Only if both resistors fail open-circuit, i.e. they are in parallel.

Database Theory VU , SS Ehrenfeucht-Fraïssé Games. Reinhard Pichler

Chapter 15. System Reliability Concepts and Methods. William Q. Meeker and Luis A. Escobar Iowa State University and Louisiana State University

Approximating the Partition Function by Deleting and then Correcting for Model Edges (Extended Abstract)

Final. Introduction to Artificial Intelligence. CS 188 Spring You have approximately 2 hours and 50 minutes.

CHAPTER 10 RELIABILITY

Transcription:

Reliability of Technical Systems

Main Topics 1. Short Introduction, Reliability Parameters: Failure Rate, Failure Probability, etc. 2. Some Important Reliability Distributions 3. Component Reliability 4. Introduction, Key Terms, Framing the Problem 5. System Reability I: Reliability Block Diagram, Structure Analysis (Fault Trees), State Model. 6. System Reability II: State Analysis (Markovian chains) 7. System Reability III: Dependent Failure Analysis 8. Static and Dynamic Redundancy 9. Advanced Methods for Systems Modeling and Simulation (Petri Nets, network theory, object-oriented modeling) 10. Software Reliability, Fault Tolerance 11. Human Reliability Analysis 12. Case study: Building a Reliable System 2

3

The calculation of the system reliability is of particular importance when it cannot be measured directly for example, when a new system has to be designed from existing components. It must be noticed that the presented methods only apply if the failures of the components are stochastically independent. In reality, it is approximately the case if the main fault mechanisms are independent from each other. However, when faults propagate from a component to another one, the independence assumption is strongly violated. 4

5

Reliability Block Diagram Directed graph: Exactly one starting node E, exactly one terminal node A. Other nodes represent the binary random variable of a component (stating whether "faultless" or "faulty"). Notice that multiple nodes are allowed for a single component. Additional virtual nodes H help to simplify the representation. Semantics: The system is faultless if and only if there exists a path from E to A solely via faultless components. 6

A reliability diagram illustrates a system function. In principle, its modeling power is somewhat smaller than the Boolean representation of the system function, because special monotony conditions must be satisfied (see next slide). In the reliability diagram there is no means to express negation. However, we can learn from the motivation of the monotony conditions, nearly all reasonable systems can be modeled by a system function without negation. Some properties of the modeling by a reliability diagram are: Arranging several components along a path means connecting them by an "and" operation Arranging several components in parallel paths represents an "or" operation. If a component appears in several expressions of the Boolean system function, it must be put in a corresponding number of parallel paths of the reliability diagram. 7

8

In the system function of a non-redundant system, all components are connected by an "and" operation. All components must be faultless to form a faultless system. In the example the "or" operator between components K 2 and K 3 indicated redundancy, which can be interpreted in various ways: The components form static redundancy. The components form dynamic redundancy, where K 2 is the primary and K 3 is the spare component. 9

Rules for Boolean Functions : φ(x) If we use this method to calculate the system function probability, then the probability of "or"-connected "and" expressions must be determined. Thereby the following rules have to be obeyed: 10

The rules for the "and" operations only apply in case of stochastically independence. As an example, two expressions may be not independent if they contain the same variable, Therefore, the following calculation for φ(x) = 0.9 is not valid: The rule for the "and" operation is also part of the rule for the "or" operation. It must be applied accordingly there. The rule for the "or" operation can cause a very high computation overhead. In this method, this rule must be applied for the or connection of the cut expression. 11

12

13

A fault case is a combination of the possible values of the binary random variables indicating which components are faultless and which are not. For a system consisting of n components there are exactly 2 n fault cases. For convenience the completely faultless case C = (true,., true) is also called a fault case in this context. It should be noticed that two fault cases are always disjoint. Two different fault cases cannot occur at a time. 14

15

16

17

Basic equations Theorem of the total likelihood Multiplication theorem for probabilities k ( ) = ( Θj) ( Θj) Pr X Pr Pr X. Pr(X): Probability of the event X ( impact ) Pr(Θ i ): Probability of the cause j Pr(XIΘ i ): probability of the impact X assuming cause Θ i. Pr(Θ i IX): according to Pr(XIΘ i ) j = 1 ( Θj ) = ( Θj) ( Θ j) = ( ) ( Θj ) Pr X Pr Pr X Pr X Pr X. 18

Recursive Binary Distinction of Fault Cases: Example K 2 E K 1 A K 3 19

Recursive Binary Distinction of Fault Cases: Split for K 2 K 2 E K 1 A K 3 ϕ(s)=ϕ(k 2 )*ϕ(k 1 (K 2 K 3 ) K 2 ) + ϕ(k 2 )* ϕ(k 1 (K 2 K 3 ) K 2 ) 20

Recursive Binary Distinction of Fault Cases K 2 is faultless E K 1 A K 3 ϕ(k 2 )*ϕ(k 1 (K 2 K 3 ) K 2 ) = ϕ(k 2 )* ϕ(k 1 (1 K 3 )) = ϕ(k 2 )*ϕ(k 1 ) 21

Recursive Binary Distinction of Fault Cases K 2 is faulty E K 1 A K 3 ϕ(k 2 )* ϕ(k 1 (K 2 K 3 ) K 2 ) = (1- ϕ(k 2 ))* ϕ(k 1 (0 K 3 ))= (1- ϕ(k 2 ))* ϕ(k 1 K 3 ) 22

23

Negative Logic Positive Logic Question: When is system faulty? Question: When is system faultless? Methodes: Variable: Fault tree Minimal Cut Sets _ x Methodes: CDFC, RBDFC, RD/RBD Minimal Path Sets Variable: x Parameters: Failure probabilities Parameters: Survival probabilities, availabilities 24

Method of Fault Tree Analysis (FTA) 25

26

27

28

Example from industry: pumping system In a pumping system, a tank is filled in 10 minutes and emptied in 50 minutes; hence, a complete cycle takes 1 hour. The switch is first closed and then the contact will be closed to allow the tank to be filled. After ten minutes (set by a timer), the contact will be opened to allow the tank to be emptied. If this mechanism fails, an alarm goes off and the operator opened the switch to prevent a tank failure due to overfilling. 29

Example from industry: pumping system Boolean Function Failure: ( ) ( ) ( ) y= x x x x x x x multiply 1 2 3 4 5 6 7 y= xx xx xx xx xx xx x x 1 4 1 5 2 4 2 5 3 4 3 5 6 7 This is a serial-parallel and serial system: Reliability Block Diagram E 1 4 1 5 6 7 A Computation: 6 ( ) ( )( ) F = 1 1 q q = 1 1 q q 1 q q... etc SP 1i 2i 1 4 1 5 i = 1 ( )( ) Fs = 1 1 q 1 q 6 7 F = F + F =... = 1. 0227 10 SP s 4 30

31

Negative Logic Fault tree Question: When is system faulty? Positive Logic Reliability Block Diagram Question: When is system faultless? _ S K 2 E K 1 A _ K 3 K 1 K 2 K 3 S = K 1 (K 2 K 3 ) 32

33

34

35

36

Negative Logic Positive Logic 37

38

p i is a probability of a state i. 39

Application of the State Modell: Unrepairable System Z 1 (1,1) λ Z 2 (0,0) Z i (K i,s), where K i state of component, S- conditional state of system. Λ - failure rate p ( t), p 2( t) = p1( t), p2( t) λ 0 Homogenous system of equalities: ( ) ( ) To be solved unter conditions: p 1 (t)+p 2 (t)=1 and p 1 (0)=1 1 λ 0 Solution (via Laplace transformation if necessary): p t) = e ( λ t 1 2 and p ( t) = 1 e λ t 40

Application of the State Modell: Repairable System λ Z 1 (1,1) μ Z 2 (0,0) Z i (K i,s), where K i state of component, S- conditional state of system. Λ - failure rate, μ repair rate p ( t), p 2( t) = p1( t), p2( Homogenous system of equalities: ( ) ( ) 1 t To be solved unter conditions: p 1 (t)+p 2 (t)=1 and p 1 (0)=1 Solution: p ( t 1 ) = ) λ µ λ µ µ λ ( λ+ µ ) t It is the time dependent + e λ + µ λ + µ Availability V(t)! 41

42

Application of the State Modell: Example System K 2 E K 1 A K 3 Number of states 2 3 =8 43

λ 1 Z 2 (0,1,1,0) Application of the State Modell: Example System Z 1 (1,1,1,1) λ 2 λ 3 Z 3 (1,0,1,1) λ 1 λ 3 Z 5 (0,0,1,0) λ3 Z 4 (1,1,0,1) λ 2 λ 1 Z 6 (1,0,0,0) λ 1 Z 8 (0,0,0,0) λ 2 Z 7 (0,1,0,0) Stationary availability is calculated by V=p 1 +p 3 +p 4 44

45

46

Application of the State Modell: Repairable System λ Z 1 (1,1) μ Z 2 (0,0) Z 1 : λ*p 1 =μ*p 2 p 1 +p 2 =1 Z 2 : λ*p 1 =μ*p 2 Stationary availability (steady-state availability) V is calculated by µ p1, the complementis p λ + µ = 2 = λ λ + µ 47