摘要：航电系统作为安全关键系统，利用故障树对其进行安全性分析十分必要。然而，传统的故障树依靠手工构建，主要依赖于分析人员对系统的理解程度；同时由于安全性分析人员与系统设计人员对系统的理解不同而很难保证失效模式与系统架构的一致性。针对上述问题，提出了一种基于航电系统架构模型的故障树自动建模方法：通过向系统设计模型中添加相应的安全性属性，并嵌入高级形式化语言Alta Rica中的断言机制描述故障转移过程，由此形成安全性分析模型；基于此模型利用路径追溯的方法完成故障树自动建模。以某飞机驾驶舱显示系统为案例的研究结果表明，所提出的方法能基于航电系统架构模型有效进行故障树自动建模，从而确保了故障树分析结果的完整性。

关键词：航电系统架构 故障树建模 altarica 卫式转换系统 

单位：南京航空航天大学计算机科学与技术学院; 江苏南京211106