| 一种基于AADL的IMA系统配置信息的正确性检测方法 |
| |
| 引用本文： | 胡军,马金晶,袁翔,等. 一种基于AADL的IMA系统配置信息的正确性检测方法[J]. 南京航空航天大学学报, 2014, 46(6): 920-930 |
| |
| 作者姓名： | 胡军 马金晶 袁翔 等 |
| |
| 作者单位： | 1. 南京航空航天大学计算机科学与技术学院,南京,210016;南京大学计算机软件新技术国家重点实验室,南京,210093
2. 南京航空航天大学计算机科学与技术学院,南京,210016 |
| |
| 基金项目： | 国家重点基础研究发展计划(“九七三”计划)，回国留学人员科研启动基金，611航空科研基金，南京航空航天大学青年科技创新基金 |
| |
| 摘 要： | 综合模块化航空电子系统(Integrated modular avionics,IMA)中的系统配置信息的正确性是保证IMA系统可靠运行的重要保障。配置信息的重配置给系统的更新和移植提供了方便,同时也给重配置后的系统带来了不安全因素。本文针对满足ARINC653规范的IMA系统重配置信息的正确性检测方法,展开了基于架构分析和设计语言(AADL)模型转换与分析的研究。给出了一系列从ARINC653系统配置信息到AADL模型元素的映射规则,包括模块、分区、进程、健康监控、通信等核心概念,并设计了一个模型转换的方法,然后采用一个第三方的工具对所得到的AADL模型展开配置信息正确性的语义验证。最后本文还给出了一个实例分析。
|
| 关 键 词： | 软件可靠性测试 综合模块化航电系统 ARINC653配置信息 AADL REAL OSATE |
Correctness Verification for Integrated Modular Avionics System Configuration Based on AADL Model |
| |
| Hu Jun,Ma Jinjing,Yuan Xiang,Liu Xue. Correctness Verification for Integrated Modular Avionics System Configuration Based on AADL Model[J]. Journal of Nanjing University of Aeronautics & Astronautics, 2014, 46(6): 920-930 |
| |
| Authors: | Hu Jun Ma Jinjing Yuan Xiang Liu Xue |
| |
| Abstract: | |
| |
| Keywords: | software reliability testing integrated modular avionics ARINC653 configuration information AADL REAL OSATE |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《南京航空航天大学学报》浏览原始摘要信息 |
|
点击此处可从《南京航空航天大学学报》下载全文 |
