现代航空系统越来越趋于复杂化，这同时加大了实施安全性分析的难度，另外要保持认证局方要求安全性等级的困难也加剧了。为了满足日益增加的安全性需求，有必要开发相应的设计以及安全性分析方法，以满足新系统复杂性的要求。

FAA, EASA 和 CAAC等局方明确规定，系统级安全性分析需要依据以下两个标准来执行：

• ARP4754“高度集成系统或复杂航空器系统取证注意事项”，其中提出了复杂航空器系统的开发流程建议
• ARP4761 “开展民用航空系统及设备安全评估的方法和指引”，其中提出了执行安全性分析的方法，如FMEA，故障树等

根据以上标准实施的安全性分析材料最终需要提交到认证局方来进行审批。

ARP4754和ARP4761 与DO-178, DO254 和ARP5051的关系图如下：

在最新的安全性标准ARP 4754A中，引入了基于模型的安全性分析的概念。其中强烈建议开发人员采用模型化的思想来实施图1.2中所提出的安全性评估。因此我们推荐您利用已经获得国际认证的软件工具来实现这一目标。

基于模型的安全性分析方法能够为解决一系列工程成本问题，如：

     需求，系统架构以及安全性模型间没有相互联系起来

     昂贵的重复工作的流程

     昂贵的系统改进

     昂贵的配置管理

它同时具有以下优势：

• 对多学科复杂系统的高级观察
• 通过跨学科建模实现各学科系统工程师的交流
• 实现各学科系统模型的集成和协调
• 实现系统或我们想要的系统的可视化
• 系统架构分层并由多个子系统构成
• 已有部件和架构的重用
• 快速且轻松地实施新的配置以及开发活动
• 实现大型项目的并行开发

由Dassault Systemes 提供的安全性分析软件SD9 & FT9，恰好是基于模型的安全性分析软件。如上图。

SD9 & FT9是产品早期设计阶段安全性分析的解决方案。利用它们，可以在早期为复杂系统定义常见的功能正常和异常的模型，根据提出的模型，它们可以自动的进行依赖性分析，从而提高系统稳定性或（和）使系统获得认证。