archives

SLEDE: Event-Based Specification of Sensor Network Protocols


Home 

About 

Browse 

Search 

Register 

Subscriptions 

Deposit Papers 

Help
    

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

Full text available as:Adobe PDF

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.

Subjects:Software: SOFTWARE ENGINEERING (K.6.3): Requirements/Specifications (D.3.1)
Software: PROGRAMMING LANGUAGES: Language Constructs and Features (E.2)
Theory of Computation: LOGICS AND MEANINGS OF PROGRAMS: Specifying and Verifying and Reasoning about Programs (D.2.1, D.2.4, D.3.1, E.1)
ID code:00000435
Deposited by:Hridesh Rajan on 12 October 2006

Available Versions of This Paper



Contact site administrator at: ssg@cs.iastate.edu