Pr. Carlo Ghezzi

Pr. Carlo Ghezzi – “Towards self-adaptation via Quality of Service-aware dynamic binding”

Abstract: Modern software systems live in an open world that is constantly evolving, because of changes in the requirements, in the surrounding environment, and in the way people interact with them. Changes are difficult to predict and anticipate, and their occurrence is out of control of the application developers. Their occurrence, however, may have severe effects on the application, which may fail to satisfy its goals and therefore needs to also undergo changes.

Traditionally, such changes are handled off-line in the maintenance phase. There is an increasing demand, however, for software systems that are resilient to change. The software must be capable to self-react to external changes by adapting its behaviour dynamically, to continue to ensure the desired quality of service.The talk advocates that continuous runtime verification is necessary to support self-adaptation.Focusing on non-functional software qualities (performance and reliability) that can be stated in quantitative probabilistic terms, it describes an approach to runtime verification and reports some initial interesting results on how self-adaptation may be achieved through Quality of Service-aware dynamic binding. The keynote is based on research funded by the European Commission, Programme IDEAS-ERC, Project 227977- SMScom and Network of Excellence S-Cube (Project 215483).

CV:Professor and Chair of Software Engineering in the Department of Electronics and Information of Politecnico di Milano.