A Method of Automatic Code Generation Based on AADL Model

Abstract

Embedded real-time systems are widely used in avionics, spacecraft, automotive automation, robotics, mobile communications and other fields. In order to detect errors in the development of embedded real-time systems, the development method of model-driven is widely applied. Model-driven finds the potential problems as early as possible by modeling and validating the system at the early stage of design. In the implementation phase of the coding, the code is automatically generated from the validated model to improve the automation of the system development, reduce R & D costs and the possibility of errors in coding process. The research of code generation technology based on architecture analysis and design language (AADL) is an important research content of embedded software development. AADL is a language that models the graphical representation of modeling elements and models in textual form. The C language can compile and process low-level memory in a simple way, generate a small number of machine codes, and run without any support from running environment. Aiming at the characteristics of the above two languages, so we design an automatic code generation tool that automatically converts AADL model into C codes.