Fault Tree Analysis Part 6 – Solutions of Fault Trees.

Slides:



Advertisements
Similar presentations
SEL3053: Analyzing Geordie Lecture 13. Hierarchical cluster analysis 2 - cluster tree construction Lecture 12 introduced hierarchical cluster analysis,
Advertisements

CREATED BY: CALVIN WILLIAMS Bidirectional Search.
Truth Tables How to Make and Use. Making a Truth Table To determine the number of rows other than the heading row. To determine the number of rows other.
Copyright © 2011 Pearson Education, Inc. Publishing as Pearson Addison-Wesley Chapter 16 Relational Database Design Algorithms and Further Dependencies.
Fault Tree Analysis Part 8 - Probability Calculation.
1 Fault-Tolerant Computing Systems #6 Network Reliability Pattara Leelaprute Computer Engineering Department Kasetsart University
AVL Trees1 Part-F2 AVL Trees v z. AVL Trees2 AVL Tree Definition (§ 9.2) AVL trees are balanced. An AVL Tree is a binary search tree such that.
CYK Parser Von Carla und Cornelia Kempa. Overview Top-downBottom-up Non-directional methods Unger ParserCYK Parser.
AVL Trees1 Part-F2 AVL Trees v z. AVL Trees2 AVL Tree Definition (§ 9.2) AVL trees are balanced. An AVL Tree is a binary search tree such that.
Reliability Block Diagrams A reliability block diagram is a success-oriented network describing the function of the system. If the system has more than.
They’re not just binary anymore!
Branch and Bound Similar to backtracking in generating a search tree and looking for one or more solutions Different in that the “objective” is constrained.
Lecture 9 Hidden Markov Models BioE 480 Sept 21, 2004.
Transportation Models Transportation problem is about distribution of goods and services from several supply locations to several demand locations. Transportation.
Binary Search Trees1 ADT for Map: Map stores elements (entries) so that they can be located quickly using keys. Each element (entry) is a key-value pair.
Chapter 5 Normalization of Database Tables
ECE Synthesis & Verification 1 ECE 667 ECE 667 Synthesis and Verification of Digital Systems Exact Two-level Minimization Quine-McCluskey Procedure.
METU Department of Computer Eng Ceng 302 Introduction to DBMS Relational Database Design Algorithms by Pinar Senkul resources: mostly froom Elmasri, Navathe.
AccuMax Multi-Point Injection Mechanics
What is Fault Tree Analysis?
Basic Compressor Safety and Operation. Air and Gas Mixtures Air+Gas+Pressure+Heat=Explosion.
MMG508.  Access Types  Tables  Relational tables  Queries  Stored database queries  Forms  GUI forms for data entry/display  Reports  Reports.
Maps A map is an object that maps keys to values Each key can map to at most one value, and a map cannot contain duplicate keys KeyValue Map Examples Dictionaries:
Chapter 5 Normalization of Database Tables
 Optimal Packing of High- Precision Rectangles By Eric Huang & Richard E. Korf 25 th AAAI Conference, 2011 Florida Institute of Technology CSE 5694 Robotics.
