DATE: Friday, October 30th 2015
ROOM: WN-P4.23 (Science Building, VU Campus)
Energy-Aware Software Engineering
ICT systems play an increasingly important role in the global energy balance. On one hand they contribute significantly to the energy consumption, on the other hand, smart control of energy-intensive devices through ICT is predicted to reduce the global energy consumption by 12% until the year 2020. To facilitate this, computer science and in particular software engineering need to enable software developers to consider energy as a first-class concern.
This talk presents two approaches to this goal. The first approach supports modular design of energy-aware software by means of a notation for describing the energy utilization — or more general resource utilization — of system components by means of so-called Resource Utilization Models (RUM). The resource utilization of the composed system can then be explored by analyzing the composed RUMs. Part of this approach is a technique for learning RUMs from components with an existing implementation.
An alternative approach is a static method based on a hardware-parametric type system which allows to easily exchange specific hardware implementations. Its compositional nature allows for analyzing large programs and libraries. Like in the RUM approach, this second approach models energy consumption of hardware as a finite state machine, which for each state has an associated power draw and each transition has a one-time energy cost. The result is a function which can calculate a precise energy consumption given the program input. In addition the operations generating this function can be interpreted in such a way that other uses like an overapproximation are possible.
Christoph Bockisch is an assistant professor at the Open University, the Netherlands with a research focus on software technology, in particular programming languages, modularization mechanisms and program analysis. Before, Christoph has been assistant professor at the University of Twente, the Netherlands (2009 – 2014) and postdoc at the University of Darmstadt, Germany (2008) where he also received his doctoral degree (2008). Christoph authored and co-authored several papers, published amongst others by the OOPSLA, AOSD, TOOLS, and VEE conferences, or the journals TAOSD and JOT. He is co-founder and co-organizer of the workshop series on Green In and By Software Engineering (GIBSE) 2013, Free Composition (FREECO) 2011-12 and on Virtual Machines and Intermediate Languages (VMIL) 2007–12. He was Student-Events Co-Chair and PC member of the AOSD’13-‘14 conference as well as of several workshops and he was program co-chair of the AOSD-Europe Summer School 2009.
Bernard van Gastel is a lecturer and PhD candidate at the Open University of the Netherlands. His research focus is on formal methods with applications on energy consumption and correctness of software. His interests also include software engineering with a focus on efficiency, correctness, and sustainability but is also fond of operating systems and chip design.