Real-Time Schedulability Analysis and Enhancement of Transiently Powered Processors With NVMs

Recent Internet-of-Things or Wireless Sensor Network devices are often operated with energy harvesters. As there are no energy storages in those devices, power is not consistently provided to the devices at all times. In such transiently powered systems, in order to keep the system reliable without losing any execution contexts, non-volatile memories (NVMs) are typically used for swift backup/restoration of execution contexts. In this article, we perform a real-time schedulability analysis of the transiently powered processors with NVMs. We first quantitatively characterize the charging and discharging behaviors of the energy harvester and extract the compute capability of the system in time interval domain. Then, based on Real-Time Calculus, we determine whether the given multi-task workload is schedulable or not with respect to the earliest deadline first (EDF) or fixed-priority (FP) scheduling policies. In addition, we study how the choice of the threshold voltage parameter affects the schedulability, then propose a feasible threshold selection algorithm to enhance schedulability. We verify the effectiveness of the proposed technique with extensive simulations. Compared to the naive selection method, the proposed technique always shows improvements in schedulability in various workloads.

[1]  Luca Benini,et al.  Hibernus++: A Self-Calibrating and Adaptive System for Transiently-Powered Embedded Devices , 2016, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[2]  Rolf Ernst,et al.  System level performance analysis - the SymTA/S approach , 2005 .

[3]  John A. Clark,et al.  Holistic schedulability analysis for distributed hard real-time systems , 1994, Microprocess. Microprogramming.

[4]  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.

[5]  James W. Layland,et al.  Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.

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

[7]  Rong Luo,et al.  Storage-less and converter-less maximum power point tracking of photovoltaic cells for a nonvolatile microprocessor , 2014, 2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC).

[8]  Maryline Chetto,et al.  Optimal Scheduling for Real-Time Jobs in Energy Harvesting Computing Systems , 2014, IEEE Transactions on Emerging Topics in Computing.

[9]  Maryline Chetto,et al.  A Note on EDF Schedulingfor Real-Time Energy Harvesting Systems , 2014, IEEE Transactions on Computers.

[10]  Geoff V. Merrett,et al.  Energy-driven computing: Rethinking the design of energy harvesting systems , 2017, Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017.

[11]  Robert I. Davis,et al.  Response time analysis for fixed priority real-time systems with energy-harvesting , 2016, Real-Time Systems.

[12]  R Camplani,et al.  A Robust, Adaptive, Solar-Powered WSN Framework for Aquatic Environmental Monitoring , 2011, IEEE Sensors Journal.

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

[14]  Tetsuo Endoh,et al.  10.5 A 90nm 20MHz fully nonvolatile microcontroller for standby-power-critical applications , 2014, 2014 IEEE International Solid-State Circuits Conference Digest of Technical Papers (ISSCC).

[15]  Arnab Raha,et al.  Energy-Aware Memory Mapping for Hybrid FRAM-SRAM MCUs in Intermittently-Powered IoT Devices , 2017, ACM Trans. Embed. Comput. Syst..

[16]  Lothar Thiele,et al.  Reliable mode changes in real-time systems with fixed priority or EDF scheduling , 2009, 2009 Design, Automation & Test in Europe Conference & Exhibition.

[17]  Yasmina Abdeddaïm,et al.  The Optimality of PFPasap Algorithm for Fixed-Priority Energy-Harvesting Real-Time Systems , 2013, 2013 25th Euromicro Conference on Real-Time Systems.

[18]  Michele Magno,et al.  Dynamic energy burst scaling for transiently powered systems , 2016, 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[19]  Wayne H. Wolf,et al.  Performance estimation for real-time distributed embedded systems , 1995, Proceedings of ICCD '95 International Conference on Computer Design. VLSI in Computers and Processors.

[20]  Qing Wu,et al.  Harvesting-Aware Power Management for Real-Time Systems With Renewable Energy , 2012, IEEE Transactions on Very Large Scale Integration (VLSI) Systems.

[21]  B. Benyoucef,et al.  STUDY OF THE EQUIVALENT CIRCUIT OF A DYE- SENSITIZED SOLAR CELLS , 2014 .

[22]  Lothar Thiele,et al.  A general framework for analysing system properties in platform-based embedded system designs , 2003, 2003 Design, Automation and Test in Europe Conference and Exhibition.

[23]  Shahriar Mirabbasi,et al.  Wireless Energy Harvesting for Internet of Things , 2014 .

[24]  Marcel Verhoef,et al.  System architecture evaluation using modular performance analysis: a case study , 2006, International Journal on Software Tools for Technology Transfer.