Sophisticated Batteryless Sensing

Wireless embedded sensing systems have revolutionized scientific, industrial, and consumer applications. Sensors have become a fixture in our daily lives, as well as the scientific and industrial communities by allowing continuous monitoring of people, wildlife, plants, buildings, roads and highways, pipelines, and countless other objects. Recently a new vision for sensing has emerged—known as the Internet-of-Things (IoT)—where trillions of devices invisibly sense, coordinate, and communicate to support our life and well being. However, the sheer scale of the IoT has presented serious problems for current sensing technologies— mainly, the unsustainable maintenance, ecological, and economic costs of recycling or disposing of trillions of batteries. This energy storage bottleneck has prevented massive deployments of tiny sensing devices at the edge of the IoT. This dissertation explores an alternative—leave the batteries behind, and harvest the energy required for sensing tasks from the environment the device is embedded in. These sensors can be made cheaper, smaller, and will last decades longer than their battery powered counterparts, making them a perfect fit for the requirements of the IoT. These sensors can be deployed where battery powered sensors cannot—embedded in concrete, shot into space, or even implanted in animals and people. However, these batteryless sensors may lose power at any point, with no warning, for unpredictable lengths of time. Programming, profiling, debugging, and building applications with these devices pose significant challenges. First, batteryless devices operate in unpredictable environments, where voltages vary and power failures can occur at any time—often devices are in failure for hours. Second, a device’s behavior effects the amount of energy they can harvest—meaning small changes in tasks can drastically change harvester efficiency. Third, the programming interfaces of batteryless devices are ill-defined and nonintuitive; most developers have trouble anticipating the problems inherent with an intermittent power supply. Finally, the lack of community, and a standard usable hardware platform have reduced the resources and prototyping ability of the developer. In this dissertation we present solutions to these challenges in the form of a tool for repeatable and realistic experimentation called Ekho, a reconfigurable hardware platform named Flicker, and a language and runtime for timely execution of intermittent programs called Mayfly.

[1]  Jacob Sorber,et al.  Tragedy of the Coulombs: Federating Energy Storage for Tiny, Intermittently-Powered Sensors , 2015, SenSys.

[2]  Prabal Dutta,et al.  PowerBlade: A Low-Profile, True-Power, Plug-Through Energy Meter , 2015, SenSys.

[3]  Gil Zussman,et al.  Movers and Shakers: Kinetic Energy Harvesting for the Internet of Things , 2013, IEEE Journal on Selected Areas in Communications.

[4]  Alan Lipschultz,et al.  Batteries in a Portable World , 2015 .

[5]  J. Tarascon,et al.  Towards greener and more sustainable batteries for electrical energy storage. , 2015, Nature chemistry.

[6]  David E. Culler,et al.  Lessons from a Sensor Network Expedition , 2004, EWSN.

[7]  Damith Chinthana Ranasinghe,et al.  Towards falls prevention: A wearable wireless and battery-less sensing and automatic identification tag for real time monitoring of human movements , 2012, 2012 Annual International Conference of the IEEE Engineering in Medicine and Biology Society.

[8]  Oliver Stecklina,et al.  TandemStack - A Flexible and Customizable Sensor Node Platform for Low Power Applications , 2012, SENSORNETS.

[9]  Adam Dunkels,et al.  Contiki - a lightweight and flexible operating system for tiny networked sensors , 2004, 29th Annual IEEE International Conference on Local Computer Networks.

[10]  Luca P. Carloni,et al.  Prototyping energy harvesting active networked tags (EnHANTs) , 2013, 2013 Proceedings IEEE INFOCOM.

[11]  Luca Mottola,et al.  Efficient State Retention for Transiently-powered Embedded Sensing , 2016, EWSN.

[12]  Ari Juels,et al.  Minimalist Cryptography for Low-Cost RFID Tags , 2004, SCN.

[13]  Leslie Lamport,et al.  Time, clocks, and the ordering of events in a distributed system , 1978, CACM.

[14]  Anthony Rowe,et al.  The Swarm at the Edge of the Cloud , 2015, IEEE Design & Test.

[15]  Jacob Sorber,et al.  Realistic Simulation for Tiny Batteryless Sensors , 2016 .

[16]  David Blaauw,et al.  A sub-pW timer using gate leakage for ultra low-power sub-Hz monitoring systems , 2007, 2007 IEEE Custom Integrated Circuits Conference.

[17]  J. B. Brooke,et al.  SUS: A 'Quick and Dirty' Usability Scale , 1996 .

[18]  Brian Otis,et al.  SOCWISP: A 9 μA, Addressable Gen2 Sensor Tag for Biosignal Acquisition , 2013 .

