联合Safety Designer (BPA SD9) 和 Fault Tree Analyzer (BPA FT9) 之力，可以在一个较早的设计阶段，帮助安全工程师生成依赖性模型(错误树，失效模式和影响分析等等) 用以进行系统安全性分析从而验证安全目标是否达到 (ARP4761)

Safety Designer (BPA SD9) ：允许安全分析工程师对航空器FHA进行建模

• 定义系统
  • 系统架构
  • 系统部件（模型库)
  • 每个部件的故障行为
• 系统总体仿真
  • 失效插入和扩散
  • 受影响部件的可视化
• 系统依赖性分析
  • 故障树生成
  • 事件序列
  • 系统失效模式和影响分析（FMEA）
  • 系统安全评估

Fault Tree Analyser (BPA  FT9)：结合SD9生成的故障树，分析安全性需求的准确性

• 对失效条件（FC）和功能的定性分析
  • 最小割集
  • 单点失效
• FC的定量分析
  • 准确无误的计算与失效条件严重性等级相符合的FC概率