Adaptable Runtime Monitoring for Intermittent Systems

Eren Yildiz, Khakim Akhunov, Lorenzo Antonio Riva, Arda Goknil, Ivan Kurtev, Kasim Sinan Yildirim

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

21 Downloads (Pure)

Abstract

Batteryless energy harvesting devices compute intermittently due to power failures that frequently interrupt the computational activity and lead to charging delays. To ensure functional correctness in intermittent computing, applications must exhibit several unique properties, such as guarantees for computational progress despite power failures and prevention of stale operations caused by charging delays. We observe that current software support for intermittent computing allows for checking only a fixed set of properties and leads to tightly coupled application and property-checking, thus hampering modularity, scalability, and maintainability. In this paper, we present ARTEMIS, the first framework designed to facilitate flexible property checking of intermittent programs at runtime. ARTEMIS is developed based on techniques from the area of runtime monitoring, offers a specification language for specifying an open set of properties, and provides automatic generation of monitors responsible for checking the properties. Our evaluation showed that ARTEMIS achieves comparable efficiency to state-of-the-art solutions while significantly preventing failure scenarios through its monitoring capabilities.

Original languageEnglish
Title of host publicationEuroSys '24
Subtitle of host publicationProceedings of the Nineteenth European Conference on Computer Systems
Place of PublicationNew York
PublisherAssociation for Computing Machinery, Inc
Pages1175-1191
Number of pages17
ISBN (Electronic)979-8-4007-0437-6
DOIs
Publication statusPublished - 22 Apr 2024
Event19th European Conference on Computer Systems, EuroSys 2024 - Athens, Greece
Duration: 22 Apr 202425 Apr 2024

Conference

Conference19th European Conference on Computer Systems, EuroSys 2024
Country/TerritoryGreece
CityAthens
Period22/04/2425/04/24

Keywords

  • Batteryless Internet of Things
  • Intermittent Computing
  • Runtime Monitoring

Fingerprint

Dive into the research topics of 'Adaptable Runtime Monitoring for Intermittent Systems'. Together they form a unique fingerprint.

Cite this