University of Bristol
|Designation:||Reader in Design Automation and Verification , University of Bristol|
|Title:||Whole Systems Energy Transparency: The ENTRA Project|
Abstract: Lack of energy transparency in today’s software development tools means that much of the potential energy saving available from power-efficient hardware is not utilized. The goal of the ENTRA project is to promote energy-aware system development by enabling energy transparency from the hardware to the software in a computer system. This will be achieved using advanced energy modelling and program analysis techniques to make predictions of energy usage available to the system developer and software engineering tool chain. It is expected that optimizing the energy efficiency of a program both during code development and at run-time leads to more energy efficient computer systems. I will introduce the ENTRA project, our research approach and present early results on energy modelling and the energy analysis framework.
Biography : Kerstin Eder is a Reader in Design Automation and Verification at the University of Bristol. She holds a PhD in Computational Logic, an MSc in Artificial Intelligence and a MEng in Informatics. She has been active in Design Verification since 1997, gaining experience in both academic research and during regular industrial secondments, most recently at XMOS funded by the Royal Academy of Engineering. Kerstin’s research includes specification, verification and analysis methods that allow designers to define a system and to verify/explore its behaviour in terms of functional correctness, performance, power consumption and energy efficiency. At Bristol she heads the Energy-Aware Computing (EACO) initiative and is the Principal Investigator for the EC FP7 FET MINECC project ENTRA. Kerstin serves on the TSB Energy Efficient Computing SIG Steering Group. At the Bristol Robotics Laboratory she develops approaches towards certification of autonomous systems; she has recently kick-started two new EPSRC funded research projects, one on Verification of Autonomous Systems and one on Safety of Human Assistive Robots.
Multicore Challenge Presentation Presentation Recording Unavailable