摘要
该文运用二元决策图(B inary D ecision D iagram)分析传统的静态故障树,运用Markov链分析新兴的动态故障树,由此形成一种创新性的故障诊断方法:综合故障树(Integrated Fau lt Tree)分析法。综合故障树分析法运用分而治之的策略处理各种故障,不仅加深了故障诊断、分析的精度,同时也拓展了故障树分析法的运用领域。该文结合实例,运用综合故障树分析法解决容错计算机系统中动态时序特性的建模困难问题;分析结果表明,在容错计算机系统中运用此方法,可以有效地对系统建模和分析系统可靠性。
The article analyzes the traditional static fault tree with Binary Decision Diagram and analyzes dynamic fault tree with Markov Chain, and thus forms a creative Integrated Fault Tree by combining these two kinds of fault trees. Integrated Fault Tree Analysis utilizes the way of divide - and - conquer to handle all kinds of faults. So it can not only improve the accuracy of fault diagnosis, but extend the utilities of fault tree analysis. An example shows that the method of Integrated Fault Tree Analysis can help to solve the problem that the dynamic behavior and sequence process are hard to describe in fault - tolerance computer systems. And the result also indicates that this method can efficiently analyze the system＇s reliability.
出处
《计算机仿真》
CSCD
2006年第4期63-67,共5页
Computer Simulation
基金
中国科学院高水平大学建设项目(KY2706)
关键词
静态故障树
动态故障树
综合故障树
二元决策图
马尔可夫链
可靠性
Static fault tree
Dynamic fault tree
Integrated fault tree
Binary decision diagram
Markov chain
Reliability
