journal article·2025-10-24Open access

Efficient Reliability Block Diagram Evaluation Through Improved Algorithms and Parallel Computing

Gloria Gori, Marco Papini, Alessandro Fantechi

Applied Sciences· Volume 15· Issue 21

Abstract

Quantitative reliability evaluation is essential for optimizing control policies and maintenance strategies in complex industrial systems. While Reliability Block Diagrams (RBDs) are a natural formalism for modeling these hierarchical systems, modern applications require highly efficient, online reliability assessment on resource-constrained embedded hardware. This demand presents two fundamental challenges: developing algorithmically efficient RBD evaluation methods that can handle diverse custom distributions while preserving numerical accuracy, and ensuring platform-agnostic performance across diverse multicore architectures. This paper investigates these issues by developing a new version of the librbd open-source RBD library. This version includes advances in efficiency of evaluation algorithms, as well as restructured computation sequences, cache-aware data structures to minimize memory overhead, and an adaptive parallelization framework that scales automatically from embedded processors to high-performance systems. Comprehensive validation demonstrates that these advances significantly reduce computational complexity and improve performance over the original implementation, enabling real-time analysis of substantially larger systems.
Source: crossref · Quality: baseline

Research context

OpenAlex topics: Real-Time Systems Scheduling · Radiation Effects in Electronics · Formal Methods in Verification

SciVX discovery tags are terminology-based. OpenAlex topics are source-provided classifications.

Affiliations

Department of Information Engineering (DINFO), School of Engineering, University of Florence, Via di S. Marta, 3, 50139 Florence, Italy

References (60)

