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
Rogério de Lemos (coordinator)
Marco Vieira
Bradley Schmerl
David Garlan
Rafael Simões Ventura
Antónia Lopes
Javier Cámara Moreno
Raquel Rute Duarte Almeida
Luís Rodrigues
Nuno Laranjeiro
Paulo Casanova
Marco Vieira
Bradley Schmerl
David Garlan
Rafael Simões Ventura
Antónia Lopes
Javier Cámara Moreno
Raquel Rute Duarte Almeida
Luís Rodrigues
Nuno Laranjeiro
Paulo Casanova
Funded by
Carnegie Mellon PortugalPartners
University of Coimbra, University of Lisbon, Instituto Superior Técnico, Carnegie Mellon UniversityKeywords
Self-adaptive systems; dependability; architectures; assurances; resilience; benchmarking; fault localisationStart Date
2010-11-01End Date
2014-06-30Journal Articles
2014
(1 publication)Conference Articles
2014
(2 publications)- Javier Cámara and Correia, P.G.R. and Lemos, R.d. and Marco Vieira , "Empirical resilience evaluation of an architecture-based self-adaptive software system", in QoSA '14 Proceedings of the 10th international ACM Sigsoft conference on Quality of software architectures, 2014
- Bailey, C. and Montrieux, L. and Lemos, R.d. and Yu, Y. and Wermelinger, M. , "Run-time generation, transformation, and verification of access control models for self-protection", in SEAMS 2014 Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2014
2013
(2 publications)- Javier Cámara and Correia, P.G.R. and Lemos, R.d. and Garlan, D. and Schmerl, B. and Ventura, R.S. , "Evolving an Adaptive Industrial Software System to Use Architecture-based Self-Adaptation", in Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2013), 2013
- Bailey, C. and Chadwick, D. and Lemos, R.d. and Siu, K. , "Enabling the Autonomic Management of Federated Identity Providers.", in 7th International Conference on. Autonomous Infrastructure, Management and Security (AIMS 2013), 2013
2012
(1 publication)Edited Books
2013
(2 publications)Book Chapters
2013
(2 publications)- Lemos, R.d. and Giese, H. and Muller, H. and Shaw, M. , "Software Engineering for Self-adaptive Systems: A Second Roadmap Paper", in Software Engineering for Self-Adaptive Systems II, LNCS 7475, vol. 7475, pp. 1-27, 2013
- Andersson, J. and Baresi, L. and Bencomo, N. and Lemos, R.d. and Gorla, A. and Inverardi, P. and Vogel, T. , "Software Engineering Processes for Self-adaptive Systems", in Software Engineering for Self-Adaptive Systems II, LNCS 7475, vol. 7475, pp. 51-75, 2013