An Approach for IMA Software Code Generation on Domestic Airborne Operating System
With the development trend of complex avionics system and the requirement of autonomous control,it is of great significance to study how to automatically generate software code for domestic air-borne operating system and verify the semantic consistency of model/code after modeling such complex systems.This paper proposes an automatic generation method of avionics software code for domestic air-borne operating system.Firstly,AADL is used to model the integrated avionics system,and the transforma-tion rules from AADL model to source code are designed to automatically generate platform-related code and configuration files for domestic airborne operating system.Secondly,the AGREE Annex and BLESS Annex contracts are used to formally verify the AADL model,and the transformation rules from contracts to C language verification code are proposed to combine the verification code with the source code genera-ted by the model,and deploy it on the domestic airborne operating system for simulation execution.Final-ly,an automatic code generation tool is designed and implemented based on the open source modeling en-vironment OSATE,and the experimental results verify the effectiveness of the proposed method and tool.
NETL
NSTL
万方数据
