STeC: A Location-Triggered Specification Language for Real-Time Systems

Internet of Things (IoT) or Cyber-Physical Systems (CPS) is a new trend of real-time systems in the area of information technology. This paper introduces a spatiotemporal consistence language for real-time systems (Shortly, STeC). The consistence requires that a process do its tasks at the required location or time. Thus, this language provides a location-triggered specification for real-time systems. The interaction between real-time agents deals with agent2agent communications. STeC looks like an extension of precess algebra CSP. But, the execution-time of actions and status of agents are stressed. Two kinds of interrupts time and interaction break are considered. Following the Dijkstra's guard style, nondeterministic choice phase guarded by communications is introduced. After setting up the syntax, its operational semantics is introduced. As an example, the railroad crossing problem is specified in terms of this language STeC.