4 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…