一种基于AADL的IMA系统配置信息的正确性检测方法

摘要：

综合模块化航空电子系统(Integrated modular avionics,IMA)中的系统配置信息的正确性是保证IMA系统可靠运行的重要保障.配置信息的重配置给系统的更新和移植提供了方便,同时也给重配置后的系统带来了不安全因素.本文针对满足ARINC653规范的IMA系统重配置信息的正确性检测方法,展开了基于架构分析和设计语言(AADL)模型转换与分析的研究.给出了一系列从ARINC653系统配置信息到AADL模型元素的映射规则,包括模块、分区、进程、健康监控、通信等核心概念,并设计了一个模型转换的方法,然后采用一个第三方的工具对所得到的AADL模型展开配置信息正确性的语义验证.最后本文还给出了一个实例分析.

关键词：软件可靠性测试、综合模块化航电系统、ARINC653配置信息、AADL、REAL、OSATE

所属期刊栏目：46

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

资助基金：国家重点基础研究发展计划“九七三”计划2014CB744904;回国留学人员科研启动基金2012;611航空科研基金2012;南京航空航天大学青年科技创新基金NS2014098

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

页数：共11页

页码：920-930