Monthly Archives: October 2015

Talk by C. Bockisch, B. van Gastel (Open University Nijmegen)

DATE: Friday, October 30th 2015
TIME:  14:30-15:30
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.

Talk by Maria Salama (University of Birmingham)

DATE: Tuesday, 27 October 2015
TIME:  13:00-14:00
ROOM: WN-S655 (Science Building, VU Campus)

Quality-driven Architectural Patterns for Self-aware Cloud-based Software

Self-awareness and self-expression are promising architectural concepts recently emerging in the field of self-adaptive software. Inspired from psychology and cognitive science, the concept of self-awareness has been re-deduced in the context of software engineering to realise software autonomic behaviour. With the recent emergence of self-awareness, architecture patterns for self-aware and self-expressive software have been recently defined featuring different levels of self-awareness. In our recent work [1], we have extended the emerging class of self-aware architectures with QoS tactics to better respond to QoS run-time requirements. This work has deliberated Quality of Service and Energy Efficiency (Greenness), employing the green architectural tactics proposed in [2]. Run-time adaptation for better QoS provision arises trade-offs between performance and greenness. This necessitates managing possible arising trade-offs. We are currently working on managing trade-offs between QoS and Greenness, where the goal is to select an architectural tactic for better adaptation.

[1] Salama, M.; Bahsoon, R., “Quality-Driven Architectural Patterns for Self-Aware Cloud-Based Software,” in IEEE 8th International Conference on Cloud Computing (CLOUD), 2015
[2] Procaccianti, G.; Lago, P.; Lewis, G.A., “Green Architectural Tactics for the Cloud,” in Working IEEE/IFIP Conference on Software Architecture (WICSA), 2014

Maria Salama received B.Sc. in Computer Science and Post-Graduate Diploma in Management Information Systems from Sadat Academy for Management Science, Cairo, Egypt in 2001 and 2003 respectively. She received M.Sc. in Computer Science from Arab Academy for Sciences and Technology in 2011. She is currently PhD student at the University of Birmingham. She was assistant lecturer in the British University in Egypt. Prior to joining the BUE, she had a solid experience in the industry, stepping from web development to project leading. Her research interests are Software Engineering, Cloud Computing and Health Informatics.