SLEDE: Event-Based Specification of Sensor Network Protocols

Hanna, Youssef, Rajan, Hridesh and Zhang, Wensheng (2006) SLEDE: Event-Based Specification of Sensor Network Protocols. Technical Report, Computer Science, Iowa State University.

There is a later version of this eprint available: Click here to view it.

Abstract

There appears to be an impedance mismatch between sensor networks implementation and specification languages. The dominant implementation language nesC supports an event-driven programming paradigm. This paradigm is arguably a better fit for this domain. Typical applications of sensor networks do not view computation as processing data; instead, there core behavior often required them to respond to the change in their surroundings. Existing specification languages are message-driven. Emulating an event-driven paradigm in a message-driven paradigm seems to be unnecessarily complicated. To address the challenge, in this work we present SLEDE, a Specification Language for Event Driven Environments. The technical contributions of this work include syntax and an informal semantics of the specification language. We also present a preliminary validation of the properties of SLEDE through informal specification of sensor network security protocol such as $\mu$Tesla.

Available Versions of This Paper

• SLEDE: Event-Based Specification of Sensor Network Protocols (deposited 12 October 2006) [Currently displayed]
  • Lightweight Specification Language and Verification Framework for Sensor Network Security Protocols (deposited 11 December 2006)