Abstract
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.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
