章旗

安全性分析不仅是民用航空器研制过程中提高系统安全性水平的主要手段，同时也是重要的适航性验证方法。本文研究的全权限数字电子控制（FADEC）系统是典型的高集成复杂系统，其故障模式表现出动态与多状态特性。传统的概率安全性分析方法通常是以构建故障树（FTA）模型为主，首先依据产品设计方案构建模型，然后进行定量分析暴露出设计中的薄弱环节，进而提出改进方案来提高系统的安全性，然而故障树是典型的静态分析方法，无法对动态性的系统进行分析。

针对该种系统，本文在此基础上采用基于马尔可夫模型的动态故树安全性分析方法，将系统故障模块化，利用功能逻辑门建立故障模型。对FADCE系统的安全性进行分析。

动态故障树是指至少包含了一个动态逻辑门的故障树，其把传统的故障树分析方法适用范围扩大到动态系统，能够对具有顺序相关、资源共享、可修复，以及冷、热备份等特性的系统进行可靠性建模。动态故障树分析方法综合了传统故障树分析方法和马尔可夫模型两者的优点。可以直观形象的描述系统的动态和时序的过程，解决系统的动态时序过程。因此，利用动态故障树分析法，可以建立静态故障树分析法无法表示的动态系统的可靠性模型，建立系统的动态故障树，并分析计算系统的可靠性指标。

以某型发动机“反推失效事件”為例，针对反推装置的工作原理，对与FADEC系统有关的部分进行动态故障树分析。……