Electrical Engineering
      and Computer Sciences

Electrical Engineering and Computer Sciences

COLLEGE OF ENGINEERING

UC Berkeley

The Design and Implementation of A Declarative Sensor Network System

David Chiyuan Chu, Lucian Popa, Arsalan Tavakoli, Joseph M. Hellerstein, Philip Levis, Scott Shenker and Ion Stoica

EECS Department
University of California, Berkeley
Technical Report No. UCB/EECS-2006-132
October 16, 2006

http://www.eecs.berkeley.edu/Pubs/TechRpts/2006/EECS-2006-132.pdf

Sensor networks are notoriously difficult to program, given that they encompass the complexities of both distributed and embedded systems. To address this problem, we present the design and implementation of a declarative sensor network platform, DSN: a declarative language, compiler and runtime suitable for programming a broad range of sensornet applications. We demonstrate that our approach is a natural fit for sensor networks by specifying several very different classes of traditional sensor network protocols, services and applications entirely declaratively ¿ these include tree and geographic routing, link estimation, data collection, event tracking, version coherency, and localization. To our knowledge, this is the first time these disparate sensornet tasks have been addressed by a single highlevel programming environment.We address a number of systems challenges that arise when building a generic compiler and runtime environment for the sensornet context; these include not only issues of limited resources, but also the management of asynchrony and requirements of predictable execution. Our results suggest that the declarative approach is well-suited to sensor networks, and that it can significantly improve software productivity and quality while still producing efficient, resourceconstrained code.


BibTeX citation:

@techreport{Chu:EECS-2006-132,
    Author = {Chu, David Chiyuan and Popa, Lucian and Tavakoli, Arsalan and Hellerstein, Joseph M. and Levis, Philip and Shenker, Scott and Stoica, Ion},
    Title = {The Design and Implementation of A Declarative Sensor Network System},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {2006},
    Month = {Oct},
    URL = {http://www.eecs.berkeley.edu/Pubs/TechRpts/2006/EECS-2006-132.html},
    Number = {UCB/EECS-2006-132},
    Abstract = {Sensor networks are notoriously difficult to program, given
that they encompass the complexities of both distributed and
embedded systems. To address this problem, we present the
design and implementation of a declarative sensor network
platform, DSN: a declarative language, compiler and runtime
suitable for programming a broad range of sensornet applications. We demonstrate that our approach is a natural fit for sensor networks by specifying several very different classes of traditional sensor network protocols, services and applications entirely declaratively ¿ these include tree and geographic routing, link estimation, data collection, event tracking, version coherency, and localization. To our knowledge, this is the first time these disparate sensornet tasks have been addressed by a single highlevel programming environment.We address a number of systems challenges that arise when building a generic compiler and runtime environment for the sensornet context; these include
not only issues of limited resources, but also the management of asynchrony and requirements of predictable execution. Our results suggest that the declarative approach is well-suited to sensor networks, and that it can significantly improve software productivity and quality while still producing efficient, resourceconstrained
code.}
}

EndNote citation:

%0 Report
%A Chu, David Chiyuan
%A Popa, Lucian
%A Tavakoli, Arsalan
%A Hellerstein, Joseph M.
%A Levis, Philip
%A Shenker, Scott
%A Stoica, Ion
%T The Design and Implementation of A Declarative Sensor Network System
%I EECS Department, University of California, Berkeley
%D 2006
%8 October 16
%@ UCB/EECS-2006-132
%U http://www.eecs.berkeley.edu/Pubs/TechRpts/2006/EECS-2006-132.html
%F Chu:EECS-2006-132