Observatorio de I+D+i UPM

Memorias de investigación
Ponencias en congresos:
Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks
Áreas de investigación
  • Ingenierías
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.
Nombre congreso
27th International Symposium, LOPSTR 2017
Tipo de participación
Lugar del congreso
Namur, Belgium
Fecha inicio congreso
Fecha fin congreso
Desde la página
Hasta la página
Título de las actas
proceedings of the 27th International Symposium, LOPSTR 2017
Esta actividad pertenece a memorias de investigación
  • Autor: Umer Liqat (IMDEA Software)
  • Autor: Zorana Bankovic (IMDEA Software)
  • Autor: Pedro López (IMDEA Software)
  • Autor: Manuel de Hermenegildo Salinas (UPM)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
  • Departamento: Inteligencia Artificial
S2i 2023 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)