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 language | English |
---|---|
Title of host publication | EuroSys '24 |
Subtitle of host publication | Proceedings of the Nineteenth European Conference on Computer Systems |
Place of Publication | New York |
Publisher | Association for Computing Machinery, Inc |
Pages | 1175-1191 |
Number of pages | 17 |
ISBN (Electronic) | 979-8-4007-0437-6 |
DOIs | |
Publication status | Published - 22 Apr 2024 |
Event | 19th European Conference on Computer Systems, EuroSys 2024 - Athens, Greece Duration: 22 Apr 2024 → 25 Apr 2024 |
Conference
Conference | 19th European Conference on Computer Systems, EuroSys 2024 |
---|---|
Country/Territory | Greece |
City | Athens |
Period | 22/04/24 → 25/04/24 |
Keywords
- Batteryless Internet of Things
- Intermittent Computing
- Runtime Monitoring