Using AADL In Model Driven Architecture

AADL (Architecture Analysis & Design Language) is a textual and graphical language, mainly used in embedded systems modeling. MDA (Model Driven Architecture) is a model development process, strongly advocated by the OMG (Object Management Group). Its main idea is to create a platform independent model which called PIM (Platform Independent Model), combined with the specific platform information, generate a platform specific model PSM (Platform Specific Model), and then generate code. How to use AADL in the MDA development process, to model embedded systems, is the main content of this paper. This paper focuses on three parts.First, the paper studies how AADL can be well used in the embedded field. In order to use the popular UML tool for the establishment of AADL model, this paper gives the transformation method between UML model and AADL model. Based on Eclipse Modeling Framework EMF, the ATL (Atlas Transformation Language) model conversion tools can be used to convert UML+ MARTE (UML Profile for Modeling and Analysis of Real-time and Embedded Systems) to the AADL model, according to the rules which describe metamodel transformation between the two models.Second, the schedulability analysis for the AADL model, this paper introduces a schedulability analysis and simulation tool on the Eclipse platform. This tool can be used to collect the needed information extracted from AADL model, just like the system, process, thread and other necessary information. Scheduler analyzes the received information and gets a conclusion about the schedulability of model, then gives out the simulation process of the whole system. Thus users can easily know what is wrong with their systems and give a proper change.Finally, the paper introduces the process of converting AADL model to C code of the Linux platform. The code generated from AADL model is a kind of framework code, it is a reflection of the system frame; the specific function of threads can be established by Simulink model. The code conversion tool can not only generate C code from AADL models, but also can combine it with the code generated from the Simulink models automatically. Then the cross compiler tool is used to compile and link to generate an executable file, and then it is downloaded to the Linux platform for the remote operation and debugging.The three parts of the work is carried out under the MDA, that system designers build systems, analysis and test the systems and then generate code. In this way, the author tries to improve the development of embedded systems.