ETAP：间歇程序的能量感知时序分析
软件工程
2022-11-24 v2
摘要
能量收集无电池嵌入式设备仅依赖环境能量收集，从而实现独立且可持续的 IoT 应用。这些设备在能量储备中的环境收集能量足以运行时执行程序，否则突然停止执行（并开始充电）。这些间歇程序在不同能量条件、硬件配置和程序结构下具有变化的时序行为。本文提出间歇程序的能量感知时序分析（ETAP），一种在编译时分析间歇程序时序与能量行为的概率符号执行方法。ETAP 在考虑环境能量与动态能耗的时间和能量代价模型的同时对给定程序进行符号执行。我们在多个间歇程序上评估了 ETAP，并将编译时分析结果与真实硬件上的执行进行了比较。结果表明 ETAP 的归一化预测准确率为 99.5%，且相比手动测试将时序分析加速至少两个数量级。
引用
@article{arxiv.2201.11433,
title = {ETAP: Energy-aware Timing Analysis of Intermittent Programs},
author = {Ferhat Erata and Arda Goknil and Eren Yıldız and Kasım Sinan Yıldırım and Ruzica Piskac and Jakub Szefer and Gökçin Sezgin},
journal= {arXiv preprint arXiv:2201.11433},
year = {2022}
}
备注
Corrected typos in the previous submission