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

Author

Zang, Xinyu ; Sun, Hairong ; Trivedi, Kishor S.

Author_Institution

Duke Univ., Durham, NC, USA

Volume

48

Issue

1

fYear

1999

fDate

3/1/1999 12:00:00 AM

Firstpage

50

Lastpage

60

Abstract

This paper presents a new algorithm (PMS-BDD) based on the binary decision diagram (BDD) for reliability analysis of phased-mission systems (PMS). PMS-BDD uses phase algebra to deal with the dependence across the phases, and a new BDD operation to incorporate the phase algebra. Due to the nature of the BDD, cancellation 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 final BDD. Several examples and experiments show that PMS-BDD is more efficient than the algorithm based on SDP, in both computation time and storage space; this efficiency allows the study of some practical, large phased-mission systems

Keywords

failure analysis; reliability theory; binary decision diagram algorithm; computation time; phase algebra; phased-mission systems; reliability analysis; storage space; sum of disjoint products; Aircraft; Algebra; Algorithm design and analysis; Binary decision diagrams; Boolean functions; Data structures; Fault trees; Lapping; Sun; Transient analysis;

fLanguage

English

Journal_Title

Reliability, IEEE Transactions on

Publisher

ieee

ISSN

0018-9529

Type

jour

DOI

10.1109/24.765927

Filename

765927