Research On Aspect-Oriented Time Modeling And Transformation Based On MARTE Language

As the widespread use of Computer System, the development of software is be-coming more and more complicated. In order to control the problem and lower the complexity, researchers proposed the idea of modularization and it has been proved as an effective solution. Model-Driven Development separates the platform independent model and platform specific model, and highlights the abstraction of business logic to a higher level. It also supports both model transformation from PIM to PSM according to specific platform and code generation. The theory of Model-Driven Development avails the modularization and improves the reuse of code.Real-Time and Embedded system is a kind of heterogeneous system composed of software and hardware. Most often, in such systems correctness of computation de-pends on the interval of events. Moreover, there are lots of nonfunctional requirements which orthorhombic crosscut the functional ones and it’s hard to encapsulate them. Concerning this issue, we try to detach time properties from actions and to experiment Aspect-Oriented modeling technology. Besides, we exercise the model driven devel-opment to the analysis and design of the process.Model-Driven Development used on Real-Time and Embedded systems, consid-ers not only the model of functional business logic, but the model of widespread non-functional requirements such as time, allocation of resource. This article works on the following aspects for the issue of separation of time modeling and behavior modeling:1. Time modeling based on MARTE Language The profile of Modeling and Analysis of Real-Time and Embedded system-s, MARTE in short, is issued by the OMG to instead the former profile SP-T(Schedulability, Performance and Tine) and it becomes the standard profile in the field of modeling of real time systems. MARTE profile provides two kinds of time representation:dense time and dis-crete time to simulate the real time and contains plenty of model elements. It enriches the semantics of time to describe the temporal feature of RTE systems. Considering the specific target system, we pick the proper elements to model the detached time constraints.2. Time modeling technique based Aspect-Oriented technology Aspect Oriented modeling inherits the notion of separation of concerns and sup-ports the recognition of them in early stage. Separate modeling of time properties and business logic gives a solution of code scattering and code tangling caused by Object-Oriented in some situations. Theme approach, one of the classic AO analyze and design approaches, researches methodologies of both concerns sep-aration and weaving. We expand Theme approach with timing aspects and pro-pose the time modeling technique based on MARTE language. First of all, it helps to recognize common concerns and crosscutting concerns in early analysis stage, then make sure the relationship so that to model them modularly. Finally, we weave these two kinds of models to obtain a comprehensive system model.3. Model transformation from Timing Aspects to SystemC Model for system sim-ulation A main goal of Model-Driven Development is to generate the code from models automatically or semi-automatically with the help of MDA tools. Simulation is important to the development of RTE systems. We use model transformation on the Timing Aspects achieved in design period and get the code of SystemC, a language expands C++, which is capable of collaborative design of both software and hardware to simulate the system. SystemC code supports the simulation platform of time constraints in system requirements.