Resumen de Uso de técnicas de descrpición formal en la integración de protocolos de gestión de redes de comunicaciones

Manuel Mejías Risoto , Ana Verónica Médina Rodríguez , Sergio Martín Guillén

• Dado el entorno tan hererogéneo existente en la actualidad en el ámbito de la gestión de las redes de telecomunciaciones, se hace necesario dar propuestas concretas que conduzcan a poder realizar una gestión integrada de las diferentes subredes que se hayan de administrar. Dentro de este marco se presenta en este artículo un sistema capaz de realizar una gestión integrada de redes de comunicaciones diferentes, de manera altamente flexible y sin ninguna limitación que no proceda de las limitaciones técnicas de los propios equipos en los que el sistema se vaya a implementar. La solución propuesta considera pilar fundamental de la misma especificación clara, concisa y no ambigua realizada, de los protocolos que se han de integrar, mediante el uso de Técnicas Formales de Descripción. Este sistema aquí mostrado constituye el Proyecto NOMOS, financiado de forma fundamental por el Ministerio de Industria y Energía dentro del Programa de Investigación Electrotécnica , y con la participación de las empresas del Sector Eléctrico "Compañia Sevillana de Electricidad" y "Unión Eléctrica Fenosa".