Extension of model for research and design of complex cyber physical system

摘要

Cyper Physical System(CPS) is a complex embedded system of a physical system, cyper system and the control logic depth fusion, because of the complexity and heterogeneity of the CPS part and interactive interface, there is no a unified framework for the CPS system modeling, analysis and design. Design the CPS system increasingly need using a variety of modeling forms in the whole development process. In this paper, we present a extension of existing modeling tools to model the CPS system. We present a mapping rules between AADL and multi-domin modeling language Modelica that transform Modelica model into AADL model. For system space behavior modeling, we present using Timed Automata to extend the behavior model of AADL, make extended behavior model can describe the spatial behavior of the system, at the same time, we present a mapping rules between AADL behavior model and Timed Automata model under the UPPAAL. The use of the expansion of the proposed modeling method is illustrated in the context of a uav CPS system.