1 Fault-Tolerant Computing Systems #6 Network Reliability Pattara Leelaprute Computer Engineering Department Kasetsart University

Slides:



Advertisements
Similar presentations
Bart Jansen 1.  Problem definition  Instance: Connected graph G, positive integer k  Question: Is there a spanning tree for G with at least k leaves?
Advertisements

Lauritzen-Spiegelhalter Algorithm
COE 444 – Internetwork Design & Management Dr. Marwan Abu-Amara Computer Engineering Department King Fahd University of Petroleum and Minerals.
Hamiltonian Cycles and paths Bin Zhou. Definitions Hamiltonian cycle (HC): is a cycle which passes once and exactly once through every vertex of G (G.
SECURITY AND DEPENDABILITY OF COMPUTER SYSTEMS
6. Reliability Modeling Reliable System Design 2010 by: Amir M. Rahmani.
Parallel Scheduling of Complex DAGs under Uncertainty Grzegorz Malewicz.
Reliability Block Diagrams A reliability block diagram is a success-oriented network describing the function of the system. If the system has more than.
Lectures on Network Flows
Complexity 16-1 Complexity Andrei Bulatov Non-Approximability.
On the Hardness of Graph Isomorphism Jacobo Tor á n SIAM J. Comput. Vol 33, p , Presenter: Qingwu Yang April, 2006.
Reduction Techniques Restriction Local Replacement Component Design Examples.
CSE 322: Software Reliability Engineering Topics covered: Dependability concepts Dependability models.
Reliability of Networks. 1 2 B E D AC Simple 2 Terminal Networks Reliability of a 2 terminal network is the probability there is a connection between.
1 Simple Network Codes for Instantaneous Recovery from Edge Failures in Unicast Connections Salim Yaacoub El Rouayheb, Alex Sprintson Costas Georghiades.
CSE 222 Systems Programming Graph Theory Basics Dr. Jim Holten.
Study Group Randomized Algorithms Jun 7, 2003 Jun 14, 2003.
Steiner trees Algorithms and Networks. Steiner Trees2 Today Steiner trees: what and why? NP-completeness Approximation algorithms Preprocessing.
1 Software Testing and Quality Assurance Lecture 35 – Software Quality Assurance.
Chapter 11 Graphs and Trees This handout: Terminology of Graphs Eulerian Cycles.
Hardness Results for Problems
“Faultless to a fault.” - Robert Browning Albert Hsu
Introduction to Graph Theory
1 Fault-Tolerant Computing Systems #2 Hardware Fault Tolerance Pattara Leelaprute Computer Engineering Department Kasetsart University
Relex Reliability Software “the intuitive solution
Digitaalsüsteemide verifitseerimise kursus1 Formal verification: BDD BDDs applied in equivalence checking.
Dept. of Electrical & Computer engineering
All that remains is to connect the edges in the variable-setters to the appropriate clause-checkers in the way that we require. This is done by the convey.
Cristian Urs and Ben Riveira. Introduction The article we chose focuses on improving the performance of Genetic Algorithms by: Use of predictive models.
Introduction to Graphs. Introduction Graphs are a generalization of trees –Nodes or verticies –Edges or arcs Two kinds of graphs –Directed –Undirected.
FAULT TREE ANALYSIS (FTA). QUANTITATIVE RISK ANALYSIS Some of the commonly used quantitative risk assessment methods are; 1.Fault tree analysis (FTA)
Lecture 2: Combinatorial Modeling CS 7040 Trustworthy System Design, Implementation, and Analysis Spring 2015, Dr. Rozier Adapted from slides by WHS at.
Week 10Complexity of Algorithms1 Hard Computational Problems Some computational problems are hard Despite a numerous attempts we do not know any efficient.
Techniques for Proving NP-Completeness Show that a special case of the problem you are interested in is NP- complete. For example: The problem of finding.
1 3. System reliability Objectives Learn the definitions of a component and a system from a reliability perspective Be able to calculate reliability of.
Data Structures and Algorithms in Parallel Computing Lecture 2.
Stracener_EMIS 7305/5305_Spr08_ Systems Reliability Modeling & Analysis Series and Active Parallel Configurations Dr. Jerrell T. Stracener, SAE.
Graphs and MSTs Sections 1.4 and 9.1. Partial-Order Relations Everybody is not related to everybody. Examples? Direct road connections between locations.
Graphs Upon completion you will be able to:
Pattara Leelaprute Computer Engineering Department
TOPIC : Fault detection and fault redundancy UNIT 2 : Fault modeling Module 2.3 Fault redundancy and Fault collapsing.
Stracener_EMIS 7305/5305_Spr08_ System Reliability Analysis - Multi State Models and General Configurations Dr. Jerrell T. Stracener, SAE Fellow.
Graphs Definition: a graph is an abstract representation of a set of objects where some pairs of the objects are connected by links. The interconnected.
Graph Concepts Illustrated Using The Leda Library Amanuel Lemma CS252 Algorithms.
Theory of Computational Complexity Probability and Computing Ryosuke Sasanuma Iwama and Ito lab M1.
Overwiew of Various System Reliability Analysis Methods Kim Hyoung Ju 1.
A fault tree – Based Bayesian network construction for the failure rate assessment of a complex system 46th ESReDA Seminar May 29-30, 2014, Politecnico.
16111 presentation by Arindam Das System Reliability Prediction A presentation by Arindam Das.
FAULT TREE ANALYSIS. NOTATION Series system System fails when either component fails Pump Failure Valve Failure P(system failure) = P(pump failure  valve.
Adding Dynamic Nodes to Reliability Graph with General Gates using Discrete-Time Method Lab Seminar Mar. 12th, 2007 Seung Ki, Shin.
Theory of Computational Complexity Probability and Computing Chapter Hikaru Inada Iwama and Ito lab M1.
P & NP.
Fault Trees.
Fault Tree Analysis Using Binary Decision Diagrams
Fault-Tolerant Computing Systems #3 Fault-Tolerant Software
Fault-Tolerant Computing Systems #5 Reliability and Availability2
Minimum Spanning Tree 8/7/2018 4:26 AM
Hamiltonian Cycles and paths
Lectures on Network Flows
Exact Inference Continued
Computability and Complexity
Md. Abul Kashem, Chowdhury Sharif Hasan, and Anupam Bhattacharjee
Graphs.
Abstraction.
CUT SET TRANSFORMATION
CSE 589 Applied Algorithms Spring 1999
Continuous distribution curve.
Communication Driven Remapping of Processing Element (PE) in Fault-tolerant NoC-based MPSoCs Chia-Ling Chen, Yen-Hao Chen and TingTing Hwang Department.
GRAPHS.
Locality In Distributed Graph Algorithms
Presentation transcript:

1 Fault-Tolerant Computing Systems #6 Network Reliability Pattara Leelaprute Computer Engineering Department Kasetsart University

2 Network Network is made up of network component  Network component Nodes Links (arcs, edges)  connecting by HW or software component  States of Network component Operational Failed

3 Network Reliability Problems  Input : Probability that each component can operates normally  Output : Network Reliability Network Model  Undirected graph G = (V, E) (V=vertices, E=edges)  Edge : operational or failed  P e = Pr [edge e is operational] = reliability of e Unnecessary to think about time (=availability)

4 Fault Model Situation of Network a c e b d v1v1 v2v2 v3v3 v4v4 p a =0.9 p b =0.8 p c =0.9 p d =0.9 p e =0.95 … P e = Pr [edge e is operational] = reliability of e

5 Network Reliability k-terminal reliability  Probability that there exist operating paths between every pair of nodes in K Two terminal reliability  Probability that there exist operating path between 2 nodes (|K| = 2) All terminal reliability  Probability that there exist operating paths between all nodes (K=V) K = set of nodes V = all nodes

6 Minpaths Pathset  A set of components (edges) whose operation implies (guarantees) system operation Minpath  A minimal Pathset  Ex . K={v 1,v 4 } v1v1 v4v4

7 Mincuts Cutset  A set of components (edges) whose failure implies (guarantees) system failure Mincut  A minimal Cutset  Ex . K={v 1,v 4 } v1v1 v4v4

8 Computation of Reliability Complexity for two-terminal reliability and all terminal reliability  NP-hard (#P-complete) Algorithms  Efficient Algorithms for Restricted Classes  Exponential time algorithm for general networks

9 Transformations and Reductions R(G) = (multiplicative factor) * R(G’)  G’ = contraction of G  R(G) = reliability of G  R(G’) = reliability of G’ Contraction  G, G’ = (contraction of G, Ge)  Multiplicative factor = p e  When e is mandatory (mandatory = an edge that appears in every minpath) e uv u (= v) G:G:G’:

10 Transformations and Reductions Parallel Reduction  G, G’  Multiplicative factor = 1 Series Reduction  G, G’  Multiplicative factor = 1 G:G:G’: p1p1 p2p2 p1 p2 p1p1 p2p2 1- (1- p1) (1- p2) G:G:G’:

11 Series-Parallel Graphs A graph that can be contracted to one edge by using Series and Parallel Replacement  Series Replacement  Parallel Replacement There exists that algorithm to calculate K- terminal reliability in polynomial time.

12 An Example Parallel Replacement Series Replacement

13 An Example p1p1 p2p2 p1p1 p2p2 1- (1- p1) (1- p2) p1 p2 papa pbpb pcpc pdpd pepe papa pcpc pepe pbpdpbpd papa pcpc papa 1-(1-p e )(1- p b p d ) p c (1-(1-p e ) (1- p b p d )) 1-(1-p a )(1-p c (1- (1-p e )(1- p b p d )))

14 Factoring A Naïve approach  Reliability calculation costs too much. … p a p b p c p d p e + (1-p a )p b p c p d p e + p a (1-p b )p c p d p e + … papa pbpb pcpc pdpd pepe

15 Factoring Concept  Select one edge (e)  R(G) = p e *R(Ge)+(1-p e )*R(G-e) Ge e G-e G Ge = graph obtained by contracting edge e in G G-e = graph obtained by deleting edge e in G When G − e is failed, any sequence of contractions and deletions results in a failed network Hence there is no need to factor G − e.

16 a c e b d v1v1 v2v2 v3v3 v4v4 Minpaths of the system that 3 connected nodes are operating normally Quiz

17 Review of Fault Tree

18 Fault Trees Failure 2-out-of-3 S1S2S3 TMR k-out-of-n 0: Normal, 1: Fails OR gate AND gate  i=k n ( ) F(t) i (1-F(t)) n-i n i F(t) = probability of the occurrence of failure event (function of F(t) is CDF) Pictorial representation of the combination of events that can cause the occurrence of an undesirable event (failure).  Staring point (of tree) is the definition of a single undesirable event (failure).  An event is reduced to a combination of low-level events by means of logic gates.

19 Fault Tree Model & Reliability Block Model 2 processors (P)3 memory module (M) Failure P1M2M3 or and M1 P2 Fault Tree Reliability block diagram Reliability Block Model  The structure that shows when the system is functioning. Fault Tree Model  The structure that shows when the system has failed  The output of the top event is a logic 1 0: Normal, 1: Fails

20 Example of Fault Tree Failure and or S1S2S3 1-(1-F 2 (t))*(1-F 3 (t)) 0: Normal, 1: Fails F 1 (t)*(1-(1-F 2 (t))*(1-F 3 (t)))

21 Fault Trees (Basic) 2 processors (P)3 memory module (M) Failure P1M2M3 or and M1P2 The system is operational if at least one processor and one memory module are operational. Fault Tree Reliability block diagram F(t) = ?? Fault Tree when there is no repeated component Failure distribution for the component is independent

22 Fault Trees (Advance) Fault Tree when there is repeated component Failure distribution for the component is not independent Suppose that instead of all three memory modules being shared between the two processors, one of the memory modules (M3) is shared and the other two are private, one for each processor. What it reliability block diagram ? Failure and or M1M3 and or M2M3 P1P2 We have to use factoring technique !

23 Factoring Failure and or M1M3 and or M2M3 P1P2 F(t) = F M3 (t)*F a (t) + (1-F M3 (t))*F b (t) Multiply the result for each case by the probability that case happens, then add the products. F(t)F(t) 0: Normal, 1: Fails Failure and or M1 P1 M2 P2 M3 has failed Fa(t)Fa(t) Failure and P1P2 M3 has not failed Fb(t)Fb(t)