From missions to systems: generating transparently distributable programs for sensor-oriented systems

Early Wireless Sensor Networks aimed simply to collect as much data as possible for as long as possible. While this remains true in selected cases, the majority of future sensor network applications will demand much more intelligent use of their resources as networks increase in scale and support multiple applications and users. Specifically, we argue that a computational model is needed in which the ways that data flows through networks, and the ways in which decisions are made based on that data, is transparently distributable and relocatable as requirements evolve. In this paper we present an approach to achieving this using high-level mission specifications from which we can automatically derive transparently distributable programs.

[1]  Gordon S. Blair,et al.  An experiment with reflective middleware to support grid-based flood monitoring , 2008 .

[2]  Philip Levis,et al.  Maté: a tiny virtual machine for sensor networks , 2002, ASPLOS X.

[3]  Koen Langendoen,et al.  Efficient code distribution in wireless sensor networks , 2003, WSNA '03.

[4]  Ramesh Govindan,et al.  TOSThreads: thread-safe and non-invasive preemption in TinyOS , 2009, SenSys '09.

[5]  Frank Eliassen,et al.  A self-adaptive context processing framework for wireless sensor networks , 2008, MidSens '08.

[6]  Luca Mottola,et al.  Programming wireless sensor networks with logical neighborhoods: a road tunnel use case , 2007, SenSys '07.

[7]  Peter I. Corke,et al.  Darjeeling, a Java compatible virtual machine for microcontrollers , 2008, Companion '08.

[8]  Ryan Newton,et al.  Region streams: functional macroprogramming for sensor networks , 2004, DMSN '04.

[9]  Rüdiger Kapitza,et al.  Stateful Mobile Modules for Sensor Networks , 2010, DCOSS.

[10]  Jörg Widmer,et al.  In-network aggregation techniques for wireless sensor networks: a survey , 2007, IEEE Wireless Communications.

[11]  Ryan Newton,et al.  Sensor network programming with Flask , 2007, SenSys '07.

[12]  David E. Culler,et al.  The dynamic behavior of a data dissemination protocol for network programming at scale , 2004, SenSys '04.

[13]  David E. Culler,et al.  sMAP: a simple measurement and actuation profile for physical information , 2010, SenSys '10.

[14]  S. Gilmore,et al.  Automatically deriving ODEs from process algebra models of signalling pathways , 2005 .

[15]  Gerard J. Holzmann,et al.  Implementing statecharts in PROMELA/SPIN , 1998, Proceedings. 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques.

[16]  John A. Stankovic,et al.  An In-Field-Maintenance Framework for Wireless Sensor Networks , 2008, DCOSS.

[17]  Daniel A. Menascé,et al.  A framework for resource allocation in grid computing , 2004, The IEEE Computer Society's 12th Annual International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems, 2004. (MASCOTS 2004). Proceedings..

[18]  Matt Welsh,et al.  Resource aware programming in the Pixie OS , 2008, SenSys '08.

[19]  Utz Roedig,et al.  Type-safe updating for modular WSN software , 2011, 2011 International Conference on Distributed Computing in Sensor Systems and Workshops (DCOSS).

[20]  Wei Hong,et al.  TinyDB: an acquisitional query processing system for sensor networks , 2005, TODS.