综合故障树分析方法在容错计算机系统中的应用

该文运用二元决策图（Binary Decision Diagram）分析传统的静态故障树，运用Markov链分析新兴的动态故障树，由此形成一种创新性的故障诊断方法：综合故障树（Integrated Fault Tree）分析法。综合故障树分析法运用分而治之的策略处理各种故障，不仅加深了故障诊断、分析的精度，同时也拓展了故障树分析法的运用领域。该文结合实例，运用综合故障树分析法解决容错计算机系统中动态时序特性的建模困难问题；分析结果表明，在容错计算机系统中运用此方法，可以有效地对系统建模和分析系统可靠性。

Application of Integrated Fault Tree Analysis to Fault-tolerant Computer Systems

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.