Applied Sciences · 2021 · 38 citations · 17 references
EngineeringComputer ScienceSystems EngineeringModel-based Systems EngineeringSystems ArchitectureSystems ModelingDependability AnalysisReliabilityReliability AssuranceReliability ModelingReliable System DesignSystem DiagramsAccuracyReliability Block DiagramsReliability EngineeringSystem ReliabilitySystem Reliability EngineeringSystem Reliability ModelingTime-dependent ReliabilityTime-dependent Reliability Analysis
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.
17
Graph-Based Algorithms for Boolean Function Manipulation
Bryant · IEEE Transactions on Computers · 1986 · 8.9K citations · Full text
Performance Analysis Using Stochastic Petri Nets
Molloy · IEEE Transactions on Computers · 1982 · 1.1K citations