动态故障树分析方法在软、硬件容错计算机系统中的应用

APPLICATION OF DYNAMIC FAULT TREE ANALYSIS TO SOFTWARE AND HARDWARE FAULT TOLERANT CONTROL COMPUTER SYSTEMS

结合几个动态逻辑门及其向Markov状态转移链的转化,介绍了一种新的动态故障树建模分析方法,用来解决不可修系统中对动态时序特性的建模困难问题。并给出了一个具体的例子,应用这种方法对其进行分析。分析结果表明,软、硬件容错技术在计算机系统中的应用,可以显著提高系统的可靠性。

This paper introduces a new Dynamic Fault Tree Analysis(DFTA) modeling technique, combining the dynamic fault tree containing dynamic logic gate(s) with Markov chain, to solve the problem that the dynamic behavior and sequence process are hard to describe in irreparable systems. An example is also given to demonstrate the modeling of the method and to analyze the system. The result shows that the application of software and hardware redundancy to the computer based system can greatly improve the system reliability.