New BDD-based algorithm for reliability analysis of phased-mission systems

作者：Zhang Tao; Guo Bo; Tan Yue Jin; Liu Fang

来源：Systems Engineering and Electronics, 2005, 27(3): 446-448.

• reliability analysis
• phased-mission system
• binary decision diagram

A new algorithm based on binary decision diagram (BDD) for reliability analysis of phased-mission systems is presented. This modeling approach is efficient and avoids the state space explosion and the mapping problems that are encountered by the Markov chain approach. A new efficient algorithm for generating BDD of phased-mission system is provided. Finally, an example is given and this algorithm is proved efficient.

• 出版日期2005
• 单位中国人民解放军国防科学技术大学