Graphic LOTOS specification of an EN50254 system

Authors

  • L. Durante Dipartimento di Automatica e Informatica, Politecnico di Torino
  • R. Sisto Dipartimento di Automatica e Informatica, Politecnico di Torino
  • A. Valenzano IRITI – CNR, Politecnico di Torino

Keywords:

Graphical tool, GLOTOS language, ISO LOTOS, EN50254 system, INTERBUS, Factory communication system

Abstract

This paper reports on our experience in using a graphical tool for protocol specification based on the GLOTOS language, the graphical extension of ISO LOTOS, and presents as a case study the development of a formal description of an EN50254 (INTERBUS) factory communication system. The tool is an MS Windows application, thus running on commonly available PC platforms, which lets the user edit a G-LOTOS specification performing on-line checks of syntactic and static semantics rules, generate a corresponding textual LOTOS specification, and invoke an integrated syntax and static semantics analyser. Experience with the tool has shown its usefulness in making industrial protocol specification, editing and understanding an easier task.

References

Downloads

Published

2000-01-01

Issue

Vol. 3 No. 1 (2000)

Section

Session 2