Aspect-Oriented MDA Development Method for Non-Functional Properties of Cyber Physical Systems

Cyber physical systems are envisioned to integrate computation, control and communication with the physical environment. Therefore, CPS requires strong interactions between the cyber and physical worlds in time. The design of cyber physical systems (CPS) poses many challenges because of their complexity, high safety requirements, distribution, and real time nature. We propose a novel paradigm, based on the idea of using simplicity of the aspect-oriented MDA design method to control complexity, to achieve highly correct CPS designs. 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.