Show source-provided references
1. (2010). International Standard-Systems and Software Engineering—Vocabulary (Standard No. ISO/IEC/IEEE 24765:2010(E)).
2. (2017). Railway Applications—The Specification and Demonstration of Reliability, Availability, Maintainability and Safety (RAMS)-Part 1: Generic RAMS Process (Standard No. EN 50126-1). Technical Report.
3. Nonparametric Methods in Reliability10.1214/088342304000000521 ↗
4. An Efficient Binary-Decision-Diagram-Based Approach for Network Reliability and Sensitivity Analysis10.1109/TSMCA.2007.909493 ↗
5. A case study in multi-core parallelism for the reliability evaluation of composite power systems10.1007/s11227-017-2073-z ↗
6. Nelissen, G., Pereira, D., and Pinho, L.M. (2015, January 22–26). A Novel Run-Time Monitoring Architecture for Safe and Efficient Inline Monitoring. Proceedings of the 2015 International Conference on Reliable Software Technologies (Ada-Europe 2015), Madrid, Spain.10.1007/978-3-319-19584-1_5 ↗
7. Reliable DC Shipboard Power Systems—Design, Assessment, and Improvement10.1109/OJIES.2025.3532095 ↗
8. Pan, X., Chen, H., Shen, A., Zhao, D., and Su, X. (2024). Reliability Assessment Method for Complex Systems Based on Non-Homogeneous Markov Processes. Sensors, 24.10.3390/s24113446 ↗
9. Song, Y., and Wang, X. (2022). Reliability Analysis of the Multi-State k-out-of-n: F Systems with Multiple Operation Mechanisms. Mathematics, 10.10.3390/math10234615 ↗
10. Real-Time rejuvenation scheduling for cloud systems with virtualized software spares10.1016/j.jss.2024.112168 ↗
11. Reliability and Availability Evaluation for Cloud Data Center Networks Using Hierarchical Models10.1109/ACCESS.2019.2891282 ↗
12. Optimal periodic software rejuvenation policies based on interval reliability criteria10.1016/j.ress.2018.08.009 ↗
13. Fantechi, A., Gori, G., and Papini, M. (November, January 31). Software rejuvenation and runtime reliability monitoring. Proceedings of the 2022 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), Charlotte, NC, USA.10.1109/ISSREW55968.2022.00063 ↗
14. Carnevali, L., Fantechi, A., Gori, G., Vreshtazi, D., Borselli, A., Cefaloni, M.R., and Rota, L. (2025, January 25–30). Data-Driven Synthesis of Stochastic Fault Trees for Proactive Maintenance of Railway Vehicles. Proceedings of the 2025 30th International Conference on Formal Methods for Industrial Critical Systems (FMICS), Aarhus, Denmark.10.1007/978-3-032-00942-5_9 ↗
15. Carnevali, L., Ciani, L., Fantechi, A., Gori, G., and Papini, M. (2021). An Efficient Library for Reliability Block Diagram Evaluation. Appl. Sci., 11.10.3390/app11094026 ↗
16. Sahner, R.A., Trivedi, K.S., and Puliafito, A. (1996). Performance and Reliability Analysis of Computer Systems: An Example-Based Approach Using the SHARPE Software Package, Kluwer Academic Publishers.10.1109/TR.1997.664017 ↗
17. SHARPE Portal (2025, October 07). Duke University Pratt School of Engineering. Web Page. Available online: https://sharpe.pratt.duke.edu/.
18. Trivedi, K.S., and Bobbio, A. (2017). Reliability and Availability Engineering, Cambridge University Press.10.1017/9781316163047 ↗
19. Mahboob, Q., and Zio, E. (2018). Handbook of RAMS in Railway Systems: Theory and Practice, CRC Press.10.1201/b21983 ↗
20. The analysis of redundancy networks
21. (2016). Reliability Block Diagrams (Standard No. IEC 61078). Technical Report.
22. Hixenbaugh, A.F. (1968). Fault Tree for Safety, Boeing Aerospace Company. Technical Report.
23. (2006). Fault Tree Analysis (FTA) (Standard No. IEC 61025). Technical Report.
24. Bagchi, K., and Walrand, J. (1998). Network reliability evaluation. State-of-the-Art in Performance Modeling and Simulation, Gordon & Breach Books.
25. Graph-Based Algorithms for Boolean Function Manipulation10.1109/TC.1986.1676819 ↗
26. Ericson, C.A. (1999, January 16–21). Fault Tree Analysis—A History. Proceedings of the 17th International System Safety Conference, Orlando, FL, USA.
27. Stewart, W. (1994). Introduction to the Numerical Solution of Markov Chains, Princeton University Press.10.1515/9780691223384 ↗
28. (2006). Application of Markov Techniques (Standard No. IEC 61165). Technical Report.
29. Performance Analysis Using Stochastic Petri Nets10.1109/TC.1982.1676110 ↗
30. A class of generalized stochastic petri nets for the performance evaluation of multiprocessor systems10.1145/190.191 ↗
31. Using stochastic state classes in quantitative evaluation of dense-time reactive systems10.1109/TSE.2009.36 ↗
32. (2012). Analysis Techniques for Dependability—Petri Net Techniques (Standard No. IEC 62551). Technical Report.
33. Meyer, C.D., and Plemmons, R.J. (1993). Automated Generation and Analysis of Markov Reward Models Using Stochastic Reward Nets. Linear Algebra, Markov Chains, and Queueing Models, Springer.10.1007/978-1-4613-8351-2 ↗
34. A decomposition approach for stochastic reward net models10.1016/0166-5316(93)90026-Q ↗
35. Meyer, J., Movaghar, A., and Sanders, W. (1985, January 1–3). Stochastic Activity Networks: Structure, Behavior, and Application. Proceedings of the International Workshop on Timed Petri Nets, Torino, Italy.
36. Hermanns, H., and Katoen, J.-P. (2000). Stochastic Activity Networks: Formal Definitions and Concepts. Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, 3–7 July 2000, Springer.
37. Distefano, S., and Puliafito, A. (2007, January 25–27). Dynamic reliability block diagrams: Overview of a methodology. Proceedings of the European Safety and Reliability Conference 2007, ESREL 2007-Risk, Reliability and Societal Safety, Stavanger, Norway.10.1109/RAMS.2007.328095 ↗
38. Dependability Evaluation with Dynamic Reliability Block Diagrams and Dynamic Fault Trees10.1109/TDSC.2007.70242 ↗
39. Dynamic fault-tree models for fault-tolerant computer systems10.1109/24.159800 ↗
40. The Conversion of Dynamic Fault Trees to Stochastic Petri Nets, as a case of Graph Transformation10.1016/j.entcs.2005.02.005 ↗
41. Larsen, K.G., and Willemse, T. (2019). A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas. Formal Methods for Industrial Critical Systems, Springer International Publishing.
42. A Hierarchical Modeling and Analysis for Grid Service Reliability10.1109/TC.2007.1034 ↗
43. Kim, D.S., Ghosh, R., and Trivedi, K.S. (2010, January 13–15). A Hierarchical Model for Reliability Analysis of Sensor Networks. Proceedings of the 2010 IEEE 16th Pacific Rim International Symposium on Dependable Computing (PRDC), Tokyo, Japan.10.1109/PRDC.2010.25 ↗
44. Fantechi, A., Gori, G., and Papini, M. (2022, January 23–25). Runtime Reliability Monitoring for Complex Fault-Tolerance Policies. Proceedings of the 2022 IEEE 6th International Conference on System Reliability and Safety (ICSRS), Venice, Italy.10.1109/ICSRS56243.2022.10067561 ↗
45. Siewiorek, D.P., and Swarz, R.S. (1998). Reliable Computer Systems: Design and Evaluation, A. K. Peters, Ltd.. [3rd ed.].10.1201/9781439863961 ↗
46. (2025, October 07). Isograph Reliability Workbench. Web Page. Available online: https://www.isograph.com/software/reliability-workbench/rbd-analysis/.
47. (2025, October 07). Relyence RBD. Web Page. Available online: https://www.relyence.com/products/rbd/.
48. (2025, October 07). ALD RAM Commander—RBD Module. Web Page. Available online: https://aldservice.com/Reliability-Products/reliability-block-diagram-rbd.html.
49. Janardhanan, S., Badnava, S., Agarwal, R., and Mas-Machuca, C. (2024, January 9–12). PyRBD: An Open-Source Reliability Block Diagram Evaluation Tool. Proceedings of the 2024 IEEE 38th International Workshop on Communications Quality and Reliability (CQR), Seattle, WA, USA.10.1109/CQR62340.2024.10705890 ↗
50. (2025, October 07). PyRBD GitHub Repository. Web Page. Available online: https://github.com/shakthij98/PyRBD.
51. Janardhanan, S., Chen, Y., and Mas-Machuca, C. (2025, January 9–11). PyRBD++: An Open-Source Fast Reliability Block Diagram Evaluation Tool. Proceedings of the 2025 IEEE 15th International Workshop on Resilient Networks Design and Modeling (RNDM), Trondheim, Norway.10.1109/RNDM66856.2025.11073792 ↗
52. (2025, October 07). PyRBD++ GitHub Repository. Web Page. Available online: https://github.com/shakthij98/PyRBD_plusplus.
53. (2025, October 07). librbd GitHub Repository. Web Page. Available online: https://github.com/marcopapini/librbd.
54. Fourment, M., and Gillings, M. (2008). A comparison of common programming languages used in bioinformatics. BMC Bioinform., 9.10.1186/1471-2105-9-82 ↗
55. (2019). IEEE Standard for Floating-Point Arithmetic (Standard No. IEEE Std-754-2019 (Revision IEEE-754-2008)).
56. (2018). IEEE Standard for Information Technology–Portable Operating System Interface (POSIX™) Base Specifications, Issue 7 (Standard No. IEEE Std 1003.1-2017 (Revision of IEEE Std 1003.1-2008)).
57. (2025, October 07). pthreads-win32—Open Source POSIX Threads for Win32. Web Page. Available online: http://sourceware.org/pthreads-win32/.
58. (2025, October 07). Cygwin. Web Page. Available online: https://www.cygwin.com/.
59. (2016). Telcordia SR-332 Reliability Prediction Procedure for Electronic Equipment, Telcordia Network Infrastructure Solutions (NIS). Technical Report Issue 4.
60. Root-mean-square error (RMSE) or mean absolute error (MAE): When to use them or not10.5194/gmd-15-5481-2022 ↗