[1] Mo Yuchang, Yang Quansheng,. Modular solution of dynamic multiple-phased systems [J]. Journal of Southeast University (English Edition), 2009, 25 (3): 316-319. [doi:10.3969/j.issn.1003-7985.2009.03.007]

Copy

Modular solution of dynamic multiple-phased systems()

Share：

Journal of Southeast University (English Edition)[ISSN:1003-7985/CN:32-1325/N]

Volumn:

25

Issue:

2009 3

Page:

316-319

Research Field:

Computer Science and Engineering

Publishing date:

2009-09-30

Info

Title:

Modular solution of dynamic multiple-phased systems

Author(s):

Mo Yuchang¹;  2;  Yang Quansheng¹

¹School of Computer Science and Engineering, Southeast University, Nanjing 211189, China
²College of Mathematics, Physics and Information Engineering, Zhejiang Normal University, Jinhua 321004, China

Keywords:

binary decision diagram(BDD);  dynamic fault tree;  Markov chain;  modular solution

PACS:

TP320

DOI:

10.3969/j.issn.1003-7985.2009.03.007

Abstract:

A new modular solution to the state explosion problem caused by the Markov-based modular solution of dynamic multiple-phased systems is proposed. First, the solution makes full use of the static parts of dynamic multiple-phased systems and constructs cross-phase dynamic modules by combining the dynamic modules of phase fault trees. Secondly, the system binary decision diagram(BDD)from a modularized multiple-phased system(MPS)is generated by using variable ordering and BDD operations. The computational formulations of the BDD node event probability are derived for various node links and the system reliability results are figured out. Finally, a hypothetical multiple-phased system is given to demonstrate the advantages of the dynamic modular solution when the Markov state space and the size of the system BDD are reduced.

References:

[1] Dugan J B, Bavuso S J, Boyd M A. Dynamic fault tree models for fault-tolerant computer system [J]. IEEE Transactions on Reliability, 1992, 41(3): 363-377.
[2] Sullivan K J, Dugan J B, Coppit D. Galileo fault tree analysis tool [C]//Proceedings of the 29th Annual International Symposium on Fault-Tolerant Computing. Madison, Wisconsin, USA, 1999: 232-235.
[3] Dutuit Y, Rauzy A. A linear time algorithm to find modules of fault trees [J]. IEEE Transactions on Reliability, 1996, 45(3): 422-425.
[4] Ou Y, Dugan J B. Modular solution of dynamic multi-phase systems [J]. IEEE Transactions on Reliability, 2004, 53(4): 499-508.
[5] Rauzy A.New algorithms for fault tree analysis [J].Reliability Engineering & System Safety, 1993, 40(3):203-211.
[6] Bryant E R.Graph-based algorithms for Boolean function manipulation [J].IEEE Transactions on Computers, 1986, 35(8):677-691.
[7] Zang X, Sun H, Trivedi K S.A BDD-based algorithm for reliability evaluation of phased mission systems [J].IEEE Transactions on Reliability, 1999, 48(1):50-60.
[8] Mo Yuchang.Variable ordering to improve BDD analysis of phased-mission systems with multimode failures [J].IEEE Transactions on Reliability, 2009, 58(1):53-57.

Memo

Memo:

Biography: Mo Yuchang(1980—), male, doctor, lecturer, myc@seu.edu.cn.
Foundation items: The National Natural Science Foundation of China(No.60903011), the Natural Science Foundation of Jiangsu Province(No.BK2009267).
Citation: Mo Yuchang, Yang Quansheng. Modular solution of dynamic multiple-phased systems[J]. Journal of Southeast University(English Edition), 2009, 25(3): 316-319.

Common functions