A Formally Verified Algebraic Approach for Dynamic Reliability Block Diagrams
A Formally Verified Algebraic Approach for Dynamic Reliability Block Diagrams
Yassmeen Elderhalli,O. Hasan,S. Tahar
2019 · DOI: 10.1007/978-3-030-32409-4_16
IEEE International Conference on Formal Engineering Methods · 4 Citations
TLDR
This paper proposes a new algebra to formally express the structure function and the reliability of a DRBD with spare constructs based on basic system blocks and newly introduced DRBD operators, and presents several simplification properties that allow reducing the structure of a given DRBD.