A new GO methodology algorithm based on BDD

To solve the problems on quick achieving reliability and the minimal path sets (MPS) of a system with GO Methodology, a Binary Decision Diagram (BDD) based new GO methodology algorithm is introduced. This technique can avoid the shared signals and combination explosion problems simultaneously. Detailed steps with a case study are presented to explain the analysis procedure of this technique, firstly, establish the GO model and transform it into a directed acyclic diagram (DAG), logic tree and BDD successively; then minimize the BDD according to the Without Rule; at last, this system reliability and MPS can be achieved. The results of the studied case verify the validity and effectiveness of this algorithm.