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

• 作者: 刘雪 胡军 袁翔 马金晶
• 来源期刊: 南京航空航天大学学报
• 学科: 工学
• 关键词: 软件可靠性测试 综合模块化航电系统 ARINC653配置信息 AADL REAL OSATE
• 年，卷（期）: 2014,（6）
• 页码范围: 920-930
• 页数: 11页
• 分类号: TP311
• 字数: 7969字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	胡军	南京航空航天大学计算机科学与技术学院	41	358	10.0	18.0
5	马金晶	南京航空航天大学计算机科学与技术学院	8	31	4.0	5.0
6	袁翔	南京航空航天大学计算机科学与技术学院	2	8	2.0	2.0
7	刘雪	南京航空航天大学计算机科学与技术学院	8	21	3.0	4.0