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

Volume

3

fYear

1999

fDate

1999

Firstpage

1427

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Industrial Electronics, 1999. ISIE '99. Proceedings of the IEEE International Symposium on

Conference_Location

Bled

Print_ISBN

0-7803-5662-4

Type

conf

DOI

10.1109/ISIE.1999.796924

Filename

796924