Aspect-Oriented MDA Method Of Real-Time System In Cyber Physical Systems

With the extensive use of real-time systems, especially the concept of cyber-physical network environment was proposed, cyber-physical system (CPS) has became a research focus. CPS has some non-functional properties, such as real-time, concurrency, distribution, reliability, security, fault tolerance and so on, all these non-functional properties crosscut the core business logic in the class structure, so they can be called as crosscutting concerns. These crosscutting concerns break the encapsulation of the core business logic, and the traditional object-oriented programming can not solve this problem effectively.Model Driven Architecture (MDA) is a software development framework which bases on a series of industry-standards. Models drive the software development process, and with supporting tools, models can be transformed automatically among models, or between models and codes. Since MDA is based on object-oriented, so MDA has the shortage that object-oriented development can not deal with the crosscutting concerns effectively.Aspect-oriented software development methods can make up the limitation of object-oriented software development methods in addressing non-functional properties. By the technology of concerns separating, we can separate all the crosscutting concerns, and then analyze, design and model each of them to address the crosscutting concerns, such as the code tangling and scattering problems in object-oriented software development, and also enhance the system's modular degree and lower coupling between modules. Aspect-oriented modeling is still in the exploratory phase, it has not yet formed a unified modeling standards and modeling elements to express the aspect models.This paper analyzed the characteristics of real-time systems in cyber-physical network environment and the software architecture model of CPS systematically; Researched on the aspect-oriented technology and MDA methods, and then proposed a approach named five-stage development of aspect-oriented MDA; Researched on the UML extension mechanism, and then combined the heavy-duty extension of MOF-based with the light extension of profile-based to defined the AUML metamodel and AspectJ metamodel which bases on AspectJ platform, which can express the aspect elements and model the platform-independent APIM and the platform-specific APSM; Used OCL formal language to restrict models in every stages of MDA,makes the models more precise at every stages converting. Finally, the model-based development and aspect-oriented approach, the formal methods and the cyber- physical system combine effectively, taking an example to verify the five stages aspect-oriented MDA development of real-time systems in cyber-physical network environment, especially at dealing with non-functional properties is feasible and efficient.