Evaluación y desarrollo incremental de una arquitectura software de referencia para sistemas teleoperación utilizando métodos formales

  1. PASTOR FRANCO, JUAN ÁNGEL
Supervised by:
  1. Bárbara Álvarez Torres Director
  2. Andrés Iborra García Director

Defence university: Universidad Politécnica de Cartagena

Fecha de defensa: 08 July 2002

Committee:
  1. Isidro Ramos Salavert Chair
  2. Francisco José Rodríguez Urbano Secretary
  3. Alejandro Alonso Muñoz Committee member
  4. Juan Antonio de la Fuente Alfaro Committee member
  5. José María Fernández Meroño Committee member
Department:
  1. Tecnologías de la Información y las Comunicaciones

Type: Thesis

Teseo: 92827 DIALNET lock_openRepositorio Digital de la UPCT editor

Abstract

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.