Liqat, Umer, Kerrison, Steve, Serrano, Alejandro, Georgiou, Kyriakos, Lopez-Garcia, Pedro, Grech, Nevill, Hermenegildo, Manuel V., and Eder, Kerstin (2014) Energy Consumption Analysis of Programs based on XMOS ISA-Level Models. In: Lecture Notes in Computer Science (8901) pp. 72-90. From: LOPSTR 2013: 23rd International Symposium: Logic-Based Program Synthesis and Transformation, 18-19 September 2013, Madrid, Spain.

PDF (Published Version) - Published Version Restricted to Repository staff only

Abstract

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 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 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.

Item ID:	68075
Item Type:	Conference Item (Research - E1)
ISBN:	978-3-319-14125-1
Copyright Information:	© Springer International Publishing Switzerland 2014.
Date Deposited:	24 Mar 2025 23:36
FoR Codes:	46 INFORMATION AND COMPUTING SCIENCES > 4606 Distributed computing and systems software > 460606 Energy-efficient computing @ 50% 46 INFORMATION AND COMPUTING SCIENCES > 4612 Software engineering > 461208 Software testing, verification and validation @ 50%
SEO Codes:	22 INFORMATION AND COMMUNICATION SERVICES > 2204 Information systems, technologies and services > 220401 Application software packages @ 50% 22 INFORMATION AND COMMUNICATION SERVICES > 2204 Information systems, technologies and services > 220404 Computer systems @ 50%
Downloads:	Total: 1 Last 12 Months: 1
	More Statistics