A Space and Time Requirements Logic for Sensor Networks

Rachel Cardell-Oliver, Mark Reynolds, Mark Kranz
2006 Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006)  
User requirements for sensor network applications can be expressed as spatial and temporal constraints on the events observed by sensor network nodes. In this paper a novel logic is introduced for expressing such sensor network requirements. The bi-modal requirements logic is based on timed propositional temporal logic and a one-hop spatial modal logic. The logic is used for expressing sensor network requirements, called spatialtemporal situations. In order to detect the occurrence of
more » ... poral situations in a sensor network, we also propose implementation protocols that run on sensor nodes, filtering events and searching for required properties. The feasibility of spatialtemporal situations and situation detection for sensor network programming 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.
doi:10.1109/isola.2006.23 dblp:conf/isola/Cardell-OliverRK06 fatcat:yj73fmbnjvh33kes5gy6lculhe