摘要
结合几个动态逻辑门及其向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.
出处
《航空学报》
EI
CAS
CSCD
北大核心
2000年第1期34-37,共4页
Acta Aeronautica et Astronautica Sinica
基金
国防科技预研基金
关键词
动态故障树
DFTA
容错技术
软件
硬件
逻辑门
dynamic fault tree analysis (DFTA)
software/hardware fault tolerance
Markov state transition chain
reliability
logic gate