Translating CPS with Shared-Variable Concurrency in SpaceEx

Ran Li; Huibiao Zhu; Richard Banach

Translating CPS with Shared-Variable Concurrency in SpaceEx

Ran Li, Huibiao Zhu, Richard Banach

Systems and Software Security

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

Abstract

Cyber-physical systems (CPS), combining continuous physical behavior and discrete control behavior, have been widely utilized in recent years. However, the traditional modeling languages used to specify discrete systems are no longer applicable to CPS, since CPS subsume the combination of the cyber and the physical. To address this, a modeling language for CPS based on shared variables is proposed. In this paper, we present an implementation of this language in SpaceEx. Thus, a bridge between our language and hybrid automata is established.

Original language	English
Title of host publication	SETTA 2022: Symposium on Dependable Software Engineering: Theories, Tools and Applications Beijing, China, October 27-29, 2022
Publication status	Accepted/In press - 21 Sept 2022

Embargoed Document

Tran.CPS.SpaceEx
Accepted author manuscript, 337 KB
Embargo ends: 1/01/32

Cite this

@inproceedings{6063b5d6ccf34306afb9eb67fa104827,

title = "Translating CPS with Shared-Variable Concurrency in SpaceEx",

abstract = "Cyber-physical systems (CPS), combining continuous physical behavior and discrete control behavior, have been widely utilized in recent years. However, the traditional modeling languages used to specify discrete systems are no longer applicable to CPS, since CPS subsume the combination of the cyber and the physical. To address this, a modeling language for CPS based on shared variables is proposed. In this paper, we present an implementation of this language in SpaceEx. Thus, a bridge between our language and hybrid automata is established.",

author = "Ran Li and Huibiao Zhu and Richard Banach",

year = "2022",

month = sep,

day = "21",

language = "English",

booktitle = "SETTA 2022: Symposium on Dependable Software Engineering: Theories, Tools and Applications Beijing, China, October 27-29, 2022",

}

TY - GEN

T1 - Translating CPS with Shared-Variable Concurrency in SpaceEx

AU - Li, Ran

AU - Zhu, Huibiao

AU - Banach, Richard

PY - 2022/9/21

Y1 - 2022/9/21

N2 - Cyber-physical systems (CPS), combining continuous physical behavior and discrete control behavior, have been widely utilized in recent years. However, the traditional modeling languages used to specify discrete systems are no longer applicable to CPS, since CPS subsume the combination of the cyber and the physical. To address this, a modeling language for CPS based on shared variables is proposed. In this paper, we present an implementation of this language in SpaceEx. Thus, a bridge between our language and hybrid automata is established.

AB - Cyber-physical systems (CPS), combining continuous physical behavior and discrete control behavior, have been widely utilized in recent years. However, the traditional modeling languages used to specify discrete systems are no longer applicable to CPS, since CPS subsume the combination of the cyber and the physical. To address this, a modeling language for CPS based on shared variables is proposed. In this paper, we present an implementation of this language in SpaceEx. Thus, a bridge between our language and hybrid automata is established.

M3 - Conference contribution

BT - SETTA 2022: Symposium on Dependable Software Engineering: Theories, Tools and Applications Beijing, China, October 27-29, 2022

ER -

Translating CPS with Shared-Variable Concurrency in SpaceEx

Abstract

Embargoed Document

Fingerprint

Cite this