@inproceedings{e4c4c47ed64d4a9da14074279788b969,
title = "XSHS: An Executable Domain-Specific Modeling Language for Modeling Stochastic and Hybrid Behaviors of Cyber-Physical Systems",
abstract = "Cyber-Physical Systems (CPS) integrate discrete computational processes and continuous physical ones in a feedback loop. Design and analysis of CPS become difficult since their dynamic behaviors rely on heterogeneous descriptions from many fields. Domain-Specific Modeling Language (DSML) offers an effective and tailor-made solution for focusing on a specific field. However, to address CPS we need to bring together several DSMLs in a coordinated sensible way. The GEMOC Studio is meant to be an integration platform for putting together several DSMLs. This paper relies on it and brings a new DSML, called xSHS (for Executable Stochastic Hybrid Statechart), into the focus. It aims at modeling the stochastic and hybrid behaviors of CPS. We discuss here the abstract syntax, a proposed concrete syntax and an operational semantics that makes the language executable. We exploit both the language and modeling workbenches of the GEMOC Studio and we provide a simulation engine that implements the operational semantics. A temperature control system is used as a case study.",
keywords = "CPS, GEMOC Studio, MDE, executable domain-specific modeling language, stochastic hybrid statechart",
author = "Chunlin Guan and Yi Ao and Dehui Du and Frederic Mallet",
note = "Publisher Copyright: {\textcopyright} 2018 IEEE.; 25th Asia-Pacific Software Engineering Conference, APSEC 2018 ; Conference date: 04-12-2018 Through 07-12-2018",
year = "2018",
month = jul,
day = "2",
doi = "10.1109/APSEC.2018.00090",
language = "英语",
series = "Proceedings - Asia-Pacific Software Engineering Conference, APSEC",
publisher = "IEEE Computer Society",
pages = "683--687",
booktitle = "Proceedings - 25th Asia-Pacific Software Engineering Conference, APSEC 2018",
address = "美国",
}