Aplicación de las técnicas de descripción formal al análisis de implementación de protocolos de telecontrol de redes eléctricas

Abstract

En esta tesis se plantea un doble problema. Por un lado, partiendo de la especificación formal de una protocolo de telecontrol, se desea obtener un análisis de su prestaciones de forma automática, es decir, sin tener que recurrir a métodos clásicos de análisis, sean éstos analíticos o mediante simulación. El segundo problema que se pre tende resolver es el de diseñar una técnica eficiente de implantación de protocolo. Por ello se plantea como objetivo realizar una recopilación de las dispersas y escasas descripciones sobre técnicas de implementación, contribuir a dichas técnicas con aportaciones propias, y por último, construir un mecanismo que permita implementar de forma automática un protocolo a partir de su especificación formal.