基于模型驱动的航电系统安全性分析

摘要：

针对综合化航空电子系统安全性分析存在的失效模式完备性和动态失效问题以及数据一致性问题，将航电系统分为应用操作层、功能层和资源层3个层次，采用形式化方法分别对每个层次进行建模，利用模型转换技术实现3个层次之间的语义转换，确保语义的一致性。利用AADL语言对系统应用操作和功能层建模，实现对应用操作模式完备性检查，利用AltaRica语言对系统的异常行为建模，实现对系统的动态失效问题分析。本文以飞机自动驾驶系统为例，利用AADL建模工具Osate实现对应用操作模式的分析，借助于基于AltaRica语言的SimFia工具对其安全性进行分析，结果验证了所提出方法的有效性和实用性。

关键词：模型驱动方法、航空电子系统、安全性分析、AADL、AltaRica

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

资助基金：国家重点基础研究计划973计划项目2014 CB744900

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

页数：共6页

页码：21-26