Energy consumption analysis of programs based on XMOS ISA-level models

Umer Liqat, Steve Kerrison, Alejandro Serrano, Kyriakos Georgiou, Pedro Lopez-Garcia*, Neville Grech, Manuel V. Hermenegildo, Kerstin Eder

*Corresponding author for this work

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

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

    Original languageEnglish
    Title of host publicationLogic-Based Program Synthesis and Transformation - 23rd International Symposium, LOPSTR 2013, Revised Selected Papers
    EditorsRicardo Peña, Gopal Gupta
    PublisherSpringer
    Pages72-90
    Number of pages19
    ISBN (Electronic)9783319141244
    DOIs
    Publication statusPublished - 1 Jan 2014
    Event23rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013 - Madrid, Spain
    Duration: 18 Sept 201319 Sept 2013

    Publication series

    NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
    Volume8901
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Conference

    Conference23rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013
    Country/TerritorySpain
    CityMadrid
    Period18/09/1319/09/13

    Keywords

    • Energy consumption analysis
    • Energy models
    • Resource usage analysis
    • Static analysis

    Fingerprint

    Dive into the research topics of 'Energy consumption analysis of programs based on XMOS ISA-level models'. Together they form a unique fingerprint.

    Cite this