Research On Generation Of Standard Codes For Embedded System Based On AADL

Embeded real time systems have been increasely widely used in different areas of our life,such as: aeronautics and astronautics,automation of car,robot,mobile communication de-vice.As to the development of embeded real time systems,in order to find the error in the process of development as soon as possible,the model driven development method was brought out.That is the method that to find and resolve the problems early by describing the system with precise semantics,model scheduling,model verification and so on.AADL(Architecture Analysis and Design Language)is one architecture analysis and de-sign language based on the mind of model driven and specially used to describe the embeded real time systems.And in consideration of the coding stage,for improving the degree of auto-mation,also for reducing the possibility of having mistakes during the process of coding,code generation is one effective method which is worthy of using.The research of the technology and method of code generation is an important subject in the area of the development of em-beded real time systems.First of all,aiming at the current generation of code,it is more difficult to directly generate the code.It requires developers to be familiar with AADL modeling semantics and directly generate code extensibility and poor modification.Therefore,this paper proposes a code generation intermediate model(MMACG)The transition model of AADL generated code not only contains the hierarchical information of AADL components,but also transfers the behavior semantics contained in AADL elements to the class code elements of the intermediate model,reducing the difficulty of generating code by AADL.A definition of the AADL subset and its conversion rules for generating intermediate models are also given.Secondly,according to the different characteristics of embedded single-task and multi-task systems,the conversion rules of the intermediate model to the two are given respectively,including the hierarchy,command operation and port operation.At the same time,in order to improve the security of generated code,further study how to comply with the relevant security code specification in the conversion rules and effectively solve the security problems caused by code irregularity in the manual coding.Finally,an intermediate model(MMACG)is implemented by using the definition of Xtext framework.The code generation tool AADLGEN is implemented based on the Model To Text(M2T)technology.A typical subsystem of the control system,Isolatte,is generated by using the tool.Code generation is implemented on the Linux platform under the implementation of verification.