Title :
Specifying Time Constraints of Cyber Physical Systems Based on Clock Theory
Author :
Bingqing Xu ; Lichen Zhang
Author_Institution :
Shanghai Key Lab. of Trustworthy Comput., East China Normal Univ., Shanghai, China
Abstract :
Cyber Physical Systems(CPS) combines the interactions between control processes and physical processes. Behaviors of the interactions in Cyber Physical Systems are divided into discrete dynamics and continuous dynamics. The interactions must be time-constrained in order to keep system well-behaved. Both behaviors can be specified with Clock Theory, which is proposed by Jifeng He, to maintain the consistency and correctness of Cyber Physical Systems. This paper aims to show how clock works in the specification of CPS.
Keywords :
clocks; constraint theory; formal specification; CPS; clock theory; continuous dynamics; control process; cyber physical systems; discrete dynamics; physical process; time constraints; time-constrained interaction; Clocks; Inductors; Mice; Temperature control; Time factors; Unified modeling language; Vehicles; Cyber Physical Systems; continuous; discrete; specification; time constraints;
Conference_Titel :
Computational Science and Engineering (CSE), 2013 IEEE 16th International Conference on
Conference_Location :
Sydney, NSW
DOI :
10.1109/CSE.2013.93
