Resumen de Evaluación y desarrollo incremental de una arquitectura software de referencia para sistemas teleoperación utilizando métodos formales
Los sistemas de teleoperación cubren una amplísima gama de misiones y mecanismos y deben satisfacer 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.
Entre las principales aportaciones de la tesis pueden mencionarse:
* La caracterización de los atributos de calidad de los sistemas considerados.
* La evolución de una arquitectura de referencia utilizando el método ATAM.
* La propuesta de una nueva descomposición funcional para los sistemas considerados siguiendo las pautas del método ABA.
* La especificación de requisitos para un modelo de componentes aplicables a este tipo de sistemas.
