面向ARINC653操作系统的综合化航空电子软件代码自动生成方法  

Integrated Avionics Software Code Automatic Generation Method for ARINC653 OperatingSystem

作　　者：凌仕翔 杨志斌[1,2] 周勇 LING Shixiang;YANG Zhibin;ZHOU Yong(School of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics,Nanjing 211106,China;Key Laboratory of Safety-critical Software,Ministry of Industry and Information Technology,Nanjing 211106,China)

机构地区：[1]南京航空航天大学计算机科学与技术学院,南京211106 [2]高安全系统的软件开发与验证技术工信部重点实验室,南京211106

出　　处：《计算机科学》2024年第7期10-21,共12页Computer Science

基　　金：国家自然科学基金(62072233);国防基础科研项目(JCKY2020205C006);航空科学基金(201919052002);南京航空航天大学科研与实践创新计划(xcxjh20221602)。

摘　　要：综合化航空电子系统(Integrated Modular Avionics, IMA)是一类典型的安全关键系统,具有分布式、异构、计算资源和物理资源强耦合等特征。随着IMA系统趋于复杂化和智能化,系统的功能越来越多地采用软件来实现,如何对这类复杂软件进行建模并自动生成代码成为一个重要挑战。文中提出了一种基于AADL(Architecture Analysis and Design Language)的综合化航空电子系统代码生成方法。首先,提出HMC4ARINC653(Heterogeneous Model Container for ARINC653)属性集扩展,使其具备描述IMA软件架构、异构功能行为和非功能属性的能力;其次,提出IMA模型到C代码及ARINC653系统配置文件的映射规则,并遵守MISRA C安全编码规范,生成的代码能够在ARINC653操作系统上部署并仿真执行;最后,设计并实现了相应的原型工具,以ARINC653操作系统和工业界实际案例,验证了所提方法和工具的有效性。Integrated modular avionics(IMA)is a typical safety-critical system characterized by its distributed,heterogeneous nature and strong coupling of computing and physical resources.With the increasing complexity and intelligence of IMA systems,software is increasingly being used to implement system functionalities.Modeling and generating code for such complex software pose significant challenges.This paper presents a code generation approach for IMA systems based on the architecture analysis and design language(AADL).Firstly,an extension of the HMC4ARINC653(heterogeneous model container for ARINC653)attribute set is proposed to enable the description of IMA software architecture,heterogeneous functional behavior,and non-functional attributes.Secondly,mapping rules from the IMA model to C code and ARINC653 system configuration files are defined,adhering to the MISRA C safety coding guidelines.The generated code can be deployed and simulated on the ARINC653 opera-ting system.Finally,the corresponding prototype tool is designed and implemented to validate the effectiveness of the methodology and tools proposed in this paper with the ARINC653 operating system and real cases from the industry.

关 键 词：综合化航空电子系统 ARINC653操作系统 AADL 代码自动生成 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]