Formal Description Software for WorldFIP Industrial Fieldbus

  • Perfecto Mariño
  • Miguel Angel Domínguez
  • Francisco Poza
  • Juan Nogueira


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. 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 WorldFIP protocol provides powerful CAE tools for advanced designs in the framework of industrial communications.


International Standardization Organization Conformance Test Industrial Communication Data Link Layer Algebraic Specification 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Mariño, P., Poza, F., Domînguez, M.A. & Nogueira, J.: “Formal specification applied to industrial LAN’s design”. Proc. of EUROMICRO 23rd Conference, IEEE Computer Society, pp. 215–221, Budapest (Hungary), 1–4 September, 1997.Google Scholar
  2. 2.
    Mariño, P., Poza, F., Domînguez, M.A. & Nogueira, J.: “Specification and verification of a real-time field bus with formal description languages”. From book Transformation Based Reactive Systems Development, Ed. Bertran, M. & Rus, T., Springer Verlag, Lect Notes in Computer Science 1231, pp. 415–429, Berlin, 1997.Google Scholar
  3. 3.
    Mariño, P.: Enterprise communications: Standards, networks and services. Ed. RAMA, Mdrid, 1995.Google Scholar
  4. 4.
    Turner, K. J.: Using Formal Description Techniques. John Wiley & Sons, 1993.Google Scholar
  5. 5.
    ISO: LOTOS — A formal description technique based on the temporal ordering of observational behaviour. Standard ISO 8807, 1989.Google Scholar
  6. 6.
    Bolognesi, T. & Brinksma, E.: “Introduction to the ISO Specification LanguageLOTOS”. Computer Networks and ISDN Systems 14, North-Holland, pp. 25–59, 1987.Google Scholar
  7. 7.
    Meer, J., Roth, R. & Vuong, S.: “Introduction to algebraic specifications based on the language ACT ONE”. Computer Networks and ISDN Systems 23: North-Holland, pp. 363–392,1992.Google Scholar
  8. 8.
    AFNOR: Bus FIP pour échange d’information entre transmetteur, actionneur et automate. Standards NF C 46-601 to 605,1990.Google Scholar
  9. 9.
    CENELEC: General purpose field communication system. Standard EN 50170, Vol. 3/3 (WorldFIP), 1996.Google Scholar
  10. 10.
    IEC: Fieldbus standard for use in industrial control systems — part 2. Standard IEC 1158-2, 1993.Google Scholar
  11. 11.
    Quemada, J., Azcorra, A. & Pavón, S.: Design with LOTOS (Chapter 4: Validation and Verification). Universidad Politécnica de Madrid (Spain), 1993.Google Scholar
  12. 12.
    Pavón, S. & Larrabeiti, D.: LOLA User Manual (Version 2.3). Universidad Politécnica de Madrid (Spain), 1995.Google Scholar
  13. 13.
    Mañas, J., De Miguel, T., Robles, T., Salvachua, J., Huescas, G.: TOPO: Quick Reference Front-End — Version 3R6. Univ. Pol. de Madrid (Spain), 1995.Google Scholar
  14. 14.
    Poza, F.: Contribution to research of industrial communications systems by formal description techniques. Ph. D. Thesis. Univ. of Vigo (Spain). December, 1997.Google Scholar

Copyright information

© Springer-Verlag Wien 1999

Authors and Affiliations

  • Perfecto Mariño
    • 1
  • Miguel Angel Domínguez
    • 1
  • Francisco Poza
    • 1
  • Juan Nogueira
    • 1
  1. 1.Electronic Technology Department and Applied Electronic Inst.Univ. Vigo (Spain) E.T.S. Ingenieros Industriales, apartado OficialVigoSpain

Personalised recommendations