[19]  Prabal Dutta,et al.  An energy-harvesting sensor architecture and toolkit for building monitoring and event detection , 2014, BuildSys@SenSys.

[20]  Kevin Fu,et al.  Getting Things Done on Computational RFIDs with Energy-Aware Checkpointing and Voltage-Aware Scheduling , 2008, HotPower.

[21]  Amir Rahmati,et al.  TARDIS: Time and Remanence Decay in SRAM to Implement Secure Protocols on Embedded Devices without Clocks , 2012, USENIX Security Symposium.

[22]  Md. Yusuf Sarwar Uddin,et al.  Virtual Battery: An Energy Reserve Abstraction for Embedded Sensor Networks , 2008, 2008 Real-Time Systems Symposium.

[23]  Wenbo Mao Timed-Release Cryptography , 2001, Selected Areas in Cryptography.

[24]  Timothy Scott,et al.  Ekho: realistic and repeatable experimentation for tiny energy-harvesting sensors , 2014, SenSys.

[25]  Farinaz Koushanfar,et al.  Idetic: A high-level synthesis approach for enabling long computations on transiently-powered ASICs , 2013, 2013 IEEE International Conference on Pervasive Computing and Communications (PerCom).

[26]  Amir Rahmati,et al.  Persistent Clocks for Batteryless Sensing Devices , 2016, ACM Trans. Embed. Comput. Syst..

[27]  Ludovic Rousseau Secure Time in a Portable Device , 2001 .

[28]  Matthew Hicks,et al.  Intermittent Computation without Hardware Support or Programmer Intervention , 2016, OSDI.

[29]  R. M. Swanson,et al.  Ion-implanted complementary MOS transistors in low-voltage circuits , 1972 .

[30]  Dan Rubenstein,et al.  Energy harvesting active networked tags (EnHANTs) for ubiquitous object networking , 2010, IEEE Wireless Communications.

[31]  Eric Jones,et al.  SciPy: Open Source Scientific Tools for Python , 2001 .

[32]  Anantha Chandrakasan,et al.  Platform architecture for solar, thermal and vibration energy combining with MPPT and single inductor , 2011, 2011 Symposium on VLSI Circuits - Digest of Technical Papers.

[33]  Mani B. Srivastava,et al.  Heliomote: enabling long-lived sensor networks through solar energy harvesting , 2005, SenSys '05.

[34]  Dong Kun Noh,et al.  SolarStore: enhancing data reliability in solar-powered storage-centric sensor networks , 2009, MobiSys '09.

[35]  Hossam S. Hassanein,et al.  WSN platform Plug-and-Play (PnP) customization , 2014, 2014 IEEE Ninth International Conference on Intelligent Sensors, Sensor Networks and Information Processing (ISSNIP).

[36]  Adam Dunkels,et al.  Software-based on-line energy estimation for sensor nodes , 2007, EmNets '07.

[37]  Ryan J. Halter,et al.  Amulet: An Energy-Efficient, Multi-Application Wearable Platform , 2016, SenSys.

[38]  Pedro José Marrón,et al.  COOJA/MSPSim: interoperability testing for wireless sensor networks , 2009, SimuTools.

[39]  Philip Levis,et al.  The nesC language: a holistic approach to networked embedded systems , 2003, SIGP.

[40]  J.C. Balda,et al.  A Survey of Systems to Integrate Distributed Energy Resources and Energy Storage on the Utility Grid , 2008, 2008 IEEE Energy 2030 Conference.

[41]  Mani B. Srivastava,et al.  Power management in energy harvesting sensor networks , 2007, TECS.

[42]  Prabal Dutta,et al.  Grafting energy-harvesting leaves onto the sensornet tree , 2012, 2012 ACM/IEEE 11th International Conference on Information Processing in Sensor Networks (IPSN).

[43]  Brandon Lucia,et al.  Energy-interference-free system and toolchain support for energy-harvesting devices , 2015, 2015 International Conference on Compilers, Architecture and Synthesis for Embedded Systems (CASES).

[44]  Prabal Dutta,et al.  Energy-harvesting thermoelectric sensing for unobtrusive water and appliance metering , 2014, ENSsys@SenSys.

[45]  Ronald L. Rivest,et al.  Time-lock Puzzles and Timed-release Crypto , 1996 .

[46]  Neil M. White,et al.  Energy-Aware Simulation for Wireless Sensor Networks , 2009, 2009 6th Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks.

[47]  Chiara Petrioli,et al.  GreenCastalia: an energy-harvesting-enabled framework for the Castalia simulator , 2013, ENSSys '13.

[48]  Benjamin Ransford,et al.  Moo : A Batteryless Computational RFID and Sensing Platform , 2011 .

[49]  Luca P. Carloni,et al.  Energy-Harvesting Active Networked Tags (EnHANTs) , 2015, ACM Trans. Sens. Networks.

