Skip to ContentSkip to Navigation
Research Bernoulli Institute Calendar Colloquia - Computer Science

Colloquium Computer Science, Prof. Kenji Tei (National Institute of Informatics, Tokyo, Japan)

13 October 2016

Date:                      

Thursday, 13 October 2016

Speaker:

Prof. Kenji Tei, National Institute of Informatics, Tokyo, Japan

Room:

5161.0222 (Bernoulliborg)

Time:

16.00

Title: Assured and Correct Dynamic Update of Controllers

                           


Abstract:

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 : M.Aiello rug.nl ) and
Prof.dr. M. Biehl (e-mail: M.Biehl rug.nl )

http://www.rug.nl/research/jbi/news/colloquia/computerscience

Last modified:07 June 2018 10.59 a.m.

More news