Title :
A Space and Time Requirements Logic for Sensor Networks
Author :
Cardell-Oliver, Rachel ; Reynolds, Mark ; Kranz, Mark
Author_Institution :
Univ. of Western Australia, Perth
Abstract :
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.
Keywords :
logic programming; wireless sensor networks; situation-based sensor network programming; space requirements logic; spatial-temporal logic; time requirements logic; Acoustic sensors; Application software; Chemical sensors; Computer science; Explosions; Logic programming; Object oriented modeling; Protocols; Sensor systems; Wireless sensor networks;
Conference_Titel :
Leveraging Applications of Formal Methods, Verification and Validation, 2006. ISoLA 2006. Second International Symposium on
Conference_Location :
Paphos
Print_ISBN :
978-0-7695-3071-0
DOI :
10.1109/ISoLA.2006.23
