Metodologías de especificación formal aplicadas a modelos normalizados de protocolos de comunicación industriales

Résumé

La creciente complejidad de los protocolos de comunicaciones requiere la utilización de nuevas tecnicas que permitan realizar una especificación de los mismos de una forma completa, consistente y no ambigua, Estas nuevas tecnicas se conocen de forma genérica como métodos formales. Las ventajas proporcionadas por los buses de campo en la industria han contribuido al desarrollo de un gran número de ellos. Cada bus de campo ha sido desarrollado y promovido por diferentes fabricantes y la mayoria de ellos han sido normalizados por diferentes organismos internacionales. Esta tesis contribuye a la introducción de los métodos formales en el estudio de los protocolos de comunicaciones industriales. La tecnica de descripción formal SDL, normalizada por la ITU en su Recomendación Z.100[178], ha sido utilizada aquí para especificar el bus de campo PROFIBUS [279]. Debido a la gran cantidad de métodos formales disponibles, se ha realizado un estudio y una clasificación previa de los mismos, antes de elegir el más adecuado para las necesidades de dicho protocolo. Los resultados obtenidos en esta tesis muestran que la utilización de técnicas de descripción formal como SDL, presenta importantes ventajas en el diseño y mejora de los protocolos de comunicaciones industriales.