TY - GEN
T1 - Energy consumption analysis of programs based on XMOS ISA-level models
AU - Liqat, Umer
AU - Kerrison, Steve
AU - Serrano, Alejandro
AU - Georgiou, Kyriakos
AU - Lopez-Garcia, Pedro
AU - Grech, Neville
AU - Hermenegildo, Manuel V.
AU - Eder, Kerstin
PY - 2014/1/1
Y1 - 2014/1/1
N2 - Energy consumption analysis of embedded programs requires the analysis of low-level program representations. This is challenging because the gap between the high-level program structure and the lowlevel 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 a generic resource analysis framework (CiaoPP). Our analysis, which makes use of an energy model we produce for the underlying hardware, characterises 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 statically inferred formulae to direct energy measurements from the hardware running a set of benchmarks. Static energy estimation has applications in program optimisation and enables more energy-awareness in software development.
AB - Energy consumption analysis of embedded programs requires the analysis of low-level program representations. This is challenging because the gap between the high-level program structure and the lowlevel 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 a generic resource analysis framework (CiaoPP). Our analysis, which makes use of an energy model we produce for the underlying hardware, characterises 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 statically inferred formulae to direct energy measurements from the hardware running a set of benchmarks. Static energy estimation has applications in program optimisation and enables more energy-awareness in software development.
KW - Energy consumption analysis
KW - Energy models
KW - Resource usage analysis
KW - Static analysis
UR - http://www.scopus.com/inward/record.url?scp=84927662927&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-14125-1_5
DO - 10.1007/978-3-319-14125-1_5
M3 - Conference contribution
AN - SCOPUS:84927662927
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 72
EP - 90
BT - Logic-Based Program Synthesis and Transformation - 23rd International Symposium, LOPSTR 2013, Revised Selected Papers
A2 - Peña, Ricardo
A2 - Gupta, Gopal
PB - Springer
T2 - 23rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013
Y2 - 18 September 2013 through 19 September 2013
ER -