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

摘要：

该文运用二元决策图(Binary Decision Diagram)分析传统的静态故障树,运用Markov链分析新兴的动态故障树,由此形成一种创新性的故障诊断方法:综合故障树(Integrated Fault Tree)分析法.综合故障树分析法运用分而治之的策略处理各种故障,不仅加深了故障诊断、分析的精度,同时也拓展了故障树分析法的运用领域.该文结合实例,运用综合故障树分析法解决容错计算机系统中动态时序特性的建模困难问题;分析结果表明,在容错计算机系统中运用此方法,可以有效地对系统建模和分析系统可靠性.

关键词：静态故障树、动态故障树、综合故障树、二元决策图、马尔可夫链、可靠性

所属期刊栏目：23

分类号：TP277(自动化技术及设备)

资助基金：中国科学院高水平大学校科研和教改项目KY2706

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

页数：共5页

页码：63-67