Reliability block diagrams based analysis: A survey
O. Hasan, W. Ahmed, S. Tahar, and M. Hamdi. Proceedings of the International Conference on Numerical Analysis and Applied Mathematics 2014 (ICNAAM-2014), AIP Publishing LLC, (2015)
DOI: 10.1063/1.4913184
Abstract
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.
%0 Conference Paper
%1 hasan2015reliability
%A Hasan, Osman
%A Ahmed, Waqar
%A Tahar, Sofiène
%A Hamdi, Mohamed Salah
%B Proceedings of the International Conference on Numerical Analysis and Applied Mathematics 2014 (ICNAAM-2014)
%D 2015
%I AIP Publishing LLC
%K 90-02-operations-research-mathematical-programming-research-exposition 90b25-reliability-availability-maintenance-inspection
%R 10.1063/1.4913184
%T Reliability block diagrams based analysis: A survey
%U https://pubs.aip.org/aip/acp/article-abstract/1648/1/850129/589991/Reliability-block-diagrams-based-analysis-A-survey
%X 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.
@inproceedings{hasan2015reliability,
abstract = {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.},
added-at = {2024-05-27T06:54:16.000+0200},
author = {Hasan, Osman and Ahmed, Waqar and Tahar, Sofiène and Hamdi, Mohamed Salah},
biburl = {https://www.bibsonomy.org/bibtex/295425e75bd675db40127fdad13a0fa19/gdmcbain},
booktitle = {Proceedings of the International Conference on Numerical Analysis and Applied Mathematics 2014 (ICNAAM-2014)},
doi = {10.1063/1.4913184},
eventdate = {22-28 September},
interhash = {2b2db3741ae26889a08448a766955f47},
intrahash = {95425e75bd675db40127fdad13a0fa19},
issn = {0094-243X},
keywords = {90-02-operations-research-mathematical-programming-research-exposition 90b25-reliability-availability-maintenance-inspection},
publisher = {AIP Publishing LLC},
series = {AIP Conference Proceedings},
timestamp = {2024-05-27T06:54:16.000+0200},
title = {Reliability block diagrams based analysis: A survey},
url = {https://pubs.aip.org/aip/acp/article-abstract/1648/1/850129/589991/Reliability-block-diagrams-based-analysis-A-survey},
venue = {Rhodes, Greece},
year = 2015
}