Integration-Oriented Modeling of Cyber-physical Interactive Process

The depth of integration of the computing process and physical process is the core characteristics of Cyber-Physical system, which brings many new challenges to design the system. Based-on the existing modeling techniques and through the analysis of the static structure and dynamic behavior of the CPS interactive process, the paper uses AADL to describe the static structure and HYSDEL to describe the dynamic behavior through the construction of discrete hybrid automaton. Then it implements the integrated modeling through the binding of static structure and dynamic behavior model, and it is ultimately used for the analysis and simulation of the CPS. Meanwhile, the paper combine the typical CPS example Lunar rover autonomous navigation system to study the interaction modeling of the computing process and physical process.