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

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

Full description

Saved in:
Bibliographic Details
Published in南京航空航天大学学报 Vol. 46; no. 6; pp. 920 - 930
Main Authors 胡军, 马金晶, 袁翔, 刘雪
Format Journal Article
LanguageChinese
Published 南京航空航天大学计算机科学与技术学院,南京,210016 2014
南京大学计算机软件新技术国家重点实验室,南京,210093%南京航空航天大学计算机科学与技术学院,南京,210016
Subjects
OSATE
integrated modular avionics
AADL
综合模块化航电系统
REAL
软件可靠性测试
software reliability testing
ARINC653 configuration information
ARINC653配置信息
Online AccessGet full text
ISSN1005-2615

Cover

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