摘要：

传统的故障树分析（Fault Tree Analysis，简称FTA）方法是一种基于静态逻辑或静态故障机理的方法，但这种方法对容错系统的可靠性分析已不适用。引入一种新的逻辑门，应用动态故障树分析技术，是解决容错系统的可靠性分析问题的一种有效途径。本文在故障树模型中引入了一种带有公用备件的热备件逻辑门，并给出了这种逻辑门转化为 为马尔可夫链的方法。这种具有动态特性的逻辑门引入后所形成的动态故障树模型，扩展了传统故障树对容错系统可靠性分析的适用性。文章以某装备的电子设备系统为例，给出了用这种方法建立的动态故障树模型及其计算系统可靠度的方法和分析结果。

关键词: 容错系统 动态故障树 马尔可夫链 可靠性分析 计算机