Garantizando evoluciones seguras en sistemas auto-adaptables

Abstract

[EN] Self-adaptation provides to the software systems the ability to adapt their behavior and / or structure in runtime. This type of system works in changing environments and his behavior must evolve over time. Therefore, the evolution and maintenance processes have to be performed while the system is running. So techniques and tools are needed to ensure safe evolutions, ie the new version of the system does not introduce errors or inconsistencies in the running system. In this paper we propose the approximation "runtime models" so that the evolution of self-adaptive system can be done at the model level, not implementation, ie evolving the models that represent the knowledge of the system. The purpose of this final project is the implementation of a tool to support the analysis phase of the process of evolution, so as to allow the engineer to analyze the new system evolved version of the models to detect errors and provide mechanisms for automatically obtain an error-free version

[ES] La auto-adaptación proporciona a un sistema software la capacidad de adaptar su comportamiento y/o estructura en ejecución. Este tipo de sistema trabaja en entornos cambiantes y su comportamiento debe evolucionar con el tiempo. Por tanto, los procesos de evolución y mantenimiento tienen que ser llevados a cabo mientras el sistema está en ejecución. Por ello se necesitan técnicas y herramientas para garantizar evoluciones seguras, es decir, que la nueva versión del sistema no introduce errores ni inconsistencias en el sistema en funcionamiento. En este trabajo se propone la aproximación "Modelos en tiempo de ejecución", de manera que la evolución del sistema auto-adaptable puede realizarse a nivel de modelo, y no de implementación, es decir evolucionando los modelos que constituyen el conocimiento del sistema. El objetivo de este trabajo final de máster es la implementación de una herramienta para dar soporte a la fase de análisis del proceso de evolución, de manera que permita al ingeniero del sistema analizar la nueva versión evolucionada de los modelos para detectar errores y ofrecer mecanismos para obtener automáticamente una versión libre de errores