Reconfiguration Strategies for Environmentally Powered Devices: Theoretical Analysis and Experimental Validation

Environmental energy is becoming a feasible alternative to traditional energy sources for ultra low-power devices such as sensor nodes. These devices can run reactive applications that adapt their control flow depending on the sensed data. In order to reduce the energy consumption of the platform and also to meet the timing constraints imposed by the application, we propose to dynamically reconfigure the system through the use of Field Programmable Gate Array (FPGA) fabric such that it executes more efficiently the tasks of the application. In this paper we present a new approach that enables the designer to efficiently explore different reconfiguration strategies for environmentally powered systems. For this we define a stochastic model of a harvesting video sensor node that captures the behavior of the node and of its environment. We use this approach to investigate the impact of different reconfiguration strategies for a video surveillance node on metrics of interest, such as the expected lifetime or downtime of the system. Then, we create a hardware implementation of an energy-aware reconfiguration manager on top of a custom multi-FPGA board. Our results show that the systems improve their processing capabilities if suitable reconfiguration strategies are defined for their respective configuration environments.

[1]  Tom Torfs,et al.  Sensor Cubes: A Modular, Ultra-Compact, Power Aware Platform for Sensor Networks , 2006 .

[2]  Deborah Estrin,et al.  Guest Editors' Introduction: Overview of Sensor Networks , 2004, Computer.

[3]  Christian C. Enz,et al.  WiseNET: an ultralow-power wireless sensor network solution , 2004, Computer.

[4]  Bengt Jonsson,et al.  A logic for reasoning about time and reliability , 1990, Formal Aspects of Computing.

[5]  Marta Z. Kwiatkowska,et al.  PRISM 2.0: a tool for probabilistic model checking , 2004, First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings..

[6]  Miodrag Potkonjak,et al.  System-architectures for sensor networks issues, alternatives, and directions , 2002, Proceedings. IEEE International Conference on Computer Design: VLSI in Computers and Processors.

[7]  Xiuzhen Cheng,et al.  Strong Minimum Energy Topology in Wireless Sensor Networks: NP-Completeness and Heuristics , 2003, IEEE Trans. Mob. Comput..

[8]  Jan M. Rabaey,et al.  Improving power output for vibration-based energy scavengers , 2005, IEEE Pervasive Computing.

[9]  Stephan Merz,et al.  Model Checking , 2000 .

[10]  W.J. Kaiser,et al.  The low power energy aware processing (LEAP) embedded networked sensor system , 2006, 2006 5th International Conference on Information Processing in Sensor Networks.

[11]  Edmund M. Clarke,et al.  Model Checking , 1999, Handbook of Automated Reasoning.

[12]  Jan M. Rabaey,et al.  PicoRadio Supports Ad Hoc Ultra-Low Power Wireless Networking , 2000, Computer.

[13]  Anantha Chandrakasan,et al.  Dynamic Power Management in Wireless Sensor Networks , 2001, IEEE Des. Test Comput..

[14]  J. Lach,et al.  Power-Efficient Adaptable Wireless Sensor Networks , 2003 .

[15]  Enrico Magli,et al.  Low-complexity video compression for wireless sensor networks , 2003, 2003 International Conference on Multimedia and Expo. ICME '03. Proceedings (Cat. No.03TH8698).

[16]  Thomas A. Henzinger,et al.  Reactive Modules , 1999, Formal Methods Syst. Des..

[17]  Joseph A. Paradiso,et al.  Energy scavenging for mobile and wireless electronics , 2005, IEEE Pervasive Computing.

[18]  Hobart R. Everett,et al.  Using Video Sensor Networks to Command and Control Unmanned Ground Vehicles , 2003 .

[19]  L. Alvisi,et al.  A Survey of Rollback-Recovery Protocols , 2002 .

[20]  Guillermo Barrenetxea,et al.  A Weather Station for SensorScope , 2006 .

[21]  Andrea Bianco,et al.  Model Checking of Probabalistic and Nondeterministic Systems , 1995, FSTTCS.

[22]  Luca Benini,et al.  A survey of design techniques for system-level dynamic power management , 2000, IEEE Trans. Very Large Scale Integr. Syst..

[23]  Robert Tappan Morris,et al.  Span: An Energy-Efficient Coordination Algorithm for Topology Maintenance in Ad Hoc Wireless Networks , 2002, Wirel. Networks.