Research On Automatic Code Generation System In Accord With Aerospace Safety Regulations

With the rapid development of modern aerospace technology,the importance of computer software in aerospace systems is increasing.Aerospace model software is basically embedded software.The scale,complexity,and function of the aerospace embedded software in the entire aerospace system have risen sharply.The reliability and safety issues of software have become increasingly prominent.This article focuses on the template-based engine and model-driven code generation technology and code detection technology based on microkernels and plug-ins.It also designs and implements C language security code automatic generation system and code detection system,and implements Intergration model to C language security code framework.The automatic generation and security detection of manually added code to meet the security requirements of the generated code,and validated the secure code generation tool by selecting an example of the key tasks of the star management software for the safety and reliability of aerospace embedded applications The improvement lays the technical foundation.The work done in this article is as follows1.According to the aerospace software security code requirements,a template-based engine and model-driven code generation technology are used to realize the automatic code generation system and provide the conversion function of the Intergration model to the software code.The software code specifically includes the C language security subset.The framework code and modeling manually added component code.2.According to the aerospace software security code requirements,a code detection technology using microkernels and plug-ins was used to implement the C language security subset code detection system,which provides manual detection of C model security subsets for code addition and existing aerospace software code.3.Select the key module of the star management software,perform Intergration modeling and automatic code generation,verify the code generation function of the code automatic generation system,write a large number of code examples that violate the C language security subset,and perform code detection on it.Verify the code detection feature of the code detection tool.