综合化航空电子系统(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 Avionics Software Code Automatic Generation Method for ARINC653 Operating System
Integrated modular avionics(IMA)is a typical safety-critical system characterized by its distributed,heterogeneous na-ture 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)at-tribute set is proposed to enable the description of IMA software architecture,heterogeneous functional behavior,and non-func-tional 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 methodolo-gy and tools proposed in this paper with the ARINC653 operating system and real cases from the industry.
NETL
NSTL
万方数据
