134 citations · 979 across the 64 of their papers we have counts for
6 papers · 1 filter
Formal Verification of Control Systems Properties with Theorem Proving
Dejanira Araiza-Illan, Kerstin Eder, Arthur Richards
This paper presents the deductive formal verification of high-level properties of control systems with theorem proving, using the Why3 tool. Properties that can be verified with th…
Optimizing the flash-RAM energy trade-off in deeply embedded systems
James Pallister, Kerstin Eder, Simon Hollis
Deeply embedded systems often have the tightest constraints on energy consumption, requiring that they consume tiny amounts of current and run on batteries for years. However, they…
EACOF: A Framework for Providing Energy Transparency to enable Energy-Aware Software Development
Hayden Field, Glen Anderson, Kerstin Eder
Making energy consumption data accessible to software developers is an essential step towards energy efficient software engineering. The presence of various different, bespoke and…
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…
A high-level model of embedded flash energy consumption
James Pallister, Kerstin Eder, Simon J. Hollis +1
The alignment of code in the flash memory of deeply embedded SoCs can have a large impact on the total energy consumption of a computation. We investigate the effect of code alignm…
Towards the Safety of Human-in-the-Loop Robotics: Challenges and Opportunities for Safety Assurance of Robotic Co-Workers
Kerstin Eder, Chris Harper, Ute Leonards
The success of the human-robot co-worker team in a flexible manufacturing environment where robots learn from demonstration heavily relies on the correct and safe operation of the…