A BDD-Based Algorithm for Reliability Evaluation of Phased Mission System
A BDD-Based Algorithm for Reliability Evaluation of Phased Mission System
复制标题
DOI：
--
复制
发表时间：
1999
期刊：
影响因子：
--
通讯作者：
X. Zang;Hairong Sun;Kishor S. Trivedi
中科院分区：
文献类型：
--
作者：
X. Zang;Hairong Sun;Kishor S. Trivedi
In this paper, a new algorithm based on Binary Decision Diagram (BDD) for reliability evaluation of Phased Mission System (PMS) is proposed. This algorithm uses phase algebra to deal with the dependence among the phases, and a new BDD operation is proposed to incorporate the phase algebra. Due to the nature of BDD, cancelation of common components among the phases can be combined with the BDD generation without additional operations, and the sum of disjoint products (SDP) can be implicitly represented by the nal BDD, so that it can avoid huge storage for large number of SDPs. Several examples and experiments show the eeciency of this algorithm. This paper also presents the expression for the transient behavior of PMS when the failure function of components are general rather than exponential.
