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

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Abstrakt

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.
OriginalsprogEngelsk
Titel26th IEEE Symposium on Computers and Communications
UdgivelsesstedAthens, Greece
ForlagIEEE
Publikationsdato5 sep. 2021
Artikelnummer9631383
ISBN (Trykt)978-1-6654-2745-6
ISBN (Elektronisk)978-1-6654-2744-9
DOI
StatusUdgivet - 5 sep. 2021
Begivenhed2021 IEEE Symposium on Computers and Communications (ISCC) - Athen, Grækenland
Varighed: 5 sep. 20218 sep. 2021

Konference

Konference2021 IEEE Symposium on Computers and Communications (ISCC)
Land/OmrådeGrækenland
ByAthen
Periode05/09/202108/09/2021
NavnI E E E International Symposium on Computers and Communications
ISSN1530-1346

Fingeraftryk

Dyk ned i forskningsemnerne om 'A Model-Checking Static Analysis of Task-Based Energy Neutrality for Energy Harvesting IoT'. Sammen danner de et unikt fingeraftryk.

Citationsformater