A Model-Checking Static Analysis of Task-Based Energy Neutrality for Energy Harvesting IoT

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Abstract

We address the problem of energy neutrality in energy harvesting IoT devices by means of a model checking approach, aiming at analyzing the dynamics of the battery charge in energy-neutral IoT devices. Our approach allows to compute the best task schedule and to study the maximum utility when operating on other parameters such as the initial battery charge, the number and structure of the available tasks, the size of the photo-voltaic panel that recharges the device, the day of the year, and the variable weather conditions that affect the energy production. The simulations confirm the state space explosion typical of model checking, but also hint that a small number of alternative tasks can achieve an overall utility very close to a large number of tasks. This conjecture has a strong practical relevance since it can pave the way to the wider adoption of energy neutrality concept in low-power IoT devices.
Original languageEnglish
Title of host publication26th IEEE Symposium on Computers and Communications
Place of PublicationAthens, Greece
PublisherIEEE
Publication date5 Sep 2021
Article number9631383
ISBN (Print)978-1-6654-2745-6
ISBN (Electronic)978-1-6654-2744-9
DOIs
Publication statusPublished - 5 Sep 2021
Event2021 IEEE Symposium on Computers and Communications (ISCC) - Athen, Greece
Duration: 5 Sep 20218 Sep 2021

Conference

Conference2021 IEEE Symposium on Computers and Communications (ISCC)
Country/TerritoryGreece
CityAthen
Period05/09/202108/09/2021
SeriesI E E E International Symposium on Computers and Communications
ISSN1530-1346

Fingerprint

Dive into the research topics of 'A Model-Checking Static Analysis of Task-Based Energy Neutrality for Energy Harvesting IoT'. Together they form a unique fingerprint.

Cite this