Model Integration and Model Transformation Approach for Multi-Paradigm Cyber Physical System Development

Abstract

Cyber-Physical Systems (CPS) are next generation of engineered systems in which physical systems and cyber systems not only are converged, but also computing, communication, and control technologies are tightly integrated. The lack of specification and modeling methods and techniques for cyber physical systems has a very important impact, as the increasing complexity of cyber-physical systems built today pushes traditional development processes to their limits. In these development processes the different aspects and disciplines of mechanics, electrics, and software usually act isolated from each other, which inhibits taking advantage of the full potential of integrated solutions. In this paper, we propose an integrated approach to develop cyber physical systems based on multi-disciplinary, multi-domain, 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 and aims to deal with complexity due to the convergence of different domains and technologies in cyber physical systems. This proposed approach requires models for very different domains able to work together. 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 among AADL, Modelica, SysML and formal methods, clarify the transformation principles and to illustrate the important synergies resulting from the integration between these modeling languages.