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.
Topics
Computer simulation
REFERENCES
1.
N.
Abbasi
, O.
Hasan
, and S.
Tahar
. An Approach for Lifetime Reliability Analysis using Theorem Proving
. Journal of Computer and System Sciences
, 80
(2
):323
–345
, 2014
.2.
A.
Abd-Allah
. Extending Reliability Block Diagrams to Software Architectures
. Technical Report USC-CSE-97-501, Dept. of Computer Science, Univ
. Southern California, USA
, 1997
.3.
W.
Ahmad
, O.
Hasan
, S.
Tahar
, and M.S.
Hamdi
. Towards the Formal Reliability Analysis of Oil and Gas Pipelines
. In Conferences on Intelligent Computer Mathematics, volume 8543 of LNAI
, pages 30
–44
. Springer
, 2014
.4.
5.
R.
Bilintion
and R.N.
Allan
. Reliability Evaluation of Engineering System
. Springer
, 1992
.6.
P.P.
Boca
, J.P.
Bowen
, and J.I.
Siddiqi
. Formal Methods: State of the Art and New Directions
. Springer
, 2009
.7.
H.D.
Boyd
and Locurto
. Reliability And Maintainability For Fire Protection Systems
. In Fire Safety Science
, pages 963
–970
. IAFSS
, 1986
.8.
9.
W.
Denman
and C.
MuÃśoz
. Automated Real Proving in PVS via MetiTarski. In Formal Methods, volume 8442 of LNCS
, pages 194
–199
. Springer
, 2014
.10.
O.
Hasan
and S.
Tahar
. Formalization of the Continuous Probability Distributions. In Automated Deduction, volume 4603 of LNAI
, pages 3
–18
. Springer
, 2007
.11.
O.
Hasan
, S.
Tahar
, and N.
Abbasi
. Formal Reliability Analysis using Theorem Proving
. IEEE Transactions on Computers
, 59
(5
):579
–592
, 2010
.12.
J.
Holzl
and A.
Heller
. Three Chapters of Measure Theory in Isabelle/HOL. In Interactive Theorem Proving, volume 6172 of LNCS
, pages 135
–151
. Springer
, 2011
.13.
D.
Huffman
and F.
Antelme
. Availability Analysis of a Solar Power System with Graceful Degradation. In Reliability and Maintainability Symposium
, pages 348
–352
. IEEE
, 2009
.14.
J.
Hurd
. Formal Verification of Probabilistic Algorithms
. PhD Thesis, University of Cambridge
, UK
, 2002
.15.
K.
Kolowrocki
. Reliability and Risk Analysis Of Multi-State Systems With Degrading Components
. Electronic Journal of International Group On Reliability
, 2
(1
):86
–104
, 2009
.16.
C.
Lin
, H.
Teng
, C.
Yang
, H.
Weng
, M.
Chung
, and C.
Chung
. A Mesh Network Reliability Analysis using Reliability Block Diagram. In Industrial Informatics (INDIN)
, pages 975
–979
. IEEE
, 2010
.17.
T.
Mhamdi
, O.
Hasan
, and S.
Tahar
. On the Formalization of the Lebesgue Integration Theory in HOL. In Interactive Theorem Proving, volume 6172 of LNCS
, pages 387
–402
. Springer
, 2011
.18.
19.
R.
Robidoux
, H.
Xu
, L.
Xing
, and M.
Zhou
. Automated Modeling of Dynamic Reliability Block Diagrams Using Colored Petri Nets
. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans
, 40
(2
):337
–351
, 2010
.20.
B.
Silva
, P.
Maciel
, E.
Tavares
, and A.
Zimmermann
. Dependability Models for Designing Disaster Tolerant Cloud Computing Systems. In IEEE/IFIP International Conference on Dependable Systems and Networks
, pages 1
–6
. IEEE
, 2013
.21.
J.
Soszynska
. Reliability and Risk Evaluation of a Port Oil Pipeline Transportation System in Variable Operation conditions
. International Journal of Pressure Vessels and Piping
, 87
(2–3
):81
–87
, 2010
.22.
B.
Wei
, C.
Lin
, and X.
Kong
. Dependability Modeling and Analysis for the Virtual Data Center of Cloud Computing. In High Performance Computing and Communications (HPCC)
, pages 784
–789
. IEEE
, 2011
.23.
Z.
Zhang
and B.
Shao
. Reliability Evaluation of Different Pipe Section in Different Period. In Service Operations and Logistics, and Informatics
, pages 1779
–1782
. IEEE
, 2008
.
This content is only available via PDF.
© 2015 AIP Publishing LLC.
2015
AIP Publishing LLC
You do not currently have access to this content.
