ADAAS: Assuring Dependability in Architecture-based Adaptive Systems

Description

As software systems become increasingly central to support everyday activities, there is a critical need to improve their dependability and optimise their performance, while reducing their development and operational costs. This project will focus on the provision of self-adaptability as a means for achieving dependability in the context of the other requirements. In particular, focusing on the use of architectural models at run-time, it will develop new languages, techniques and tools for creating dynamic adaptation strategies that allow a system to automatically respond to change and improve its behaviour as it executes. Relative to current research in this area, key innovative qualities of these adaptation strategies will be their analyzability and their flexibility. The former is necessary to establish the correctness of adaptation strategies and ensure that they will achieve the desired outcomes. The latter is necessary to accommodate uncertainty in the operating environments and changes that may occur.

Researchers

Funded by

Carnegie Mellon Portugal

Partners

University of Coimbra, University of Lisbon, Instituto Superior Técnico, Carnegie Mellon University

Keywords

Self-adaptive systems; dependability; architectures; assurances; resilience; benchmarking; fault localisation

Start Date

2010-11-01

End Date

2014-06-30

Journal Articles

Conference Articles

Edited Books

Book Chapters