60 citations · 129 across the 7 of their papers we have counts for
7 papers
ENTRA: Whole-Systems Energy Transparency
Kerstin Eder, John P. Gallagher, Pedro Lopez-Garcia +14
Promoting energy efficiency to a first class system design goal is an important research challenge. Although more energy-efficient hardware can be designed, it is software that con…
A Fuzzy Approach to Qualification in Design Exploration for Autonomous Robots and Systems
Jeremy Morse, Dejanira Araiza-Illan, Jonathan Lawry +2
Autonomous robots must operate in complex and changing environments subject to requirements on their behaviour. Verifying absolute satisfaction (true or false) of these requirement…
On the limitations of analysing worst-case dynamic energy of processing
Jeremy Morse, Steve Kerrison, Kerstin Eder
This paper examines dynamic energy consumption caused by data during software execution on deeply embedded microprocessors, which can be significant on some devices. In worst-case…
Formal Specification and Analysis of Autonomous Systems under Partial Compliance
Jeremy Morse, Dejanira Araiza-Illan, Jonathan Lawry +2
The widespread adoption of autonomous systems depends on providing guarantees of safety and functional correctness, at both design time and runtime. Information about the extent to…
Data dependent energy modelling for worst case energy consumption analysis
James Pallister, Steve Kerrison, Jeremy Morse +1
Safely meeting Worst Case Energy Consumption (WCEC) criteria requires accurate energy modeling of software. We investigate the impact of instruction operand values upon energy cons…
Measuring the impact of input data on energy consumption of software
Jeremy Morse
The amount of energy consumed during the execution of software, and the ability to predict future consumption, is an important factor in the design of embedded electronic systems.…
Static analysis of energy consumption for LLVM IR programs
Neville Grech, Kyriakos Georgiou, James Pallister +3
Energy models can be constructed by characterizing the energy consumed by executing each instruction in a processor's instruction set. This can be used to determine how much energy…