随着我国民机事业的高速发展,安全性要求越来越高,民机的适航验证与审定技术也面临着挑战。民机系统的安全性评估工作作为适航符合性验证方法之一,对于项目研制以及适航取证尤为重要。然而传统的静态系统安全性分析方法通常不考虑部件之间的失效顺序及其功能相关性等动态特征,这对于系统来说是不完全合理的,无法表征民机系统随运行时间、运行环境状态动态变化的规律。静态故障树是一种具有代表性、广泛使用的系统安全分析方法,在此基础上本文引入动态逻辑门,提出面向适航的动态故障分析方法,弥补了传统分析方法的缺陷,增强了安全性评估方法的准确性和适用性。本文首先分析了民机系统的适航要求以及系统安全性的相关工业标准,然后对民机系统安全性评估流程、方法,飞机设计各阶段的安全性分析工作以及故障树在安全性评估中的应用时机做出了详细阐述;其次,研究静态故障树的基本理论并引入动态逻辑门,论述民机系统动态故障树的建模过程与分析步骤;再次,使用模块化的方法划分动态故障树,将其分为多个独立模块,对于其中的静态子树使用BDD分析方法,对于动态子树应用Markov链分析方法。模块化方法在一定程度上解决了单独使用Markov模型的状态爆炸问题,降低了计算难度。最后,将本文方法应用于飞机机轮刹车系统,对其进行安全性要求的验证,同时对比动态故障树分析结果与传统静态故障树分析结果,表明将动态故障树应用于适航安全性验证的可行性。