An Efficient Library for Reliability Block Diagram Evaluation
Source abstract
Abstract
Reliability Block Diagrams (RBDs) are widely used in reliability engineering to model how the system reliability depends on the reliability of components or subsystems. In this paper, we present librbd, a C library providing a generic, efficient and open-source solution for time-dependent reliability evaluation of RBDs. The library has been developed as a part of a project for reliability evaluation of complex systems through a layered approach, combining different modeling formalisms and solution techniques at different system levels. The library achieves accuracy and efficiency comparable to, and mostly better than, those of other well-established tools, and it is well designed so that it can be easily used by other libraries and tools.
Source: crossref · Quality: baseline
Research context
OpenAlex topics: Software Reliability and Analysis Research · Reliability and Maintenance Optimization · 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 (51)
Show source-provided references
1. ISO/IEC/IEEE (2010). International Standard-Systems and Software Engineering—Vocabulary, IEEE. ISO/IEC/IEEE 24765:2010(E).
2. CENELEC (2017). EN 50126-1: Railway Applications–The Specification and Demonstration of Reliability, Availability, Maintainability and Safety (RAMS)-Part 1: Generic RAMS Process, CENELEC. Technical Report.
3. Trivedi, K.S., and Bobbio, A. (2017). Reliability and Availability Engineering, Cambridge University Press.10.1017/9781316163047 ↗
4. Mahboob, Q., and Zio, E. (2018). Handbook of RAMS in Railway Systems: Theory and Practice, CRC Press.10.1201/b21983 ↗
5. The analysis of redundancy networks
6. IEC (2016). IEC 61078: Reliability Block Diagrams, IEC. Technical Report.
7. Hixenbaugh, A.F. (1968). Fault Tree for Safety, Boeing Aerospace Company. Technical Report.
8. IEC (2006). IEC 61025: Fault Tree Analysis (FTA), IEC. Technical Report.
9. Rubino, G. (1998). Network reliability evaluation. State-of-the-Art in Performance Modeling and Simulation, Gordon & Breach Books.
10. Graph-Based Algorithms for Boolean Function Manipulation10.1109/TC.1986.1676819 ↗
11. Ericson, C. (1999, January 16–21). Fault Tree Analysis-A History. Proceedings of the 17th International System Safety Conference, Orlando, FL, USA.
12. Stewart, W. (1994). Introduction to the Numerical Solution of Markov Chains, Princeton University Press.10.1515/9780691223384 ↗
13. IEC (2006). IEC 61165: Application of Markov Techniques, IEC. Technical Report.
14. Performance Analysis Using Stochastic Petri Nets10.1109/TC.1982.1676110 ↗
15. A class of generalized stochastic petri nets for the performance evaluation of multiprocessor systems10.1145/190.191 ↗
16. Using stochastic state classes in quantitative evaluation of dense-time reactive systems10.1109/TSE.2009.36 ↗
17. IEC (2012). IEC 62551: Analysis Techniques for Dependability—Petri Net Techniques, IEC. Technical Report.
18. 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-Verlag.10.1007/978-1-4613-8351-2 ↗
19. A decomposition approach for stochastic reward net models10.1016/0166-5316(93)90026-Q ↗
20. 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.
21. Hermanns, H., Katoen, J.-P., and Brinksma, E. (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.
22. Power-hierarchy of dependability-model types10.1109/24.326452 ↗
23. 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 ↗
24. Dependability Evaluation with Dynamic Reliability Block Diagrams and Dynamic Fault Trees10.1109/TDSC.2007.70242 ↗
25. Dynamic fault-tree models for fault-tolerant computer systems10.1109/24.159800 ↗
26. The Conversion of Dynamic Fault Trees to Stochastic Petri Nets, as a case of Graph Transformation10.1016/j.entcs.2005.02.005 ↗
27. 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.10.1007/978-3-030-27008-7 ↗
28. Carnevali, L., Ciani, L., Fantechi, A., and Papini, M. (2019, January 9–12). A novel layered approach to evaluate reliability of complex systems. Proceedings of the 2019 IEEE 5th International forum on Research and Technology for Society and Industry (RTSI), Florence, Italy.10.1109/RTSI.2019.8895568 ↗
29. Papini, M. (2021). Reliability Evaluation of an Industrial System Through Predictive Diagnostics. [Ph.D. Thesis, Universitá degli Studi di Firenze].
30. Software Reliability10.1016/S0065-2458(08)60299-5 ↗
31. Lyu, M. (1996). Handbook of Software Reliability Engineering, McGraw-Hill, Inc.
32. Paszkiel, S. (2021). Influence of Program Architecture on Software Quality Attributes. Control, Computer Engineering and Neuroscience, Springer International Publishing.10.1007/978-3-030-72254-8 ↗
33. Predicting software reliability10.1109/2.544240 ↗
34. Pham, H. (2006). System Software Reliability (Springer Series in Reliability Engineering), Springer-Verlag.10.1007/1-84628-295-0 ↗
35. Ballerini, S., Carnevali, L., Paolieri, M., Tadano, K., and Machida, F. (2013, January 4–7). Software rejuvenation impacts on a phased-mission system for Mars exploration. Proceedings of the 2013 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), Pasadena, CA, USA.10.1109/ISSREW.2013.6688906 ↗
36. Paolieri, M., Biagi, M., Carnevali, L., and Vicario, E. (2019). The ORIS Tool: Quantitative Evaluation of Non-Markovian Systems. IEEE Trans. Softw. Eng., in press.
37. RBDTool (2019, November 13). Web Page. Available online: http://pages.mtu.edu/~pjbonamy/rbdtool.html.
38. Edraw Block Diagram (2021, April 23). Web Page. Available online: https://www.edrawsoft.com/reliability-block-diagram-software.php.
39. Reliability Workbench (2021, April 23). Web Page. Available online: https://www.isograph.com/software/reliability-workbench/rbd-analysis/.
40. Relyence RBD (2021, April 23). Web Page. Available online: https://www.relyence.com/products/rbd/.
41. 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 ↗
42. SHARPE (2021, April 23). Web Page. Available online: https://sharpe.pratt.duke.edu/.
43. librbd (2021, April 23). Web Page. Available online: https://github.com/marcopapini/librbd.
44. Siewiorek, D.P., and Swarz, R.S. (1998). Reliable Computer Systems: Design and Evaluation, A. K. Peters, Ltd.. [3rd ed.].10.1201/9781439863961 ↗
45. RBD Model-Based Approach for Reliability Assessment in Complex Systems10.1109/JSYST.2018.2840220 ↗
46. Fourment, M., and Gillings, M. (2008). A comparison of common programming languages used in bioinformatics. BMC Bioinform., 9.10.1186/1471-2105-9-82 ↗
47. IEEE (2019). IEEE. IEEE Standard for Floating-Point Arithmetic. IEEE Std-754-2019 (Revision IEEE-754-2008), IEEE.
48. IEEE (2018). IEEE. IEEE Standard for Information Technology–Portable Operating System Interface (POSIX™) Base Specifications, Issue 7. IEEE Std 1003.1-2017 (Revision of IEEE Std 1003.1-2008), IEEE.
49. pthreads-win32 (2021, April 23). Web Page. Available online: http://sourceware.org/pthreads-win32/.
50. Cygwin (2021, April 23). Web Page. Available online: https://www.cygwin.com/.
51. Telcordia SR-332 (2016). Reliability Prediction Procedure for Electronic Equipment, Telcordia Network Infrastructure Solutions (NIS). Technical Report Issue 4.