An Implementation towards Integrated Simulation of Cyber-physical Systems

Cyber-Physical Systems (CPS) involve communication, computation, and control through heterogeneous and widely distributed physical devices and computational components. The close interactions of these systems with the physical world make it difficult to model and simulate using traditional embedded system modeling and simulation technology. In this paper we address the main technical challenges on system simulation taking into account by the heterogeneity and integration of computation and physical processes characters of CPS, and provide a new interface based simulation modeling method and its corresponding co-simulation framework. We use Simulink to establish the physical continuous dynamic model, use UML to establish the discrete event-driven model, and then integrate the Simulink model into UML model by code fusion technology to implement co-simulation. A lunar rover example is implemented to validate the proposed method.

[1]  Jing Lin,et al.  Modeling Cyber-Physical Systems with Semantic Agents , 2010, 2010 IEEE 34th Annual Computer Software and Applications Conference Workshops.

[2]  Xingshe Zhou,et al.  Study on Integrated Modeling Methods toward Co-simulation of Cyber-Physical System , 2012, 2012 IEEE 14th International Conference on High Performance Computing and Communication & 2012 IEEE 9th International Conference on Embedded Software and Systems.

[3]  Jianlin Shi,et al.  Combined usage of UML and Simulink in the Design of Embedded Systems : Investigating Scenarios and Structural and Behavioural Mapping , 2007 .

[4]  Ying Tan,et al.  A concept lattice-based event model for Cyber-Physical Systems , 2010, ICCPS '10.

[5]  Edward A. Lee Cyber Physical Systems: Design Challenges , 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).

[6]  Christiaan J. J. Paredis,et al.  Integrating Models and Simulations of Continuous Dynamics Into SysML , 2012, J. Comput. Inf. Sci. Eng..

[7]  Christiaan J. J. Paredis,et al.  Towards Unified System Modeling and Simulation with ModelicaML: Modeling of Executable Behavior Using Graphical Notations , 2009 .

[8]  Edward A. Lee,et al.  Time-Centric Models For Designing Embedded Cyber-physical Systems , 2009 .

[9]  Jing Lin,et al.  Towards Integrated Simulation of Cyber-Physical Systems: A Case Study on Intelligent Water Distribution , 2009, 2009 Eighth IEEE International Conference on Dependable, Autonomic and Secure Computing.

[10]  Sébastien Gérard,et al.  First Experiments Using the UML Profile for MARTE , 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).

[11]  Marija D. Ilic,et al.  Module-Based Modeling of Cyber-Physical Power Systems , 2008, 2008 The 28th International Conference on Distributed Computing Systems Workshops.

[12]  Wouter Joosen,et al.  Using AADL in model driven development , 2007 .

[13]  Albert Benveniste,et al.  Loosely Time-Triggered Architectures for Cyber-Physical Systems , 2010, 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010).