Evaluación y desarrollo incremental de una arquitectura software de referencia para sistemas teleoperación utilizando métodos formales
- Bárbara Álvarez Torres Directrice
- Andrés Iborra García Directeur
Université de défendre: Universidad Politécnica de Cartagena
Fecha de defensa: 08 juillet 2002
- Isidro Ramos Salavert President
- Francisco José Rodríguez Urbano Secrétaire
- Alejandro Alonso Muñoz Rapporteur
- Juan Antonio de la Fuente Alfaro Rapporteur
- José María Fernández Meroño Rapporteur
Type: Thèses
Résumé
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.