The Design and Implementation of a Declarative Sensor Network System

TitleThe Design and Implementation of a Declarative Sensor Network System
Publication TypeConference Paper
Year of Publication2007
AuthorsChu, D., Popa L., Tavakoli A., Hellerstein J. M., Levis P., Shenker S., & Stoica I.
Other Numbers3472

Sensor networks are notoriously difficult to program,given that they encompass the complexities of both distributedand embedded systems. To address this problem,we present the design and implementation of a declarativesensor network platform, DSN: a declarative language, compilerand runtime suitable for programming a broad range ofsensornet applications. We demonstrate that our approach isa natural fit for sensor networks by specifying several verydifferent classes of traditional sensor network protocols, servicesand applications entirely declaratively – these includetree and geographic routing, link estimation, data collection,event tracking, version coherency, and localization. To ourknowledge, this is the first time these disparate sensornettasks have been addressed by a single high-level programmingenvironment. Moreover, the declarative approach accommodatesthe desire for architectural flexibility and simplemanagement of limited resources. Our results suggestthat the declarative approach is well-suited to sensor networks,and that it can produce concise and flexible code byfocusing on what the code is doing, and not on how it is doingit.


This work was supported by generous gifts from IntelResearch, DoCoMo Capital, Foundation Capital, a StanfordTerman Fellowship, a National Science Foundation GraduateResearch Fellowship, and National Science Foundationunder grants #0615308, #0435454, #0454432 and #IIS-0205647.

Bibliographic Notes

Proceedings of the Fifth International Conference on Embedded Networked Sensor Systems (SenSys '07), pp. 175-188, Sydney, Australia

Abbreviated Authors

D. Chu, L. Popa, A. Tavakoli, J. M. Hellerstein, P. Levis, S. Shenker, and I. Stoica

ICSI Research Group

Networking and Security

ICSI Publication Type

Article in conference proceedings