Towards Modeling and Simulating Behavior of CPS Based on SHML
Author:
Affiliation:

Clc Number:

Fund Project:

National Natural Science Foundation of China (61972153); National Key Research and Development Program of China (2018YFE0101000)

  • Article
  • |
  • Figures
  • |
  • Metrics
  • |
  • Reference
  • |
  • Related
  • |
  • Cited by
  • |
  • Materials
  • |
  • Comments
    Abstract:

    Cyber-Physical systems (CPS) is a unified entity that deeply integrates computing processes and physical processes. It is a next-generation intelligent system integrating computing, communication, and control. It is widely used in various applications. The dynamic behavior of CPS is always hybrid and stochastic. Modeling and simulating the behaviors of CPS is crucial for developing high-quality CPS. However, it is still lack of domain modeling approach for CPS supporting the construction of CPS domain models and simulation techniques to simulate CPS domain models. To address these issues, this study proposes a domain-specific modeling language for CPS named SHML to support modeling the behaviors of CPS. Firstly, the metamodel of SHML is defined as the abstract grammar according to the domain knowledge of CPS. Moreover, the concrete syntax and the operational semantics are also given. Secondly, based on the GEMOC studio framework, the graphical modeling tool of SHML is implemented. In addition GEMOC sequential execution engine and Scilab engine that can simulate continuous behavior are integrated, which supports the simulating hybrid behavior of CPS. The proposed wrok provides a domain modeling and simulation approach for CPS, which provides an effective approach and tool to support the modeling and simulation for CPS.

    Reference
    Related
    Cited by
Get Citation

杜德慧,管春琳,王耀,郭童.基于SHML的CPS行为建模及仿真.软件学报,2020,31(6):1587-1599

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:August 21,2019
  • Revised:October 23,2019
  • Adopted:
  • Online: April 20,2020
  • Published: June 06,2020
You are the firstVisitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address:4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code:100190
Phone:010-62562563 Fax:010-62562533 Email:jos@iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063