Specifying Spatio-Temporal Properties for Mobile Cyber Physical Systems
Lichen Zhang · 2018
Mobile cyber physical systems, in which the physical system under study has inherent mobility, are a prominent subcategory of cyber-physical systems. Mobile cyber physical systems are spatio-temporal in the sense that correct behavior will be defined in terms of both space and time. Therefore, both temporal and spatial requirements should be taken into consideration when specifying mobile cyber physical systems. However, how to represent spatio-temporal properties is still a huge challenge in the mobile cyber physical development process. 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.