Normalization of Tables “Between two evils, choose neither; between two goods, choose both.” Tryon Edwards.
Midwestern State University Minimum Spanning Trees Definition of MST Generic MST algorithm Kruskal's algorithm Prim's algorithm 1.
Circuit, State Diagram, State Table
1 Simplification of Boolean Functions:  An implementation of a Boolean Function requires the use of logic gates.  A smaller number of gates, with each.
Zvi Kohavi and Niraj K. Jha 1 Memory, Definiteness, and Information Losslessness of Finite Automata.
Chapter 8: Data Abstractions Senem Kumova Metin. 8-2 Chapter 8: Data Abstractions 8.1 Basic Data Structures – Arrays – Lists, Stacks, Queues – Trees 8.2.
Section 2.2 Echelon Forms Goal: Develop systematic methods for the method of elimination that uses matrices for the solution of linear systems. The methods.
2IL05 Data Structures Fall 2007 Lecture 13: Minimum Spanning Trees.
Spring 2015 Lecture 11: Minimum Spanning Trees
Minimum Cost Flows. 2 The Minimum Cost Flow Problem u ij = capacity of arc (i,j). c ij = unit cost of shipping flow from node i to node j on (i,j). x.
Normalization. 2 Objectives u Purpose of normalization. u Problems associated with redundant data. u Identification of various types of update anomalies.
Quine-McCluskey (Tabular) Minimization Two step process utilizing tabular listings to: Identify prime implicants (implicant tables) Identify minimal PI.
Normalization Well structured relations and anomalies Normalization First normal form (1NF) Functional dependence Partial functional dependency Second.
Copyright © 2007 Ramez Elmasri and Shamkant B. Navathe Chapter 11 Relational Database Design Algorithms and Further Dependencies.
1 Network Models Transportation Problem (TP) Distributing any commodity from any group of supply centers, called sources, to any group of receiving.
Word : Let F be a field then the expression of the form a 1, a 2, …, a n where a i  F  i is called a word of length n over the field F. We denote the.
Problem Reduction So far we have considered search strategies for OR graph. In OR graph, several arcs indicate a variety of ways in which the original.
Rooted Tree a b d ef i j g h c k root parent node (self) child descendent leaf (no children) e, i, k, g, h are leaves internal node (not a leaf) sibling.
Chapter 13 Backtracking Introduction The 3-coloring problem
Quick Test Professional 9.2. Testing Process Preparing to Record Recording Enhancing a Test Debugging Running the Test and Analyzing the Results Reporting.
Copyright © 2007 Ramez Elmasri and Shamkant B. Navathe Slide
Copyright © 2007 Ramez Elmasri and Shamkant B. Navathe Slide
Trees By JJ Shepherd. Introduction Last time we discussed searching and sorting in a more efficient way Divide and Conquer – Binary Search – Merge Sort.
ENGM 631 Maximum Flow Solutions. Maximum Flow Models (Flow, Capacity) (0,3) (2,2) (5,7) (0,8) (3,6) (6,8) (3,3) (4,4) (4,10)
Fault Tree Analysis for Fatality Prevention Dr. Steven A. Lapp President - Design Sciences, Inc.
Lecture 12 Algorithm Analysis Arne Kutzner Hanyang University / Seoul Korea.
1 The Relational Data Model David J. Stucki. Relational Model Concepts 2 Fundamental concept: the relation  The Relational Model represents an entire.
Midwestern State University Minimum Spanning Trees Definition of MST Generic MST algorithm Kruskal's algorithm Prim's algorithm 1.
1 Pertemuan 10 Using Type Matakuliah: U0344 / DESKTOP 1 Tahun: 2006.
FAULT TREE ANALYSIS: REALISTIC EXAMPLE, MINIMAL CUT SETS.
Normalization.
Binary search tree. Removing a node
The minimum cost flow problem
Network Flow Problems – Shortest Path Problem
Relational Operations
Maximum Flow Solutions
Minimum Spanning Tree.
TARGET CODE GENERATION
Database solutions Chosen aspects of the relational model Marzena Nowakowska Faculty of Management and Computer Modelling Kielce University of Technology.
Text Analyzer BIS1523 – Lecture 14.
Chapter 10: File-System Interface
CUT SET TRANSFORMATION
Implementation of Learning Systems
Database.
Building pattern  Complete the following tables and write the rule 
Presentation transcript:

Fault Tree Analysis Part 6 – Solutions of Fault Trees

Receiver explodes Air flow into receiver exceeds flow out at pressure danger level Pressure relief valve fails to give adequate discharge at pressure danger level Pressure reducing valve flow less than compressor flow Pressure control loop causes compressor to run Incorrect design Instrument air system pressure abnormally high See Subtree Instrument air system pressure abnormally low Other causes Air flow out of air system (demand + leakage) abnormal and exceeds pressure reducing valve capacity Air flow out air system normal but flow in abnormally low See Subtree Incorrect design Dirt Other causes T A B E B* F GHI

SUBTREE Pressure reducing valve Partially or completely Seized shut or blocked Dirt Other causes CD

