Reliability analysis of satellite system with cold-standby components using sequential binary decision diagrams

According to the necessity of reliability analysis of satellite system with cold-standby components, the probability of failure expression under cold-standby condition is developed to analyze the probability of failure for satellite system in this paper. Since traditional binary decision diagrams is only used to analyze static fault tree, the sequential binary decision diagrams is extended to analyze dynamic fault tree without Markov method in this paper. The main advantage of the proposed method is that its computational efficiency is higher than the Markov method. The effectiveness of the sequential binary decision diagrams for satellite system with cold-standby components is verified by using practical calculation example.