%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 }