On the limitations of analysing worst-case dynamic energy of processing

03/07/2016
by   Jeremy Morse, et al.
0

This paper examines dynamic energy consumption caused by data during software execution on deeply embedded microprocessors, which can be significant on some devices. In worst-case energy consumption analysis, energy models are used to find the most costly execution path. Taking each instruction's worst case energy produces a safe but overly pessimistic upper bound. Algorithms for safe and tight bounds would be desirable. We show that finding exact worst-case energy is NP-hard, and that tight bounds cannot be approximated with guaranteed safety. We conclude that any energy model targeting tightness must either sacrifice safety or accept overapproximation proportional to data-dependent energy.

READ FULL TEXT

page 9

page 10

research
05/24/2023

EnergyAnalyzer: Using Static WCET Analysis Techniques to Estimate the Energy Consumption of Embedded Applications

This paper presents EnergyAnalyzer, a code-level static analysis tool fo...
research
01/14/2018

PACER: Peripheral Activity Completion Estimation and Recognition

Embedded peripheral devices such as memories, sensors and communications...
research
05/13/2019

On Optimal Neighbor Discovery

Mobile devices apply neighbor discovery (ND) protocols to wirelessly ini...
research
07/16/2020

Provable Worst Case Guarantees for the Detection of Out-of-Distribution Data

Deep neural networks are known to be overconfident when applied to out-o...
research
02/07/2022

Minimization of the Worst-Case Average Energy Consumption in UAV-Assisted IoT Networks

The Internet of Things (IoT) brings connectivity to a massive number of ...
research
03/15/2022

Safe Neurosymbolic Learning with Differentiable Symbolic Execution

We study the problem of learning worst-case-safe parameters for programs...
research
09/03/2023

Worst-Case Input Generation for Concurrent Programs under Non-Monotone Resource Metrics

Worst-case input generation aims to automatically generate inputs that e...

Please sign up or login with your details

Forgot password? Click here to reset