[50]  Srdjan Capkun,et al.  Secure time synchronization service for sensor networks , 2005, WiSe '05.

[51]  Kevin Fu,et al.  Ekho: bridging the gap between simulation and reality in tiny energy-harvesting sensors , 2011, HotPower '11.

[52]  David Wetherall,et al.  Dewdrop: An Energy-Aware Runtime for Computational RFID , 2011, NSDI.

[53]  Chintan Patel,et al.  SunaPlayer: high-accuracy emulation of solar cells , 2015, IPSN '15.

[54]  Luca Mottola,et al.  Programming wireless sensor networks , 2011, ACM Comput. Surv..

[55]  Matt Welsh,et al.  Flask: staged functional programming for sensor networks , 2008, ICFP.

[56]  Brandon Lucia,et al.  Chain: tasks and channels for reliable intermittent programs , 2016, OOPSLA.

[57]  Stewart J. Thomas,et al.  Electromagnetic Energy Harvesting for Sensing, Communication, and Actuation , 2010 .

[58]  Kevin Fu,et al.  On the limits of effective hybrid micro-energy harvesting on mobile CRFID sensors , 2010, MobiSys '10.

[59]  Farinaz Koushanfar,et al.  Automated checkpointing for enabling intensive applications on energy harvesting devices , 2013, International Symposium on Low Power Electronics and Design (ISLPED).

[60]  Anantha Chandrakasan,et al.  Vibration-to-electric energy conversion , 2001, IEEE Trans. Very Large Scale Integr. Syst..

[61]  Henk Jan Bergveld,et al.  Battery Aging and Its Influence on the Electromotive Force , 2007 .

[62]  Mark D. Corner,et al.  Eon: a language and runtime system for perpetual systems , 2007, SenSys '07.

[63]  James T. Miller,et al.  An Empirical Evaluation of the System Usability Scale , 2008, Int. J. Hum. Comput. Interact..

[64]  Luca Benini,et al.  Hibernus: Sustaining Computation During Intermittent Supply for Energy-Harvesting Systems , 2015, IEEE Embedded Systems Letters.

[65]  Ting Zhu,et al.  Leakage-aware energy synchronization for wireless sensor networks , 2009, MobiSys '09.

[66]  Muhammad Hamad Alizai,et al.  Simulating Intermittently Powered Embedded Networks , 2016, EWSN.

[67]  Pai H. Chou,et al.  Everlast: long-life, supercapacitor-operated wireless sensor node , 2005, SenSys '05.

[68]  Ting Zhu,et al.  Feedback Control-Based Energy Management for Ubiquitous Sensor Networks , 2010, IEICE Trans. Commun..

[69]  Ari Juels,et al.  RFID security and privacy: a research survey , 2006, IEEE Journal on Selected Areas in Communications.

[70]  David E. Culler,et al.  Perpetual environmentally powered sensor networks , 2005, IPSN 2005. Fourth International Symposium on Information Processing in Sensor Networks, 2005..

[71]  Pai H. Chou,et al.  EmPro: an Environment/Energy Emulation and Profiling Platform for Wireless Sensor Networks , 2006, 2006 3rd Annual IEEE Communications Society on Sensor and Ad Hoc Communications and Networks.

[72]  Kevin Fu,et al.  Mementos: system support for long-running computation on RFID-scale devices , 2011, ASPLOS XVI.

[73]  Pai H. Chou,et al.  B#: a battery emulator and power-profiling instrument , 2003, IEEE Design & Test of Computers.

[74]  Alex S. Weddell,et al.  Enspect: A Complete Tool using Modeling and Real Data to Assist the Design of Energy Harvesting Systems , 2015, ENSsys@SenSys.

[75]  Pai H. Chou,et al.  AmbiMax: Autonomous Energy Harvesting Platform for Multi-Supply Wireless Sensor Nodes , 2006, 2006 3rd Annual IEEE Communications Society on Sensor and Ad Hoc Communications and Networks.

[76]  Brandon Lucia,et al.  A simpler, safer programming and execution model for intermittent systems , 2015, PLDI.

[77]  Deepak Ganesan,et al.  QuarkOS: Pushing the Operating Limits of Micro-Powered Sensors , 2013, HotOS.

[78]  Rastislav Bodík,et al.  Chlorophyll : Synthesis-Aided Compiler for Low-Power Spatial Architectures by Phitchaya Mangpo Phothilimthana , 2015 .

[79]  Prabal Dutta,et al.  Hijacking power and bandwidth from the mobile phone's audio interface , 2010, SenSys.

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

[81]  Kuo-Ming Chao,et al.  Current Status and Future Perspective of Waste Printed Circuit Boards Recycling , 2012 .

