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 high-level programming environment. Moreover, the declarative approach accommodates the desire for architectural flexibility and simple management of limited resources. Our results suggest that the declarative approach is well-suited to sensor networks, and that it can produce concise and flexible code by focusing on what the code is doing, and not on how it is doing it.
- Dsn programming tutorial. http://db.cs.berkeley.edu/dsn.Google Scholar
- Omega testbed. http://omega.cs.berkeley.edu.Google Scholar
- Tinyos. http://www.tinyos.net.Google Scholar
- S. Abiteboul, Z. Abrams, S. Haar, and T. Milo. Diagnosis of Asynchronous Discrete Event Systems - Datalog to the Rescue! In ACM PODS, 2005. Google ScholarDigital Library
- M. Y. Becker and P. Sewell. Cassandra: Distributed Access Control Policies with Tunable Expressiveness. In 5th IEEE International Workshop on Policies for Distributed Systems and Networks, 2004. Google ScholarDigital Library
- D. Chu, A. Tavakoli, L. Popa, and J. M. Hellerstein. Entirely declarative sensor network systems. In VLDB '06: Proceedings of the Thirty Second International Conference on Very Large Data Bases, 2006. Google ScholarDigital Library
- D. C. Chu, L. Popa, A. Tavakoli, J. M. Hellerstein, P. Levis, S. Shenker, and I. Stoica. The design and implementation of a declarative sensor network system. Number UCB/EECS-2006-132, Oct 2006. Google ScholarDigital Library
- D. Culler, P. Dutta, C. T. Ee, R. Fonseca, J. Hui, P. Levis, and J. Zhao. Towards a Sensor Network Architecture: Lowering the Waistline. In Proceedings of HotOS, 2005. Google ScholarDigital Library
- C. Ee, R. Fonseca, S. Kim, A. Tavakoli, D. Culler, S. Shenker, and I. Stoica. A Network Layer Architecture for Sensornets. In Under Submission, 2006.Google Scholar
- C. Ee, S. Ratnasamay, and S. Shenker. Practical data-centric storage. In NSDI, 2006. Google ScholarDigital Library
- R. Fonseca, S. Ratnasamy, J. Zhao, C. T. Ee, D. Culler, S. Shenker, and I. Stoica. Beacon vector routing: Scalable point-to-point routing in wireless sensornets. In NSDI '05, 2005. Google ScholarDigital Library
- D. Gay, P. Levis, R. von Behren, M. Welsh, E. Brewer, and D. Culler. The nesc language: A holistic approach to networked embedded systems. In In ACM SIGPLAN Conference on Programming Language Design and Implementation, 2003., 2003. Google ScholarDigital Library
- O. Gnawali, B. Greenstein, K.-Y. Jang, A. Joki, J. Paek, M. Vieira, D. Estrin, R. Govindan, and E. Kohler. The tenet architecture for tiered sensor networks. In Sensys, 2006. Google ScholarDigital Library
- B. Greenstein, E. Kohler, and D. Estrin. A sensor network application construction kit (snack). In SenSys '04: Proceedings of the 2nd international conference on Embedded networked sensor systems, pages 69--80, New York, NY, USA, 2004. ACM Press. Google ScholarDigital Library
- R. Gummadi, N. Kothari, R. Govindan, and T. Millstein. Kairos: a macro-programming system for wireless sensor networks. In SOSP '05: Proceedings of the twentieth ACM symposium on Operating systems principles, pages 1--2, New York, NY, USA, 2005. ACM Press. Google ScholarDigital Library
- J. M. Hellerstein and M. Stonebraker. Anatomy of a database system. Readings in Database Systems, 4th Edition. Google ScholarDigital Library
- X. Jiang, J. Taneja, J. Ortiz, A. Tavakoli, P. Dutta, J. Jeong, D. Culler, P. Levis, and S. Shenker. An architecture for energy management in wireless sensor networks. In International Workshop on Wireless Sensor Network Architecture (WSNA07), 2007.Google ScholarDigital Library
- B. Karp and H. T. Kung. GPSR: greedy perimeter stateless routing for wireless networks. In Mobile Computing and Networking, pages 243--254, 2000. Google ScholarDigital Library
- E. Kohler, R. Morris, J. J. Benjie Chen, and M. F. Kaashoek. The click modular router. In Proceedings of the 17th Symposium on Operating Systems Principles, 2000. Google ScholarDigital Library
- J. Koshy and R. Pandey. Vm*: Synthesizing scalable runtime environments for sensor networks. In In Proceedings of the third international Conference on Embedded Networked Sensor Systems (Sensys), 2005. Google ScholarDigital Library
- R. Krishnamurthy, R. Ramakrishnan, and O. Shmueli. A framework for testing safety and effective computability of extended datalog. In SIGMOD '88: Proceedings of the 1988 ACM SIGMOD international conference on Management of data, pages 154--163, 1988. Google ScholarDigital Library
- B. Lampson. Getting computers to understand. J. ACM, 50(1), 2003. Google ScholarDigital Library
- B. Leong, B. Liskov, and R. Morris. Geographic routing without planarization. In NSDI, 2006. Google ScholarDigital Library
- P. Levis, D. Gay, and D. Culler. Active sensor networks. In NSDI, 2005. Google ScholarDigital Library
- P. Levis, N. Lee, M. Welsh, and D. Culler. Tossim: Accurate and scalable simulation of entire tinyos applications. In In Proceedings of the First ACM Conference on Embedded Networked Sensor Systems (SenSys 2003)., 2003. Google ScholarDigital Library
- P. Levis, N. Patel, D. Culler, and S. Shenker. Trickle: A self-regulating algorithm for code propagation and maintenance in wireless sensor networks. In In First Symposium on Network Systems Design and Implementation (NSDI), Mar 2004. Google ScholarDigital Library
- B. T. Loo, T. Condie, M. Garofalakis, D. E. Gay, J. M. Hellerstein, P. Maniatis, R. Ramakrishnan, T. Roscoe, and I. Stoica. Declarative networking with distributed recursive query processing. In ACM SIGMOD International Conference on Management of Data, June 2006. Google ScholarDigital Library
- B. T. Loo, T. Condie, J. M. Hellerstein, P. Maniatis, T. Roscoe, and I. Stoica. Implementing declarative overlays. In SOSP '05: Proceedings of the twentieth ACM symposium on Operating systems principles, pages 75--90, New York, NY, USA, 2005. ACM Press. Google ScholarDigital Library
- B. T. Loo, J. M. Hellerstein, I. Stoica, and R. Ramakrishnan. Declarative routing: Extensible routing with declarative queries. In ACM SIGCOMM Conference on Data Communication, August 2005. Google ScholarDigital Library
- S. Madden, M. J. Franklin, J. M. Hellerstein, and W. Hong. Tag: A tiny aggregation service for ad-hoc sensor networks. In OSDI, 2002. Google ScholarDigital Library
- S. Madden, M. J. Franklin, J. M. Hellerstein, and W. Hong. Tinydb: An acquisitional query processing system for sensor networks. Transactions on Database Systems (TODS), March 2005. Google ScholarDigital Library
- G. Mainland, M. Welsh, and G. Morrisett. Flask: A language for data-driven sensor network programs. Technical Report TR-13-06, Harvard Tech Report, May 2006.Google Scholar
- R. Newton and M. Welsh. Region streams: functional macroprogramming for sensor networks. In DMSN '04: Proceeedings of the 1st international workshop on Data management for sensor networks, pages 78--87, New York, NY, USA, 2004. ACM Press. Google ScholarDigital Library
- S. Oh, P. Chen, M. Manzo, and S. Sastry. Instrumenting wireless sensor networks for real-time surveillance. In Proc. of the International Conference on Robotics and Automation, May 2006.Google Scholar
- J. Ong, D. Fogg, and M. Stonebraker. Implementation of data abstraction in the relational database system ingres. SIGMOD Rec., 14(1):1--14, 1983. Google ScholarDigital Library
- J. Polastre, J. Hui, P. Levis, J. Zhao, D. Culler, S. Shenker, and I. Stoica. A unifying link abstraction for wireless sensor networks. In Sen-Sys '05: Proceedings of the 3rd international conference on Embedded networked sensor systems, pages 76--89, New York, NY, USA, 2005. ACM Press. Google ScholarDigital Library
- J. Polastre, R. Szewczyk, and D. Culler. Telos: enabling ultra-low power wireless research. In Proceedings of the 4th international symposium on Information Processing in Sensor Networks, 2005. Google ScholarDigital Library
- R. Ramakrishnan and J. D. Ullman. A survey of research on deductive database systems. Journal of Logic Programming, 23(2):125--149, 1993.Google ScholarCross Ref
- A. Rao, C. Papadimitriou, S. Shenker, and I. Stoica. Geographic routing without location information. In MobiCom '03: Proceedings of the 9th annual international conference on Mobile computing and networking, pages 96--108, New York, NY, USA, 2003. ACM Press. Google ScholarDigital Library
- A. Singh, P. Maniatis, T. Roscoe, and P. Druschel. Distributed Monitoring and Forensics in Overlay Networks. In Eurosys, 2006. Google ScholarDigital Library
- R. Szewczyk, J. Polastre, A. Mainwaring, and D. Culler. Lessons from a sensor network expedition. In 1st European Workshop on Wireless Sensor Networks (EWSN), 2004.Google ScholarCross Ref
- G. Tolle and D. Culler. Design of an application-cooperative management system for wireless sensor networks. January 2005.Google Scholar
- M. Welsh and G. Mainland. Programming sensor networks using abstract regions. In NSDI, 2004. Google ScholarDigital Library
- G. Werner-Allen, K. Lorincz, J. Johnson, J. Lees, and M. Welsh. Fidelity and yield in a volcano monitoring sensor network. In In Proceedings of the 7th USENIX Symposium on Operating Systems Design and Implementation (OSDI 2006), 2006. Google ScholarDigital Library
- J. Whaley and M. S. Lam. Cloning-Based Context-Sensitive Pointer Alias Analysis Using Binary Decision Diagrams. In PLDI, 2004. Google ScholarDigital Library
- K. Whitehouse, J. Liu, and F. Zhao. Semantic streams: a framework for composable inference over sensor data. In The Third European Workshop on Wireless Sensor Networks (EWSN), Springer-Verlag Lecture Notes in Computer Science, February 2006. Google ScholarDigital Library
- A. Woo and D. Culler. Evaluation of efficient link reliability estimators for low-power wireless networks, 2003.Google Scholar
- H. Zeng, C. S. Ellis, A. R. Lebeck, and A. Vahdat. Currentcy: A unifying abstraction for expressing energy. In Usenix Annual Technical Conference, June 2003. Google ScholarDigital Library
Index Terms
- The design and implementation of a declarative sensor network system
Recommendations
Acoustic sensor network design for position estimation
In this article, we develop tractable mathematical models and approximate solution algorithms for a class of integer optimization problems with probabilistic and deterministic constraints, with applications to the design of distributed sensor networks ...
An efficient cluster-based communication protocol for wireless sensor networks
A wireless sensor network is a network of large numbers of sensor nodes, where each sensor node is a tiny device that is equipped with a processing, sensing subsystem and a communication subsystem. The critical issue in wireless sensor networks is how ...
Coverage-aware sensor engagement in dense sensor networks
Selected papers of EUC 2005Wireless sensor networks are capable of carrying out surveillance missions for various applications in remote areas without human interventions. An essential issue of sensor networks is to search for the balance between the limited battery supply and the ...
Comments