NOP: Safe and Efficient Intermittent Computing for a Batteryless IoT
Intermittent computing is an emerging paradigm for batteryless IoT nodes powered by harvesting ambient energy. It intends to provide transparent support for power losses so that complex computations can be distributed over several power cycles. It aims at significantly increasing the complexity of software running on these nodes, and thus at reducing the volume of outgoing data, which improves the overall energy efficiency of the whole processing chain, reduces reaction latencies, and, by limiting data movements, preserves anonymity and privacy.
NOP aims at improving the efficiency and usability of intermittent computing, based on consolidated theoretical foundations and a detailed understanding of energy flows within systems. For this, it brings together specialists in system architecture, energy-harvesting IoT systems, compilation, and real-time computing, to address the following scientific challenges:
- develop sound formal foundations for intermittent systems,
- develop precise predictive energy models of a whole node (including both harvesting and consumption) usable for online decision making,
- significantly improve the energy efficiency of run-time support for intermittency,
- develop techniques to provide formal guarantee through static analysis of the systems behaviour (forward progress),
- develop a proof of concept: an intermittent system for song bird recognition, to assess
the costs and benefits of the proposed solutions.
Funding and timeline
Project NOP has received a French government support granted to the Labex Cominlabs excellence laboratory and managed by the National Research Agency in the “Investing for Future” program under reference ANR-10-LABX-07-01.
The project started on October 1, 2021 and will end on December 31, 2024.