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

• 作者: 王立松 邢逆舟
• 来源期刊: 计算机与现代化
• 学科: 工学
• 关键词: 模型驱动方法 航空电子系统 安全性分析 AADL AltaRica
• 年，卷（期）: 2015,（1）
• 所属期刊栏目: 人工智能
• 页码范围: 21-26
• 页数: 6页
• 分类号: TP302.1
• 字数: 3640字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-2475.2015.01.004

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王立松	南京航空航天大学计算机科学与技术学院	64	442	11.0	19.0
2	邢逆舟	南京航空航天大学计算机科学与技术学院	3	6	1.0	2.0