Title :
Application of formal description techniques in the framework of factory communications
Author :
Mariño, P. ; Domínguez, M.A. ; Poza, F. ; Nogueira, J.B.
Author_Institution :
Electron. Technol. Dept., Vigo Univ., Spain
Abstract :
In this work the protocol WorldFIP for industrial communication networks is specified with the formal specification language LOTOS. The paper introduces the main features of WorldFIP particularly those related to its data link layer. The methodology used and the description of specification are explained with the data types implemented. Following that, instances of tests developed for verifying the specification are described. A simulation environment is obtained for the WorldFIP protocol and an instance of simulation is shown. This allows us to detect a lack of efficiency in the protocol with the transfer of messages. Results and new guidelines of this work are explained. The LOTOS specification of the WorldFIP protocol shows that formal description techniques provide powerful CAE tools for advanced designs in the field of industrial communications
Keywords :
computer aided engineering; digital simulation; formal specification; local area networks; production engineering computing; protocols; specification languages; CAE tools; LOTOS formal specification language; WorldFIP protocol; data link layer; data types; factory communications; formal description techniques; industrial communication networks; message transfer; simulation environment; tests; verification; Communication industry; Communication networks; Formal specifications; Guidelines; Open systems; Production facilities; Protocols; Standardization; Standards development; Testing;
Conference_Titel :
Emerging Technologies and Factory Automation, 1999. Proceedings. ETFA '99. 1999 7th IEEE International Conference on
Conference_Location :
Barcelona
Print_ISBN :
0-7803-5670-5
DOI :
10.1109/ETFA.1999.813083
