Skip to Main content Skip to Navigation
Conference papers

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.
Complete list of metadatas

https://hal.inria.fr/hal-01898219
Contributor : Frédéric Mallet <>
Submitted on : Thursday, October 18, 2018 - 11:09:11 AM
Last modification on : Wednesday, March 11, 2020 - 5:16:06 PM

Identifiers

  • HAL Id : hal-01898219, version 1

Collections

Citation

Chunlin Guan, Yi Ao, Dehui Du, Frédéric Mallet. xSHS: An Executable Domain-Specific Modeling Language for Modeling Stochastic and Hybrid Behaviors of Cyber-Physical Systems. APSEC 2018 - 25th Asia-Pacific Software Engineering Conference, Dec 2018, Nara, Japan. ⟨hal-01898219⟩

Share

Metrics

Record views

122