Thursday, 13 October 2016
Title: Assured and Correct Dynamic Update of Controllers
In many application domains, continuous operation is a desirable attribute for software-intensive systems. As the environment or system requirements change, so the system should change and adapt without stopping or unduly disturbing its operation. There is, therefore, a need for sound engineering techniques that can cope with dynamic change. In this keynote, I will address the problem of dynamic update of controllers in reactive systems when the specification (environment assumptions, requirements and interface) of the current system changes. I will present a general approach to specifying correctness criteria for dynamic update and a technique for automatically computing a controller that handles the transition from the old to the new specification, assuring that the system will reach a state in which such a transition can correctly occur. Indeed, using controller synthesis I will show how to automatically build a controller that guarantees both progress towards update and safe update. Seven case studies have been implemented to validate the approach.
Colloquium coordinators are Prof.dr. M. Aiello (e-mail :
Prof.dr. M. Biehl (e-mail:
This year, the University of Groningen has submitted four research projects to compete for the national Klokhuis Science Prize. The aim of this prize is to introduce a young and wide audience to academic research. The winning project will be...
Het project WIJS, het initiatief dat de Gemeente Groningen en de Hanzehogeschool in 2014 startten, is uitgebreid met vier partners: WIJ-Groningen, de Rijksuniversiteit Groningen, Alfa-college en Noorderpoort. Vandaag wordt de komst van de vier...
Non-executive directors (hereafter: directors) have to take a critical stance towards the top managers they supervise. This has been the dominant perspective among researchers and the media after the financial crisis of 2008 and recent major...