Immediate detection of predicates in pervasive environments
Proceedings of the 9th International Workshop on Adaptive and Reflective Middleware
Immediate detection of predicates in pervasive environments
Journal of Parallel and Distributed Computing
Hi-index | 0.00 |
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 spatial-temporal situations. In order to detect the occurrence of spatial-temporal 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 spatial-temporal 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.