Formal Description Software for WorldFIP Industrial Fieldbus

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 WorldF1P communications equipment, and the proposal of new advances in the ·fieldbus area. The paper introduces the general characteristics of LOTOS, and the main features of WorldFIP particularly the related with its data link layer. Also the methodology and used tools are explained, and results and new guidelines of this work are quoted in last paragraph devoted to conclusions and future works. LOTOS specification of WorldF1P protocol provides powerful CAE tools for advanced designs in the framework of industrial communications.