Reliability block diagrams based analysis: A survey

Reliability Block Diagrams (RBDs) allow us to model the failure relationships of complex systems and their sub-components and are extensively used for system reliability, availability, dependability and maintainability analyses of many engineering systems. Traditionally, Reliability Block Diagrams (RBD) are analyzed using paper-and-pencil proofs or computer simulations. Recently, formal techniques, including Petri Nets and higher-order-logic theorem proving, have been used for their analysis as well. In this paper, we provide a concise survey of these available RBD analysis techniques and compare them based on their accuracy, user friendliness and computational requirements.

[1]  Duane L. Huffman,et al.  Availability analysis of a solar power system with graceful degradation , 2009, 2009 Annual Reliability and Maintainability Symposium.

[2]  Sofiène Tahar,et al.  On the Formalization of the Lebesgue Integration Theory in HOL , 2010, ITP.

[3]  Sofiène Tahar,et al.  Towards the Formal Reliability Analysis of Oil and Gas Pipelines , 2014, CICM.

[4]  Joe Hurd,et al.  Formal verification of probabilistic algorithms , 2003 .

[5]  Krzysztof Kolowrocki.  Reliability and risk analysis of multi-state systems with degrading coponents , 2009 .

[6]  Sofiène Tahar,et al.  Formal Reliability Analysis Using Theorem Proving , 2010, IEEE Transactions on Computers.

[7]  Cheng-Min Lin,et al.  A mesh network reliability analysis using reliability block diagram , 2010, 2010 8th IEEE International Conference on Industrial Informatics.

[8]  Geoff Sutcliffe,et al.  Automated Reasoning in Higher-Order Logic using the TPTP THF Infrastructure , 2010, J. Formaliz. Reason..

[9]  Joanna Soszynska.  Reliability and risk evaluation of a port oil pipeline transportation system in variable operation conditions , 2010 .

[10]  Sofiène Tahar,et al.  Formalization of Continuous Probability Distributions , 2007, CADE.

[11]  Paulo Romero Martins Maciel,et al.  Dependability models for designing disaster tolerant cloud computing systems , 2013, 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).

[12]  Johannes Hölzl,et al.  Three Chapters of Measure Theory in Isabelle/HOL , 2011, ITP.

[13]  Sofiène Tahar,et al.  An approach for lifetime reliability analysis using theorem proving , 2014, J. Comput. Syst. Sci..

[14]  Roy Billinton,et al.  Reliability Evaluation of Engineering Systems , 1983 .

[15]  Jonathan P. Bowen,et al.  Formal Methods: State of the Art and New Directions , 2009 .

[16]  Ahmed Abd-Allah,et al.  Extending Reliability Block Diagrams to Software Architectures , 2009 .

[17]  Chuang Lin,et al.  Dependability Modeling and Analysis for the Virtual Data Center of Cloud Computing , 2011, 2011 IEEE International Conference on High Performance Computing and Communications.

[18]  César A. Muñoz,et al.  Automated Real Proving in PVS via MetiTarski , 2014, FM.

[19]  H. D. Boyd,et al.  Reliability And Maintainability For Fire Protection Systems , 1986 .

[20]  Bilin Shao,et al.  Reliability evaluation of different pipe section in different period , 2008, 2008 IEEE International Conference on Service Operations and Logistics, and Informatics.

[21]  MengChu Zhou,et al.  Automated Modeling of Dynamic Reliability Block Diagrams Using Colored Petri Nets , 2010, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.