CAOSD RESEARCH GROUP
Over last few years CAOSD group contributed to the field with different approaches for developing self-adaptive systems presented in several thesis and research projects. These approaches successfully apply dynamic software product line, models@runtime and/or agent-oriented technologies.
We have also applied advanced Software Engineering technologies to the distributed systems domain. More specifically, we have proposed a middleware, an agent platform and several applications in the domain of the Internet of Things (IoT), Future Internet, Ambient Inteligence, AAL, ITS, mobile phones and sensors for an inteligent museum, to name a few.
Software Product Line Engineering
We have a vast experience in applying the SPL and dynamic SPL (DSPL) technologies to model a family of self-adaptive middleware (FamiWare), a family of Functional Quality Attributes and a family of self-adaptive agents, among others. We are experts in most of the variability languages like CVL (Common Variability Languages), UVL (Universal Variability Language), propositional formulas, constraint programming and algebras like Category Theory. We make use of them in SPL approaches at the software architecture level.
Green Software Engineering
The CAOSD group is currently involved in the development of a reusable repository of energy consuming concerns and a green assistant to help designers to develop energy-efficient applications. We are interested in measuring energy consumption at the code level, of several functional unit, such as security, logging, video codecs, etc. This work is aligned with the Energy Aware Software Engineering discipline with the goal of helping to develop energy efficient software systems for IoT systems.
The goal of CAOSD is primarily focused on Software Architecture centric approaches. Indeed, we have contributed with several Architecture Description Languages (e.g., AO-ADL, DAOP-ADL) and Domain Specific Languages (e.g., VML). The founding principle of CAOSD has been to improve software architecture modularity and separation of concerns principally through Aspect-oriented Software Development (AOSD) technologies.
Agent-Oriented Software Engineering
Another of CAOSD research topics is the application of advanced software engineering techniques (e.g., variability models, model driven development) to the development of autonomous self-managed agents for the Internet of Things (e.g., Malaca, Self-starMAS).
MEET OUR TEAM
Head of the CAOSD research group
José Miguel Horcas
Former PhD students
- Nadia Gámez Gómez
[2006-2014], Thesis dissertation: "Famiware: an autonomic middlewarw family for ambient intelligence", 2012 Current position at the Universitiy of La Rioja
- Pablo Sánchez Barreiro
[2005-2010], Thesis dissertation: "Almadraba model-driven development of aspect-oriented executable uml models", 2009 Current position at the University of Cantabria
- Gustavo García Pascual
[2011-2016], Thesis dissertation: "Optimizing Mobile Applications by Exploiting Variability Models at Runtime", 2018
- Don Batory (Department of Computer Science, University of Texas, Austin, EEUU).
- Dillian Gurov (Division of Theoretical Computer Science, KTH University, Sweden).
- Alessandro V. Papadopoulos, Mälardalen University (MDU),Sweden.
- Siobhán Clarke (Trinity College of Dublin, Ireland)
- Awais Rashid (U. Lancaster, UK)
- Steffen Zschaler (King's College, UK)
- Montimage S.L. (Paris, France)
- Roberto E. Lopez-Herrejon (ÉTS, Canada)
- Joyce El Haddad (U. Paris-Dauphine, France)
- Flavia C. Delicato and Paulo F. Pires (Federal University of Rio de Janeiro, Brasil)
- Miguel Luaces y Alejandro Cortiñas, Grupo LBD de A Coruña