Title :
Design of WorldFIP´s industrial communication systems based on formal methods
Author :
Mariño, Perfecto ; Poza, Francisco ; Domínguez, Miguel Angel ; Nogueira, Juan B.
Author_Institution :
Dept. of Electron. Technol., Vigo Univ., Spain
Abstract :
In this work the protocol WorldFIP for industrial communication networks, is specified with the formal specification language LOTOS. This specification is the foundation of new work lines such as efficiency analysis of WorldFIP performance with simulations in critical applications, the generation of benchmark patterns for conformance tests of WorldFIP communications equipment, and the proposal of new advances in the fieldbus area. Standardization institutions can benefit largely by this implemented methodology of formal specification, because some uncertainties in their description issues can be detected easily during the standard development, if a formal specification language is used at this stage
Keywords :
computer networks; field buses; formal languages; protocols; specification languages; Factory Instrumentation Protocol; LOTOS formal specification language; WorldFIP communications equipment; WorldFIP protocol; benchmark patterns; conformance tests; efficiency analysis; fieldbus; formal methods; industrial communication systems; Analytical models; Benchmark testing; Communication equipment; Communication industry; Communication networks; Formal specifications; Pattern analysis; Performance analysis; Protocols; Test pattern generators;
Conference_Titel :
Industrial Electronics, 1999. ISIE '99. Proceedings of the IEEE International Symposium on
Conference_Location :
Bled
Print_ISBN :
0-7803-5662-4
DOI :
10.1109/ISIE.1999.796924
