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

动态故障树分析方法在软、硬件容错计算机系统中的应用
APPLICATION OF DYNAMIC FAULT TREE ANALYSIS TO SOFTWARE AND HARDWARE FAULT-TOLERANT CONTROL COMPUTER SYSTEMS

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

作 者： 程明华 姚一平 CHENG Ming-hua YAO Yi-ping 作者单位： 北京航空航天大学,自动控制系,北京,100083
刊 名： 航空学报 英文刊名： ACTA AERONAUTICA ET ASTRONAUTICA SINICA