DSML4CS

Cyber physical systems (CPS's) are a kind of complex system with highly integrated interaction between computing resources and physical environment in a network environment. There are some challenges in modeling and simulation of heterogeneous CPS due to its hybrid and heterogenous characteristics. To address the issue, we propose an executable domain specific modeling language for co-simulation (DSML4CS) to model the co-simulation of CPS. According to the construction method of domain modeling language, we present the abstract syntax, concrete syntax and operational semantics of DSML4CS. We also propose a flexible co-simulation mechanism, which supports partial step revision of specific co-simulation process with the state event fault-tolerant mechanism. The co-simulation language for heterogeneous CPS is implemented based on the GEMOC platform. Our aim is to provide the co-simulation service in CPS. The usability of DSML4CS is illustrated with a case study of a temperature control system in an energy-aware building.