Abstracted CPS Model: A Model for Interworking between Physical System and Simulator for CPS Simulation (WIP)

摘要

Cyber-physical systems (CPSs) are computing systems that control and interact with physical processes; such control and interaction results from the integration of physical systems with computations via a network. In a CPS, heterogeneous physical systems and computational devices can be integrated, and these integrated elements can control themselves using their own control knowledge. As control knowledge representation methods, modeling and simulation (M&S) can be used for safe and reliable CPS operation. For using M&S in CPSs, we propose two mechanisms that handle communication between physical and simulation systems: The first is a data abstraction mechanism that translates the states of a physical system usually represented by differential equations into the states of a discrete event system used in simulation systems. The second is a time synchronization mechanism that controls different types of clocks used in physical and simulation systems. In this work, the mechanisms are embedded in the abstracted CPS model (ACM), a middle layer between the physical and simulation systems. In addition, we designed a class library for implementing ACM. The contribution of this work is in proposing ACM mechanisms meant for interworking within M&S based CPS, and the design and implementation of such mechanisms.