ADAAS: Assuring Dependability in Architecture-based Adaptive Systems
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.