Inferring energy bounds statically by evolutionary analysis of basic blocks

Liqat, Umer and Bankovic, Zorana and López García, Pedro and Hermenegildo, Manuel V. (2016). Inferring energy bounds statically by evolutionary analysis of basic blocks. In: "Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES) 2016", 18 Jan 2016, Praga, República Checa.

Description

Title: Inferring energy bounds statically by evolutionary analysis of basic blocks
Author/s:
  • Liqat, Umer
  • Bankovic, Zorana
  • López García, Pedro
  • Hermenegildo, Manuel V.
Item Type: Presentation at Congress or Conference (Article)
Event Title: Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES) 2016
Event Dates: 18 Jan 2016
Event Location: Praga, República Checa
Title of Book: Proceedings of the Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES) 2016
Date: 2016
Subjects:
Freetext Keywords: Energy Consumption Analysis; Energy Modeling; Embedded Systems; Static Analysis; Evolutionary Algorithms
Faculty: E.T.S. de Ingenieros Informáticos (UPM)
Department: Lenguajes y Sistemas Informáticos e Ingeniería del Software
Creative Commons Licenses: Recognition - No derivative works

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (330kB) | Preview

Abstract

devices, including in some cases mission critical systems, for which there is a need to optimize their energy consumption and verify that they will perform their function within the available energy budget. In this work we propose a novel parametric approach to estimating tight energy bounds (both upper and lower) that are practical for energy verification and optimization applications in embedded systems. Our approach consists in dividing a program into basic (“branchless”) blocks, establishing the maximal (resp. minimal) energy consumption for each block using an evolutionary algorithm, and combining the obtained values according to the program control flow, using static analysis, to produce energy bound functions. Such functions depend on input data sizes, and return upper or lower bounds on the energy consumption of the program for any given set of input values of those sizes, without running the program. The approach has been tested on XMOS chips, but is general enough to be applied to any microprocessor and programming language. Our experimental results show that the bounds obtained by our prototype tool can be tight while remaining on the safe side of budgets in practice.

More information

Item ID: 52630
DC Identifier: http://oa.upm.es/52630/
OAI Identifier: oai:oa.upm.es:52630
Official URL: https://arxiv.org/abs/1602.03404
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 15 Oct 2018 11:42
Last Modified: 15 Oct 2018 12:11
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM