Title: A unified modelling method for cyber-physical systems based on Modelica

Authors: Chang Chen; Han Cao; Shaohui Su; Huipeng Chen; Youping Gong; Guojin Chen

Addresses: School of Mechanical Engineering, Hangzhou Dianzi University, Hangzhou, China ' School of Mechanical Engineering, Hangzhou Dianzi University, Hangzhou, China ' School of Mechanical Engineering, Hangzhou Dianzi University, Hangzhou, China ' School of Mechanical Engineering, Hangzhou Dianzi University, Hangzhou, China ' School of Mechanical Engineering, Hangzhou Dianzi University, Hangzhou, China ' School of Mechanical Engineering, Hangzhou Dianzi University, Hangzhou, China

Abstract: Cyber-Physical Systems (CPS) are complex systems which consist of discrete asynchronous clock systems and continuous synchronous time systems that are different in structure and mathematics basis. This research aims to establish a unified modelling method for CPS based on the Modelica semantic. According to framework of the existing semantic, the clock semantics are proposed to describe the clock system. The decomposition method is proposed to separate the clock system into several sub-blocks that have different clock frequencies. The clock diffusing rules, consisting of single clock diffusing, clock consistent rule and clock super rule are presented to access the variables and expressions between each pair of sub-blocks. At last, the semantic integration between time and clock sub-systems is researched. The proposed method suggests that the CPS model could be built in a unified framework and the clock system and time system could be linked automatically.

Keywords: cyber-physical systems; unified modelling method; Modelica; continuous-discrete hybrid system.

DOI: 10.1504/IJWMC.2019.100066

International Journal of Wireless and Mobile Computing, 2019 Vol.16 No.4, pp.350 - 357

Received: 01 Aug 2018
Accepted: 09 Nov 2018
Published online: 05 Jun 2019 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article