Contribución al estudio de los sistemas de comunicaciones industriales mediante técnicas de descripción formal

Résumé

El uso creciente de los buses de campo en la industria ha originado el desarrollo de un gran número de ellos, cada uno de los cuales está adaptado para realizar la comunicación en un determinado entorno, Las exigencias de interconexión entre equipos de distintos fabricantes ha hecho necesaria su normalización. En esta tesis se realiza un estudio y clasificación de los distintos buses de campo existentes, en un contexto más amplio que engloba la mayoría de los sistemas empleados para la realización de la comunicación e interconexión entre distintos sistemas industriales. Uno de los buses de campo que se encuentra normalizado y que se utiliza ampliamente en comunicaciones industriales es PROFIBUS, que tuvo su origen en una iniciativa de fabricantes, usuarios y el gobierno alemán en 1987. En esta tesis se estudia en detalle el nivel de enlace de datos de PROFIBUS y se realiza su descripción formal mediante el lenguaje LOTOS. Esta es una de las técnicas de descripción formal que se encuentran actualmente normalizadas, y que se utilizan para realizar la descripción de sistemas distribuidos y concurrentes de manera que dichas descripciones sean completas, consistentes y no ambiguas.