xSHS: An Executable Domain-Specific Modeling Language for Modeling Stochastic and Hybrid Behaviors of Cyber-Physical Systems

• Published in: 2018 25th Asia-Pacific Software Engineering Conference (APSEC) pp. 683 - 687
• Main Authors: Guan, Chunlin, Ao, Yi, Du, Dehui, Mallet, Frederic
• Format: Conference Proceeding
• Language: English
• Published: IEEE 01.12.2018
• Subjects: Computational modeling; CPS; executable domain-specific modeling language; GEMOC Studio; MDE; Semantics; stochastic hybrid statechart; Stochastic processes; Switches; Syntactics; Temperature control; Unified modeling language
• ISSN: 2640-0715
• DOI: 10.1109/APSEC.2018.00090

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.