Algorithms for Computation of Topological Measures Based on Binary Decision Diagrams

Reliability analysis is an important part of investigating a system and its components. In reliability analysis, it is necessary to select an appropriate representation for the system and a description of its operation. One representation is a binary-state system. A structure function can be used in describing the operation of the system. One part of reliability analysis is topological analysis. Several metrics are used in topological analysis; one of them is the system state frequency. For its calculation, it is necessary to choose a suitable representation of the structure function, especially if its computation is done on a computer. The binary decision diagram is one such representation. There are currently two algorithms for computing this metric, but they have certain limitations. Therefore, a new algorithm is presented in this paper that addresses the limitations of these previous algorithms. This new algorithm is also tested with experimental validation.