By Topic

Spatio-temporal UML Statechart for Cyber-Physical Systems

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

4 Author(s)
Ziwei Liu ; Shanghai Key Lab. of Trustworthy Comput., East China Normal Univ., Shanghai, China ; Jing Liu ; Jifeng He ; Zuohua Ding

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.

Published in:

Engineering of Complex Computer Systems (ICECCS), 2012 17th International Conference on

Date of Conference:

18-20 July 2012