随着产品复杂程度的不断提高,安全性逐渐成为了系统研制、生产和使用过程中的重要问题。尤其对于航空领域,一旦发生事故通常将导致严重的人身伤亡及巨大的经济损失。系统安全性分析可以有效提高产品的安全性,贯穿整个研制和生产阶段。在系统安全性评估过程中,采用各种安全性分析方法进行定性和定量分析,以确保产品满足设计、安全性等需求。然而,传统的分析方法在动态系统安全性建模及分析方面存在某些困难。本文针对系统安全性分析中的动态失效问题,从动态故障树分析和Petri网模型两个方面进行研究,并以飞机主起落架系统作为实例进行分析。论文研究了安全性评估过程和系统安全性分析方法及其应用。根据动态故障树的基本理论,分析它在某些方面的具体应用,尝试用一种新的逻辑门来简化双重工作部件特定失效模式的表达与分析,并且从模型和算法两方面讨论了如何将共因分析(Common Cause Analysis, CCA)结果引入动态故障树当中。另外,本文针对马尔可夫模型建模不直观、易于出错的问题,研究如何应用Petri网模型代替马尔可夫模型进行系统安全性建模,并分析其危险状态,着重讨论了Petri网模型与故障树之间的关系。为证明新方法的适用性,将这两种方法应用于飞机主起落架系统的系统安全性分析中,证明了该飞机主起落架系统的某些故障状态满足安全性要求。通过对刹车系统应用新方法得出的结果与传统故障树所得的结果进行对比,证明了动态故障树和Petri网模型对飞机主起落架系统的系统安全性分析的适用性,并且从模型的描述能力、直观程度和分析结果等方面分析了它们对比传统方法的改进和不足。