Reliable Timekeeping for Intermittent Computing

Energy-harvesting devices have enabled Internet of Things applications that were impossible before. One core challenge of batteryless sensors that operate intermittently is reliable timekeeping. State-of-the-art low-power real-time clocks suffer from long start-up times (order of seconds) and have low timekeeping granularity (tens of milliseconds at best), often not matching timing requirements of devices that experience numerous power outages per second. Our key insight is that time can be inferred by measuring alternative physical phenomena, like the discharge of a simple RC circuit, and that timekeeping energy cost and accuracy can be modulated depending on the run-time requirements. We achieve these goals with a multi-tier timekeeping architecture, named Cascaded Hierarchical Remanence Timekeeper (CHRT), featuring an array of different RC circuits to be used for dynamic timekeeping requirements. The CHRT and its accompanying software interface are embedded into a fresh batteryless wireless sensing platform, called Botoks, capable of tracking time across power failures. Low start-up time (max 5 ms), high resolution (up to 1 ms) and run-time reconfigurability are the key features of our timekeeping platform. We developed two time-sensitive batteryless applications to demonstrate the approach: a bicycle analytics tool, where the CHRT is used to track time between revolutions of a bicycle wheel, and wireless communication, where the CHRT enables radio synchronization between two intermittently-powered sensors.

[1]  Brandon Lucia,et al.  Adaptive Dynamic Checkpointing for Safe Efficient Intermittent Computing , 2018, OSDI.

[2]  Przemyslaw Pawelczak,et al.  InK: Reactive Kernel for Tiny Batteryless Sensors , 2018, SenSys.

[3]  Jacob Sorber,et al.  Timely Execution on Intermittently Powered Batteryless Sensors , 2017, SenSys.

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

[5]  Alanson P. Sample,et al.  A Wirelessly-Powered Platform for Sensing and Computation , 2006, UbiComp.

[6]  Shyamnath Gollakota,et al.  Living IoT: A Flying Wireless Platform on Live Insects , 2018, MobiCom.

[7]  Brandon Lucia,et al.  An Energy-interference-free Hardware-Software Debugger for Intermittent Energy-harvesting Systems , 2016, ASPLOS.

[8]  Lothar Thiele,et al.  Time-of-Flight Aware Time Synchronization for Wireless Embedded Systems , 2016, EWSN.

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

[10]  Joshua R. Smith,et al.  BLISP: Enhancing backscatter radio with active radio for computational RFIDs , 2016, 2016 IEEE International Conference on RFID (RFID).

[11]  Brandon Lucia,et al.  Intermittent Computing: Challenges and Opportunities , 2017, SNAPL.

[12]  Yang Li,et al.  Natural Timestamping Using Powerline Electromagnetic Radiation , 2017, 2017 16th ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN).

[13]  Xiang-Yang Li,et al.  Energy Efficient TDMA Sleep Scheduling in Wireless Sensor Networks , 2009, IEEE INFOCOM 2009.

[14]  Fadel Adib,et al.  Enabling deep-tissue networking for miniature medical devices , 2018, SIGCOMM.

[15]  Jamil Y. Khan,et al.  An Adaptive MAC Protocol for RF Energy Harvesting Wireless Sensor Networks , 2016, 2016 IEEE Global Communications Conference (GLOBECOM).

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

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

[18]  Amjad Yousef Majid,et al.  On the Synchronization of Computational RFIDs , 2019, IEEE Transactions on Mobile Computing.

[19]  Joshua R. Smith,et al.  Wisent: Robust downstream communication and storage for computational RFIDs , 2016, IEEE INFOCOM 2016 - The 35th Annual IEEE International Conference on Computer Communications.

[20]  David E. Culler,et al.  System Architecture Directions for Post-SoC/32-bit Networked Sensors , 2018, SenSys.

[21]  Olivier Berder,et al.  Energy-Efficient Power Manager and MAC Protocol for Multi-Hop Wireless Sensor Networks Powered by Periodic Energy Harvesting Sources , 2015, IEEE Sensors Journal.

[22]  Gennaro Boggia,et al.  A comprehensive review on energy harvesting MAC protocols in WSNs: Challenges and tradeoffs , 2018, Ad Hoc Networks.

[23]  Ruggero Carli,et al.  Adaptive Proportional–Integral Clock Synchronization in Wireless Sensor Networks , 2018, IEEE Transactions on Control Systems Technology.

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

[25]  Brandon Lucia,et al.  Supporting peripherals in intermittent systems with just-in-time checkpoints , 2019, PLDI.

[26]  Jacob Sorber,et al.  Flicker: Rapid Prototyping for the Batteryless Internet-of-Things , 2017, SenSys.

[27]  Xenofon Fafoutis,et al.  ODMAC: an on-demand MAC protocol for energy harvesting - wireless sensor networks , 2011, PE-WASUN '11.

[28]  Jasper de Winkel,et al.  Keeping Track of Time on Energy Harvesting Systems , 2019 .

[29]  Matthew Hicks,et al.  Clank: Architectural support for intermittent computation , 2017, 2017 ACM/IEEE 44th Annual International Symposium on Computer Architecture (ISCA).

[30]  Luca Mottola,et al.  HarvOS: Efficient Code Instrumentation for Transiently-Powered Embedded Sensing , 2017, 2017 16th ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN).

[31]  Brandon Lucia,et al.  A Reconfigurable Energy Storage Architecture for Energy-harvesting Devices , 2018, ASPLOS.

[32]  Zhu Han,et al.  Wireless Networks With RF Energy Harvesting: A Contemporary Survey , 2014, IEEE Communications Surveys & Tutorials.

[33]  Christoph Lenzen,et al.  PulseSync: An Efficient and Scalable Clock Synchronization Protocol , 2015, IEEE/ACM Transactions on Networking.

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

[35]  Przemyslaw Pawelczak,et al.  Backing out of backscatter for intermittent wireless networks , 2018, ENSsys@SenSys.

[36]  Jacob Sorber,et al.  The Future of Sensing is Batteryless, Intermittent, and Awesome , 2017, SenSys.

[37]  Thiemo Voigt,et al.  modBulb: a modular light bulb for visible light communication , 2016, VLCS '16.

[38]  M. R. Palacín,et al.  Why do batteries fail? , 2016, Science.

[39]  Carlo Delle Donne,et al.  Wake-Up Alignment for Batteryless Sensors , 2018 .

[40]  Brandon Lucia,et al.  Alpaca: intermittent execution without checkpoints , 2017, Proc. ACM Program. Lang..