Skip to main content

Energy Consumption Analysis of Programs based on XMOS ISA-Level Models

Umer Liqat, Steven Kerrison, Alejandro Serrano, Kyriakos Georgiou, Pedro Lopez-Garcia, Neville Grech, Manuel V. Hermenegildo, Kerstin Eder, Energy Consumption Analysis of Programs based on XMOS ISA-Level Models. 23rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013. September 2013. PDF, 493 Kbytes.


Energy consumption analysis of embedded programs requires the analysis of low-level program representations. This is challenging be- cause 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.

Bibtex entry.

Contact details

Publication Admin