[82]  David Blaauw,et al.  Millimeter-scale nearly perpetual sensor system with stacked battery and solar cells , 2010, 2010 IEEE International Solid-State Circuits Conference - (ISSCC).

[83]  Matt Welsh,et al.  Simulating the power consumption of large-scale sensor network applications , 2004, SenSys '04.

[84]  Eric A. Vittoz,et al.  Low-power design: ways to approach the limits , 1994, Proceedings of IEEE International Solid-State Circuits Conference - ISSCC '94.

[85]  Tobias Distler,et al.  A Kernel for Energy-Neutral Real-Time Systems with Mixed Criticalities , 2016, 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS).

[86]  Alanson P. Sample,et al.  Design of an RFID-Based Battery-Free Programmable Sensing Platform , 2008, IEEE Transactions on Instrumentation and Measurement.

[87]  Donald F. Towsley,et al.  DEOS: Dynamic energy-oriented scheduling for sustainable wireless sensor networks , 2012, 2012 Proceedings IEEE INFOCOM.

[88]  Russell Tessier,et al.  An energy-aware active smart card , 2005, IEEE Transactions on Very Large Scale Integration (VLSI) Systems.

[89]  Deukhyoun Heo,et al.  Batteryless, wireless sensor powered by a sediment microbial fuel cell. , 2008, Environmental science & technology.

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

[91]  Davide Brunelli,et al.  SensEH: From simulation to deployment of energy harvesting wireless sensor networks , 2014, 39th Annual IEEE Conference on Local Computer Networks Workshops.

[92]  Mani B. Srivastava,et al.  Design considerations for solar energy harvesting wireless embedded systems , 2005, IPSN 2005. Fourth International Symposium on Information Processing in Sensor Networks, 2005..

[93]  Yue Wang,et al.  Exploiting Half-Wits: Smarter Storage for Low-Power Devices , 2011, FAST.

[94]  Peng Ning,et al.  TinySeRSync: secure and resilient time synchronization in wireless sensor networks , 2006, CCS '06.

[95]  Brandon M. Kelly,et al.  RAMP: accelerating wireless sensor hardware design with a reconfigurable analog/mixed-signal platform , 2015, IPSN.

[96]  Praveen Budhwar,et al.  TinyOS: An Operating System for Wireless Sensor Networks , 2015 .

[97]  Ting Zhu,et al.  Energy-synchronized computing for sustainable sensor networks , 2013, Ad Hoc Networks.

[98]  William J. Kaiser,et al.  The Energy Endoscope: Real-Time Detailed Energy Accounting for Wireless Sensor Nodes , 2007, 2008 International Conference on Information Processing in Sensor Networks (ipsn 2008).

[99]  Lihua Tang,et al.  Powering indoor sensing with airflows: a trinity of energy harvesting, synchronous duty-cycling, and sensing , 2013, SenSys '13.

[100]  David E. Culler,et al.  A building block approach to sensornet systems , 2008, SenSys '08.

[101]  Oladele A Ogunseitan,et al.  Potential environmental and human health impacts of rechargeable lithium batteries in electronic waste. , 2013, Environmental science & technology.

[102]  Pai H. Chou,et al.  Maximizing efficiency of solar-powered systems by load matching , 2004, Proceedings of the 2004 International Symposium on Low Power Electronics and Design (IEEE Cat. No.04TH8758).

[103]  Arnab Raha,et al.  QUICKRECALL: A Low Overhead HW/SW Approach for Enabling Computations across Power Cycles in Transiently Powered Computers , 2014, 2014 27th International Conference on VLSI Design and 2014 13th International Conference on Embedded Systems.

[104]  Roger Wattenhofer,et al.  Slotted programming for sensor networks , 2010, IPSN '10.

[105]  David Blaauw,et al.  MBus: An ultra-low power interconnect bus for next generation nanopower systems , 2015, 2015 ACM/IEEE 42nd Annual International Symposium on Computer Architecture (ISCA).

[106]  David E. Culler,et al.  Micro Power Meter for Energy Monitoring of Wireless Sensor Networks at Scale , 2007, 2007 6th International Symposium on Information Processing in Sensor Networks.

[107]  Ting Zhu,et al.  eShare: a capacitor-driven energy storage and sharing network for long-term operation , 2010, SenSys '10.

[108]  Adam Dunkels,et al.  Demo abstract: MSPsim - an extensible simulator for MSP430-equipped sensor boards , 2007 .

[109]  Jean-Jacques Quisquater,et al.  ePassport: Securing International Contacts with Contactless Chips , 2008, Financial Cryptography.

[110]  Kevin Fu,et al.  Vulnerabilities in First-Generation RFID-Enabled Credit Cards , 2007, Financial Cryptography.