Reliability Block Diagrams based Analysis: A Survey

被引：11

作者：

Hasan, Osman ^{[1
]}

Ahmed, Waqar ^{[1
]}

Tahar, Sofiene ^{[2
]}

Hamdi, Mohamed Salah ^{[3
]}

机构：

[1] NUST, Sch Elect Engn & Comp Sci, Islamabad, Pakistan

[2] Concordia Univ, Dept Elect & Comp Engn, Montreal, PQ H3G 1M8, Canada

[3] Ahmed Bin Mohammed Mil Coll, Dept Informat Syst, Doha, Qatar

来源：

PROCEEDINGS OF THE INTERNATIONAL CONFERENCE OF NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2014 (ICNAAM-2014) | 2015年 / 1648卷

关键词：

Reliability Block Diagrams; Computer Simulations; Formal Methods; Theorem Proving; Computer Algebra Systems;

D O I：

10.1063/1.4913184

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

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.

引用

页数：4

共 21 条

[1] An approach for lifetime reliability analysis using theorem proving
Abbasi, Naeem
Hasan, Osman
Tahar, Sofiene
[J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2014, 80 (02) : 323 - 345
[2] Abd-Allah A., 1997, Technical Report: USC-CSE-97-501
[3] Ahmed W, 2014, LECT NOTES ARTIF INT, V8543, P30, DOI 10.1007/978-3-319-08434-3_4
[4] [Anonymous], 2009, FORMAL METHODS STATE
[5] [Anonymous], THESIS U CAMBRIDGE U
[6] [Anonymous], 1992, RELIABILITY EVALUATI
[7] Boyd H. D., 1986, P 1 INT S FIRE SAF S, P963
[8] Brown C.E., 2007, Automated Reasoning in Higher-order Logic: Set Comprehension and Extensionality in Church's Type Theory
[9] Cheng-Min Lin, 2010, 2010 8th IEEE International Conference on Industrial Informatics (INDIN 2010), P975, DOI 10.1109/INDIN.2010.5549610
[10] Denman W, 2014, LECT NOTES COMPUT SC, V8442, P194, DOI 10.1007/978-3-319-06410-9_14

← 1 2 3 →