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

摘要：

关键应用中的容错计算机系统，为了获得高的可靠性，经常采用动态余度管理、储备及复杂的故障/错误恢复技术，使计算机系统呈现出很强的动态性和实时性，而这些特性是用一般的故障树分析方法所不能描述的。该文介绍了一种新的动态故障树建模分析方法，用来解决这些困难，并给出了一个具体的例子，以说明这种方法的应用。

关键词： 动态故障树分析客错计算机系统 Markov状态转移链

作者: 程明华 姚一平

作者单位: 航空航天大学自动控制系

会议类型: 国内会议

会议名称: 中国航空学会控制与应用第八届学术年会

会议地点: 昆明

会议语种:中文

页码: 63～68

在线出版日期: 1998-08-01（万方平台首次上网日期，不代表论文的发表时间）