Research On MDE Based AADL Component Composition Modeling And Simulation

Software architecture, as one of the most important ways to control the com-plexity of software and improve the quality of software, has attracted more and more attention of researchers recently. As model-driven software development technology is used widely, more and more component-based visual modeling languages have been proposed, but how to construct the system based on the existing components models to meet the requirements is a serious problem. Although there are already some for-mal tools to solve the problems of components composition on different levels, how to reuse such tools efficiently in the model driven development is still a problem deserving research.In addition, because the most visual modeling languages are informal, the quality and trustworthy of software cannot be guaranteed. The problem that how to provide effective support for informal models verification and simulation in model-driven en-gineering field is common concern of academia and industry.This paper takes the real-time embedded architecture visual modeling standard AADL as an example of study. One aspect of the paper discussions and research is how to solve the problems of AADL components composition modeling through the model transformation and the other is how to simulate the AADL models by using the SystemC platform. Specifically, the research contributions are as follows:1. This paper presents an AADL based modeling framework which is based on the theory of the MDE and technology of components reuse. The framework can not only make full use of existing AADL model components but also improve the efficiency of software modeling and reduce the costs.2. Because the AADL is an informal modeling language, when AADL compo-nents are reused in combination, the interaction activities sequence mismatching would lead to incompatible of behaviors of combined component. In order to improve the component reusability of the AADL components model, this article uses heterogeneous models transformation framework based on MDE to trans-form AADL to IA, then creates compatible environment of components, at last constructed environment can be mapped back to AADL component and then solves the problem of the AADL.3. The model simulation could analyze and validate non-functional property of soft-ware through the dynamic execution. In order to improve the trustworthy of AADL models, an AADL model simulation method is proposed:AADL model is transformed to SystemC model and then using the SystemC model to generate the SystemC code for simulation.4. Finally, this article expands the method of AADL architecture simulation to the MARTE and SysML for trying to establish unified transformation and simulation method of a class of modeling language.In conclusion, this paper solves the two problems base on the model driven think-ing and technology:one is AADL components composition modeling and the other is architecture models simulation using the SystemC simulation platform.,...