xSHS: An Executable Domain-Specific Modeling Language for Modeling Stochastic and Hybrid Behaviors of Cyber-Physical Systems - Archive ouverte HAL Access content directly
Conference Papers Year :

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

(1) , (1) , (2) , (3, 4, 5, 6)
1
2
3
4
5
6

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.
Not file

Dates and versions

hal-01898219 , version 1 (18-10-2018)

Identifiers

  • HAL Id : hal-01898219 , version 1

Cite

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⟩
119 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More