Memorias de investigación
Communications at congresses:
Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks
Year:2018

Research Areas
  • Engineering

Information
Abstract
The ever increasing number and complexity of energy-bound devices (such as the ones used in Internet of Things applications, smart phones, and mission critical systems) pose an important challenge on techniques to optimize their energy consumption and to verify that they will perform their function within the available energy budget. In this work we address this challenge from the software point of view and propose a novel approach to estimating accurate parametric bounds on the energy consumed by program executions that are practical for their application to energy verification and optimization. Our approach divides a program into basic (branchless) blocks and performs a best effort modeling to estimate upper and lower bounds on the energy consumption for each block using an evolutionary algorithm. Then it combines the obtained values according to the program control flow, using a safe static analysis, to infer functions that give both upper and lower bounds on the energy consumption of the whole program and its procedures as functions on input data sizes. We have tested our approach on (C-like) embedded programs running on the XMOS hardware platform. However, our method is general enough to be applied to other microprocessor architectures and programming languages. The bounds obtained by our prototype implementation on a set of benchmarks were always safe and quite accurate. This supports our hypothesis that our approach offers a good compromise between safety and accuracy, and can be applied in practice for energy verification and optimization.
International
Si
Congress
27th International Symposium, LOPSTR 2017
960
Place
Namur, Belgium
Reviewers
Si
ISBN/ISSN
978-3-319-94460-9
10.1007/978-3-319-94460-9_4
Start Date
10/10/2017
End Date
12/10/2017
From page
54
To page
72
proceedings of the 27th International Symposium, LOPSTR 2017
Participants

Research Group, Departaments and Institutes related
  • Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
  • Departamento: Inteligencia Artificial