Evaluación y desarrollo incremental de una arquitectura software de referencia para sistemas teleoperación utilizando métodos formales
- Bárbara Álvarez Torres Directora
- Andrés Iborra García Director
Universitat de defensa: Universidad Politécnica de Cartagena
Fecha de defensa: 08 de de juliol de 2002
- Isidro Ramos Salavert President/a
- Francisco José Rodríguez Urbano Secretari/ària
- Alejandro Alonso Muñoz Vocal
- Juan Antonio de la Fuente Alfaro Vocal
- José María Fernández Meroño Vocal
Tipus: Tesi
Resum
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.