Constraint-guided dynamic reconfiguration in sensor networks

This work presents an approach for dynamic software reconfiguration in sensor networks. Our approach utilizes explicit models of the design space of the embedded application. The design space is captured by formally modeling all the software components, their interfaces, and their composition. System requirements are expressed as formal constraints on QoS parameters that are measured at runtime. Reconfiguration is performed by transitioning from one point of the operation space to another based on the constraints. We demonstrate our approach using simulation results for a simple sensor network that performs one-dimensional tracking.

[1]  David E. Culler,et al.  Mica: A Wireless Platform for Deeply Embedded Networks , 2002, IEEE Micro.

[2]  John Anderson,et al.  Wireless sensor networks for habitat monitoring , 2002, WSNA '02.

[3]  Robert Szewczyk,et al.  System architecture directions for networked sensors , 2000, ASPLOS IX.

[4]  Sandeep Neema,et al.  Model-integrated Tools for the Design of Dynamically Reconfigurable Systems , 2000, VLSI Design.

[5]  Sandeep Neema.  Design space representation and management for model-based embedded system synthesis , 2001 .

[6]  P. Volgyesi,et al.  Component-based development of networked embedded applications , 2002, Proceedings. 28th Euromicro Conference.

[7]  Randal E. Bryant,et al.  Symbolic Boolean manipulation with ordered binary-decision diagrams , 1992, CSUR.

[8]  Sandeep Neema,et al.  Model-integrated design toolset for polymorphous computer-based systems , 2003, 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2003. Proceedings..

[9]  Gabor Karsai,et al.  Smart Dust: communicating with a cubic-millimeter computer , 2001 .

[10]  David E. Culler,et al.  System architecture directions for networked sensors , 2000, SIGP.

[11]  Gabor Karsai,et al.  Constraint-Based Design-Space Exploration and Model Synthesis , 2003, EMSOFT.

[12]  Jürgen Teich,et al.  System-Level Synthesis Using Evolutionary Algorithms , 1998, Des. Autom. Embed. Syst..

[13]  Gabor Karsai,et al.  Composing Domain-Specific Design Environments , 2001, Computer.

[14]  Robert Laddaga,et al.  Active Software , 2000, IWSAS.

[15]  Sandeep Neema,et al.  Modeling methodology for integrated simulation of embedded systems , 2003, TOMC.

[16]  David E. Culler,et al.  TOSSIM: accurate and scalable simulation of entire TinyOS applications , 2003, SenSys '03.

[17]  Anneke Kleppe,et al.  The object constraint language: precise modeling with UML , 1998 .

[18]  George Coulouris,et al.  A QoS support framework for dynamically reconfigurable multimedia applications , 1999, DAIS.