Citation
Kerrison, Steve and Liqat, Umer and Georgiou, Kyriakos and Serrano, Alejandro and Grech, Neville and López García, Pedro and Eder, Kerstin and Hermenegildo, Manuel V.
(2014).
Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models.
In: "International Symposium on Logic-Based Program Synthesis and Transformation ( LOPSTR 2013)", 18-19 Sep 2013, Madrid, España. ISBN 978-3-319-14124-4. pp. 72-90.
https://doi.org/10.1007/978-3-319-14125-1_5.
Abstract
Energy consumption analysis of embedded programs necessi-
tates the analysis of low-level program representations. This is challeng-
ing because the gap between the high-level program structure and the
low-level energy models needs to be bridged. Here, we describe techniques
for recreating the structure of low-level programs and transforming these
into Horn clauses in order to make use of the CiaoPP resource analy-
sis framework. Our analysis framework, which makes use of an energy
model we produce for the underlying hardware, characterizes the energy
consumption of the program, and returns energy formulae parametrised
by the size of the input data. We have performed an initial experimental
assessment and obtained encouraging results when comparing the stati-
cally inferred formulae to direct energy measurements from the hardware
running a set of benchmarks. Static energy estimation has applications
in program optimization and enables more energy-awareness in software
development.
