ADAAS: Assuring Dependability in Architecture-based Adaptive Systems

Start date: 2010 Expected completion date: 2013
PIs: Rogério Sérgio Neves de Lemos (FCTUC) and David Garlan (CMU)
Dual Degree Ph.D. Students:Paulo Casanova (Software Engineering)
Team: Faculdade de Ciências e Tecnologia da Universidade de Coimbra (FCTUC), Fundação da Faculdade de Ciências (FCUL), INESC/ID, Instituto Superior Técnico/Universidade Técnica de Lisboa (IST/UTL), Carnegie Mellon University
Company: Critical Software

Keywords: Dependability; Self-adaptability; Assurances; Software architectures

As software systems become increasingly central to support everyday activities, there is a critical need to improve their dependability and optimize 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 behavior 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.

Presentation about the ADAAS project pdf ("ICT Portugal Workshop: New Projects in Networks, Software, Energy and Security", March 2011)