Evaluación y desarrollo incremental de una arquitectura software de referencia para sistemas teleoperación utilizando métodos formales
- Bárbara Álvarez Torres Zuzendaria
- Andrés Iborra García Zuzendaria
Defentsa unibertsitatea: Universidad Politécnica de Cartagena
Fecha de defensa: 2002(e)ko uztaila-(a)k 08
- Isidro Ramos Salavert Presidentea
- Francisco José Rodríguez Urbano Idazkaria
- Alejandro Alonso Muñoz Kidea
- Juan Antonio de la Fuente Alfaro Kidea
- José María Fernández Meroño Kidea
Mota: Tesia
Laburpena
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.