|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
| | ||
| Search | ||
| ||
2012 IEEE 17th International Conference on Engineering of Complex Computer Systems
Spatio-temporal UML Statechart for Cyber-Physical Systems
Paris, France France
July 18-July 20
ISBN: 978-1-4673-2156-3
| ASCII Text | x | ||
| Ziwei Liu, Jing Liu, Jifeng He, Zuohua Ding, "Spatio-temporal UML Statechart for Cyber-Physical Systems," Engineering of Complex Computer Systems, IEEE International Conference on, pp. 137-146, 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems, 2012. | |||
| BibTex | x | ||
| @article{ 10.1109/ICECCS.2012.36, author = {Ziwei Liu and Jing Liu and Jifeng He and Zuohua Ding}, title = {Spatio-temporal UML Statechart for Cyber-Physical Systems}, journal ={Engineering of Complex Computer Systems, IEEE International Conference on}, volume = {0}, year = {2012}, isbn = {978-1-4673-2156-3}, pages = {137-146}, doi = {http://doi.ieeecomputersociety.org/10.1109/ICECCS.2012.36}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - Engineering of Complex Computer Systems, IEEE International Conference on TI - Spatio-temporal UML Statechart for Cyber-Physical Systems SN - 978-1-4673-2156-3 SP137 EP146 A1 - Ziwei Liu, A1 - Jing Liu, A1 - Jifeng He, A1 - Zuohua Ding, PY - 2012 KW - Clocks KW - Unified modeling language KW - Semantics KW - Observers KW - Automata KW - Syntactics KW - Computational modeling KW - Intelligent Transportation System KW - MARTE KW - hybrid automata VL - 0 JA - Engineering of Complex Computer Systems, IEEE International Conference on ER - | |||
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.
Index Terms:
Clocks,Unified modeling language,Semantics,Observers,Automata,Syntactics,Computational modeling,Intelligent Transportation System,MARTE,hybrid automata
Citation:
Ziwei Liu, Jing Liu, Jifeng He, Zuohua Ding, "Spatio-temporal UML Statechart for Cyber-Physical Systems," iceccs, pp.137-146, 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems, 2012
Usage of this product signifies your acceptance of the Terms of Use.
