Tesis doctoral de Nogueira Nine Juan Benigno
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.
Datos académicos de la tesis doctoral «Metodologías de especificacion formal aplicadas a modelos normalizados de protocolos de comunicación industriales«
- Título de la tesis: Metodologías de especificacion formal aplicadas a modelos normalizados de protocolos de comunicación industriales
- Autor: Nogueira Nine Juan Benigno
- Universidad: Vigo
- Fecha de lectura de la tesis: 15/12/2000
Dirección y tribunal
- Director de la tesis
- Perfecto Mariño Espiñeira
- Tribunal
- Presidente del tribunal: Carlos Martinez-peñalver freire
- joaquin Luque rodriguez (vocal)
- Juan Quemada vives (vocal)
- victor m. Sempere paya (vocal)