TITLE: Design and Verification of Self-Organising and -Adaptive Systems

PRESENTER: Prof. Wolfgang Reif, http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/staff/reif/, reif@informatik.uni-augsburg.de

AFFILIATION:University of Augsburg, http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/

DATE: Thursday 2nd July 2009

TIME: 12:00:00

PLACE: CSE Seminar Room, Level 1, K17

ABSTRACT:

The aim of this work is to study the potential of nature inspired
properties like self-organisation or self-adaptivity for technical
systems. These so called self-x systems are able to dynamically adapt
to changes in requirements, to automatically detect and neutralize
component failures and to continuously optimize themselves for better
performance. The expectation is that systems with self-x capabilities
are by far superior to standard systems in terms of availability,
reliability and effort of maintenance. Self-x systems might have
an enormous impact on innovations in production automation, automotive
systems, space, robotics, sensor nets and many other fields.

On the other hand self-x systems require new methods with respect to
construction paradigms, functional correctness, safety and trust.
One major challenge is to reconcile the flexibility of self-x systems
with the demand for guaranteed positive (or at least non negative)
behaviour in technical applications.

This talk presents an approach to solve this problem.
For a particular class of systems we show how to verify self-organising
and self-adaptive systems (by reduction to a satisfiability problem or
a constraint solving problem).

BIOGRAPHY OF SPEAKER:

Prof. Wolfgang Reif is the Head of Department of Software Engineering
and Programming Languages, Institute of ComputerScience, University of
Augsburg. Prof. Reif is author of a large number of scientific publications,
referee for numerous national funding agencies in Europe and the US, the
European Community, and is consultant to leading technology companies.

Host:

Toby Walsh

Seminar Convenor:

Van Hai Ho