Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2006 | 10.1109/ISoLA.2006.23 | ISoLA |
Keywords | Field | DocType |
logic programming,wireless sensor networks,situation-based sensor network programming,space requirements logic,spatial-temporal logic,time requirements logic | Sensor node,Key distribution in wireless sensor networks,Soft sensor,Computer science,Visual sensor network,Brooks–Iyengar algorithm,Real-time computing,Mobile wireless sensor network,Wireless sensor network,Sensor web | Conference |
Citations | PageRank | References |
4 | 0.46 | 28 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Rachel Cardell-Oliver | 1 | 271 | 33.25 |
Mark Reynolds | 2 | 93 | 15.44 |
Mark Kranz | 3 | 54 | 7.53 |