ACM Transactions on Programming Languages and Systems (TOPLAS)
Theory of Modeling and Simulation
Theory of Modeling and Simulation
Distributed Simulation: A Case Study in Design and Verification of Distributed Programs
IEEE Transactions on Software Engineering
Cyber-physical systems for real-time hybrid structural testing: a case study
Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems
Clock synchronization with deterministic accuracy guarantee
EWSN'11 Proceedings of the 8th European conference on Wireless sensor networks
Cyberphysical Systems: Workload Modeling and Design Optimization
IEEE Design & Test
| Hi-index | 0.00 |
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.