关键词: 动态故障树分析法(DFTA), 软、硬件容错计算机系统, Markov状态转移链, 可靠性, 逻辑门

Abstract:

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.

Key words: dynamic fault tree analysis (DFTA), software/hardware fault tolerance, Markov state transition chain, reliability, logic gate