CUT SETS T = (A  B  C  D)  (B*  F)  (G  H  I) Where   “OR”   “AND” Note, B  B* = , B* = C  D  E, C  C = C, D  D = D, A  C, C  D, C  E, C  F  C A  D, D  C, D  E, D  F  D Thus, T = [(A  B*)    (C  B*)  (D  B*)  (A  F)  (B  F)  (C  F)  (D  F)]  (G  H  I) = [(A  C)  (A  D)  (A  E)  C  (C  D)  (C  E)  (D  C)  (D  E)  D  (A  F)  (B  F)  (C  F)  (D  F)]  (G  H  I) = [(A  E)  (A  F)  (B  F)  C  D]  (G  H  I) = [(A  E  G )  (A  F  G)  (B  F  G )  (C  G)  (D  G)  (A  E  H)  (A  F  H)  (B  F  H)  (C  H)  (D  H)  (A  E  I)  (A  F  I)  (B  F  I)  (C  I)  (D  I)

DEFINITIONS: Cut Set: A cut set is a collection of basic events; if all these basic events occur, the top event is guaranteed to occur. Minimal Cut Set A minimal cut set is such that if any basic event is removed from the set, the remaining events collectively are no longer a cut set. Path Set A path set is a collection of basic events; if none of the events in the sets occur, the top event is guaranteed not to occur. Minimal Path Set A minimal path set is a path set such that if any basic event is removed from the set, the remaining events collectively are no longer a path set.

[ Example ] T OR 1 AND OR Minimum Cut Sets {1}, {2,4}, {2,5}, {2,6}, {3,4}, {3,5}, {3,6} T = 1  (2  4)  (2  5)  (2  6)  (3  4)  (3  5)  (3  6) {1, 2, 3} and {1, 4, 5, 6} are the Minimum Path Sets

CUT SET TRANSFORMATION TOP OR 1 Component Cut Sets AND 2 Component Cut Sets AND 3 Component Cut Sets AND 4 Component Cut Sets AND 5 Component Cut Sets

PROCEDURE FOR FINDING CUT SETS Method 1: Bottom Up 1) Form a table with two columns, one for gate numbers and the other for cut sets. 2) Search the tree for gates which have only primal events as inputs. 3) List the cut sets for each of these gates in the table. 4) Find a gate whose gate inputs already appear in the table. 5) If gate is an “OR” the cut set for it are gotten by forming the union of all cut sets for its inputs, with non-minimal sets removed. 6) If gate is an “AND”, its cut sets are formed by “anding” the cut sets for each input with those of all the inputs. After forming a given cut set, any duplicate members within it are removed and it is checked for minimality against all other cut sets formed to that point. 7) If the gate just developed is the TOP, its cut sets are those for the entire tree. If not, go to step 4.

[ Example ] TOP OR 1 2 G2 AND 3OR AND5 34 G3 G4 G5 OR 6AND G7 G2 3 G6 GATECUT SETS (1) (2) (3, 4) (3, 4) (5) (1, 3) (2, 3) (3, 4, 3) (3, 5) (6) (1, 3) (2, 3) (1) (2) (3, 4) (3, 5) (6) (1, 3) (2, 3) Hence, the minimal cut sets for this tree are : (1), (2), (6), (3, 4) and (3, 5).

PROCEDURE FOR FINDING DUT SETS Method Two: Top Down 1) Uniquely identify all gates and basic events. 2) Resolve all gates into basic events. 3) Remove duplicate events within sets. 4) Delete all supersets (sets that contain another set as a subset.)

STEP 1 : Top Event Fault Event 1 Fault Event 2 Fault Event 3 BASIC EVENT 1 BASIC EVENT 2 BASIC EVENT 3 BASIC EVENT 2 BASIC EVENT 4 1 B A C D

The second step is to resolve all the gates into BASIC events. This is done in a matrix format, beginning with the TOP event and proceeding through the matrix until all gates are resolved. The TOP event is always the first entry in the matrix and is entered in the first column of the first row. Gates are resolved by replacing them in the matrix with their inputs. There are two rules for entering the remaining information in the matrix : the OR – gate rule, and the AND- gate rule. STEP 2 :

The OR-gate rule : When resolving an OR gate in the matrix, the first input of the OR gate replaces the gate identifier in the matrix, and all other inputs to the OR gate are inserted in the next available row, one input per row. The next available row means the next empty row of the matrix. In addition, if there are other entries in the row where the OR gate appeared, these entries must be entered (repeated) in all the rows that contain the gate’s inputs. The AND-gate rule : When resolving an AND gate in the matrix, the first input to the AND gate replaces the gate identifier in the matrix, and the other inputs to the AND gate are inserted in the next available column, one input per column, on the same row that the AND gate appeared on.

STEP 2 : AA B D B 1 D C1D 2 C 1 4 C 1 2 C C C (a) (b) (c)(d) (e)(f) AND OR

STEP 3 : Set 1 : 1, 2, 2 1, 2 Set 2 : 1, 2, 4 1, 2, 4 Set 3 : 1, 2, 3 1, 2, 3 Set 4 : 1, 3, 4 1, 3, 4 STEP 4 : Minimum cut sets : {1, 2}, {1, 3, 4}

PATH Sets : A B D B 1 D C 1 D 2 4 C C  { 1 } { 2, 4 } { 2, 3 }