一种基于航电系统架构模型的故障树自动建模方法

摘要：

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

关键词：航电系统架构、系统建模语言(SysML)、故障树建模、AltaRica、卫式转换系统

所属期刊栏目：39

分类号：TP302(计算技术、计算机技术)

资助基金：国家973计划2014CB744901,2014CB744903,2014CB744904,2014CB744905

在线出版日期：2018-01-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共9页

页码：2269-2277