TY - GEN
T1 - Spatio-temporal UML statechart for cyber-physical systems
AU - Liu, Ziwei
AU - Liu, Jing
AU - He, Jifeng
AU - Ding, Zuohua
PY - 2012
Y1 - 2012
N2 - Cyber-Physical Systems (CPSs) integrate computing, communication and control processes. Therefore, both time and space information are required in the design and modeling of CPS systems. CPS also requires demanding real time property. However, unified modeling of continuous and discrete variables is still an unsolved problem in the CPS development. In this paper we propose an extended UML state chart, Spatio-Temporal UML state chart for Cyber-Physical Systems (STUML State chart). This state chart is based on the UML Profile for Modeling and Analysis of Real-time and Embedded (MARTE) systems. In STUML State charts, we unify the logical time and the chronometric time variables, and extend the traditional events to CPS events. Based on MARTE and hybrid automata, we improve the STUML state chart, and based on Labeled Transition Systems, we define formal syntax and semantics of STUML state charts. At the end of this paper, an Intelligent Transportation System is employed as an example to show how to model the system behavior with STUML state charts.
AB - Cyber-Physical Systems (CPSs) integrate computing, communication and control processes. Therefore, both time and space information are required in the design and modeling of CPS systems. CPS also requires demanding real time property. However, unified modeling of continuous and discrete variables is still an unsolved problem in the CPS development. In this paper we propose an extended UML state chart, Spatio-Temporal UML state chart for Cyber-Physical Systems (STUML State chart). This state chart is based on the UML Profile for Modeling and Analysis of Real-time and Embedded (MARTE) systems. In STUML State charts, we unify the logical time and the chronometric time variables, and extend the traditional events to CPS events. Based on MARTE and hybrid automata, we improve the STUML state chart, and based on Labeled Transition Systems, we define formal syntax and semantics of STUML state charts. At the end of this paper, an Intelligent Transportation System is employed as an example to show how to model the system behavior with STUML state charts.
KW - Intelligent Transportation System
KW - MARTE
KW - hybrid automata
UR - https://www.scopus.com/pages/publications/84867976475
U2 - 10.1109/ICECCS.2012.36
DO - 10.1109/ICECCS.2012.36
M3 - 会议稿件
AN - SCOPUS:84867976475
SN - 9782954181004
T3 - Proceedings - 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems, ICECCS 2012
SP - 137
EP - 146
BT - Proceedings - 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems, ICECCS 2012
PB - IEEE Computer Society
T2 - 17th International Conference on Engineering of Complex Computer Systems, ICECCS 2012
Y2 - 18 July 2012 through 20 July 2012
ER -