A Space and Time Requirements Logic for Sensor Networks

A new framework is presented for sensor network programming with situations. User requirements are expressed in terms of temporal and spatial constraints on the events observed by sensor network nodes. A novel spatial-temporal logic is introduced for this task. We also specify protocols for situation detection that can be executed on sensor nodes to meet those requirements. The feasibility of situation-based sensor network programming using our framework is illustrated by two examples: a temporal situation for recognising the occurrence of an explosion, and a spatial situation for detecting contours in a sensor node field.