A Clock Based Framework for Specifying and Modeling the Time Constraints of Cyber Physical Systems

Though there is still a heated discussion on what is cyber-physical systems, CPS is complex system which combines continuous dynamics and discrete dynamics. Among all the unsolved problems, time constraints are critical issues for CPS especially the time-security issues. The interaction of continuous and discrete dynamics in CPS must be specified correctly due to this reason. Unfortunately, the existed methods for modeling CPS can't fullfill the requirements. Clock Theory, which is proposed by Jifeng He, can be used to specify the time constraints for dynamics of CPS. In this paper, we introduced Clock Theory and proposed case studies for specifying and modeling the time constraints of CPS with Clock Theory.