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

Author

Hang Zhou ; Luping Gan ; Debiao Meng ; Yan-Feng Li ; Hong-Zhong Huang

Author_Institution

Sch. of Mech., Electron., & Ind. Eng., Univ. of Electron. Sci. & Technol. of China, Chengdu, China

fYear

2013

fDate

15-18 July 2013

Firstpage

122

Lastpage

124

Abstract

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.

Keywords

artificial satellites; binary decision diagrams; fault trees; probability; cold-standby components; dynamic fault tree analysis; failure expression probability; satellite system reliability analysis; sequential binary decision diagrams; Boolean functions; Computational modeling; Data structures; Discrete Fourier transforms; Program processors; Reliability; Satellites; cold-standby components; dynamic fault tree analysis; reliability analysis; satellite system; sequential binary decision diagrams;

fLanguage

English

Publisher

ieee

Conference_Titel

Quality, Reliability, Risk, Maintenance, and Safety Engineering (QR2MSE), 2013 International Conference on

Conference_Location

Chengdu

Print_ISBN

978-1-4799-1014-4

Type

conf

DOI

10.1109/QR2MSE.2013.6625549

Filename

6625549