Integration Design and Model Transformation for Cyber Physical Systems

Cyber physical system is hard to develop because developers need to consider functional properties, nonfunctional properties, such as timeliness, energy, memory, safety and reliability, dynamic continuous properties, spatial requirements and the interaction with physical world. In this paper, we propose an integrated approach to develop cyber physical systems based on multi-dimensions, multi-views and multi-paradigm. This model-integrated development approach addresses the development needs of cyber physical systems through the pervasive use of models. Model transformation is a central concept in model-driven development approaches and integration development approaches in cyber physical systems, as it provides a mechanism for automating the manipulation of models. We present the model transformation methods of cyber physical systems, we propose an approach to transform the models of AADL into the models of Modelica, and Modelica into AADL, clarify the transformation principles and to illustrate the important synergies resulting from the integration between these two languages.