Mission Reliability Analysis of TT&C System Using BDD Algorithm
This paper proposes a hierarchical modeling approach and Binary decision diagram (BDD) algorithm for the mission reliability analysis of space tracking, telemetry and command (TT&C) system. The models at the lower level describe the system structure and mission information. At the upper level, components and missions are associated together. After cutting component arcs into phases, mission logic structure represented by fault tree is established. We adopt phase algebra to deal with the dependence across phases. With If-Then-Else (ITE) algorithm, fault trees of phases are transformed into BDDs. A BDD algorithm is proposed to evaluate the mission reliability. An example is presented to illustrate the application and effectiveness of our approach, and sensitivity of components to mission reliability is analyzed.
TT&C Mission reliability Binary decision diagram (BDD) Modeling
LI MENG GANG WANG XIAOYUE WU
College of Information Systems and Management, National University of Defense Technology, Changsha, 410073, P.R. China
国际会议
北京
英文
682-686
2011-06-20（万方平台首次上网日期，不代表论文的发表时间）