|Table of Contents|

[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 Yuchang1;  2;  Yang Quansheng1
1School of Computer Science and Engineering, Southeast University, Nanjing 211189, China
2College of Mathematics, Physics and Information Engineering, Zhejiang Normal University, Jinhua 321004, China
莫毓昌1;  2;  杨全胜1
1东南大学计算机科学与工程学院, 南京211189; 2浙江师范大学数理信息学院, 金华321004
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.
针对Markov方法在动态多阶段系统模块化分析中的状态爆炸问题, 给出了一种新的动态模块化方法.该方法首先从充分利用动态多阶段系统所包含的静态特性的角度出发, 利用集合并操作将阶段故障树的动态模块构造成跨阶段的动态模块.然后, 利用变量排序和BDD操作生成模块化MPS对应的系统BDD.针对系统BDD中各种节点连结关系, 推导出BDD节点事件概率计算公式, 从而计算出动态多阶段系统的可靠度.最后, 通过实例说明了动态模块化方法在Markov状态空间和系统BDD尺度均减少时的优越性.

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.
Last Update: 2009-09-20