Resumen de Modelización de una red local: especificación del paso de testigo en bus (802.4 I.E.E.E.)

Víctor Guillermo García García, Enrique Vázquez Gallo

• español

  En este artículo se modeliza una red local con topología en bus, en entornos de automatización industrial para intercomunicar computadores, P.L.C.'s (Programmable Logic Controllers), (C.N.C.'s (Computerized Numerical Control), robots, transductores, sensores y otros dispositivos inteligentes.

  También se describe una especificación en ESTELLE de un Protocolo de Automatización Industrial en Tiempo Real (M.A.P./R.T.) para un bus, con el método del paso de testigo en bus (token-passinng bus, 802.4 I.E.E.E.).

  Para obtener esta especificación se ha usado una Estelle Workstation (EWS) que incluye un editor orientado a sintaxis, un compilador de Estelle y un generador de código C.

• English

  This paper describes the modelling of a local area network operating in manufacturing plants and the specification of the Manufacturing Automation Protocol in real time (M.A.P./R.T.) The formal specification presented in this paper, has been developed with Estelle Workstation (EWS). This specification includes the Send Data with Acknowledgement Service (S.D.A.) and a deterministic access method for a bus using token-passing protocol (I.E.E.E. 802.4).