Evaluación y desarrollo incremental de una arquitectura software de referencia para sistemas de teleoperación utilizando métodos formales

[SPA] Los sistemas de teleoperación cubren una amplísima gama de misiones y mecanismos, y cada uno de ellos debe satisfacer una serie de requisitos muy específicos. Este trabajo de tesis se ocupa de la evaluación y re-diseño de una Arquitectura de Referencia para sistemas de teleoperación de robots de servicios, utilizando respectivamente los métodos ATAM (Architecture Tradeoff Analysis Method) y ABD (Architecture Based Design). Entre las principales aportaciones de la tesis pueden mencionarse: - La caracterización de los atributos de calidad de los sistemas considerados. - La evaluación de una arquitectura de referencia utilizando el método ATAM. - La propuesta de una nueva descomposición funcional para los sistemas considerados. - La especificación de requisitos para un modelo de componentes aplicable a este tipo de sistemas. Las principales conclusiones del trabajo de tesis pueden resumirse en. - Deben adoptarse estrategias de diseño e implementación que permitan separar por un lado los patrones de interacción entre componentes de su funcionalidad y por otro los diferentes aspectos de dicha funcionalidad. - Es mucho más interesante definir un marco de desarrollo en el que puedan definirse diferentes arquitecturas que intentar definir una sola arquitectura para todo el dominio. [ENG]Teleoperation systems cover a wide range of missions and mechanisms, and each must satisfy a number of specific requirements. The thesis deals with the evaluation and redesign of a reference architecture for robot tele-operation systems, using respectively the methods ATAM (Architecture Tradeoff Analysis Method) and ABD (Architecture Based Design). Among the main contributions of the thesis may be included: - Characterization of quality attributes of the teleoperation systems. - Assessment of a reference architecture using the ATAM method. - A functional decomposition for the considered systems - A requirement specification for a component model applicable to teleoperation systems. The main design drivers for the development of software architectures in the teleoperation are to provide designers with strategies that separate the patterns of interaction between components from their functionality. These strategies should be the basis to define a development framework to define specific architectures aimed to fulfill the specific requirements of the different systems. It is much more interesting to develop such a framework that to attempt to define a single architecture for the entire domain.Universidad Politécnica de Cartagen