Evaluación y desarrollo incremental de una arquitectura software de referencia para sistemas teleoperación utilizando métodos formales
- Bárbara Álvarez Torres Doktormutter
- Andrés Iborra García Doktorvater
Universität der Verteidigung: Universidad Politécnica de Cartagena
Fecha de defensa: 08 von Juli von 2002
- Isidro Ramos Salavert Präsident/in
- Francisco José Rodríguez Urbano Sekretär/in
- Alejandro Alonso Muñoz Vocal
- Juan Antonio de la Fuente Alfaro Vocal
- José María Fernández Meroño Vocal
Art: Dissertation
Zusammenfassung
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.