Spatio-Temporal Specification for Mobile Cyber Physical Systems

Cyber physical systems (CPS) is the integration of three processes: physical process, communication process and computation process. Due to the high demand of safety and real- time feature, CPS requires massive real-time spatial and temporal messages. Therefore, representation and demonstration of spatio- temporal information is vital in every stage, such as specification, design, operation, control, and supervision of CPS. In this paper, we propose a method combining clock theory and RCC-8 together indicating spatio-temporal information of CPS, and we present spatio-temporal sequence diagram for change tracking under the specific scene. We take vehicle system as instance to see how the method work in description of spatio-temporal information between vehicles and vehicles, vehicles and people, vehicle and surroundings in different situations.