Aspect-Oriented MDA Approach for Non-functional Properties of Distributed Cyber Physical Systems

Cyber physical systems have many non-functional requirements, which always crosscut the whole system modules. That may cause the code tangle and scatter, make the systems hard to design, reuse and maintain, and affect performance of systems badly. AOP is a new software development paradigm, which could attain a higher level of separation of concerns in both functional and non-functional matters by introducing aspect, for the implementation of crosscutting concerns. Different aspects can be designed separately, and woven into systems. In this paper, we propose a four-stage method of aspect-oriented MDA for non-functional properties to develop cyber physical systems. The model-based development, aspect-oriented approach and formal methods are integrated effectively for the development of the non-functional properties of distributed cyber physical systems. A case study illustrates the aspect oriented MDA development of cyber physical systems.