Metodos y herramientas para el diseño y verificacion de sistemas de comunicaciones moviles

Zusammenfassung

RESUMEN: El objetivo de esta Tesis ha sido la consecución de tecnología para el diseño y mantenimiento eficientes, en coste temporal y económico, de Sistemas de Pruebas para equipos de comunicaciones inalámbricas. El proceso de diseño elaborado se ha basado en un conjunto de principios básicos: uso de lenguajes y notaciones ITU, independencia de la plataforma de ejecución y uso de herramientas comerciales. En esta Tesis se describe: ¿ Una arquitectura genérica para Sistemas de Pruebas. ¿ Una Metodología de Diseño de Sistemas de Pruebas que establece las etapas a seguir y los documentos y modelos que cada etapa debe generar. ¿ Un conjunto de herramientas de soporte para la metodología, que, junto con herramientas comerciales, proporcionan un entorno de desarrollo que cubre las necesidades de todas las etapas. ¿ La aplicación a Sistemas de Pruebas de capa física de la arquitectura, métodos y herramientas utilizados en el área de protocolos. ¿ Una propuesta de metodología para el modelado con SDL de sistemas basados en estándares. ¿ Un conjunto de implementaciones que validan las aportaciones anteriores. En la concepción inicial de este trabajo, el enfoque que se dio fue el de Sistemas de Pruebas orientados a la certificación de protocolos, es decir, dentro del marco de la Metodología de Pruebas de Conformidad OSI. Conforme se ha ido avanzando se ha visto que esta metodología es válida igualmente para otros enfoques distintos. Los resultados aplicables a las pruebas de conformidad son también aplicables a las pruebas de interoperatividad de protocolos. Además, se han aplicado los resultados obtenidos para el área de las pruebas de protocolos al ámbito de las pruebas de capa física, demostrando que es posible emplear la misma arquitectura, método y herramientas en ambos casos, lo que permite reducir los costes de desarrollo. Para validar la Metodología de Diseño, se han construido Sistemas de Pruebas de conformidad de protocolos, sobre distintas plataformas, para los sistemas DECT, Bluetooth y UMTS. En los dos últimos casos el resultado han sido sendos Sistemas de Pruebas comerciales. La aplicación al área de las pruebas de capa física y al área de las pruebas de interoperatividad se ha demostrado sobre los sistemas Bluetooth y UMTS.