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. 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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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.
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.
Mariño, P.: Enterprise communications: Standards, networks and services. Ed. RAMA, Mdrid, 1995.
Turner, K. J.: Using Formal Description Techniques. John Wiley & Sons, 1993.
ISO: LOTOS — A formal description technique based on the temporal ordering of observational behaviour. Standard ISO 8807, 1989.
Bolognesi, T. & Brinksma, E.: “Introduction to the ISO Specification LanguageLOTOS”. Computer Networks and ISDN Systems 14, North-Holland, pp. 25–59, 1987.
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.
AFNOR: Bus FIP pour échange d’information entre transmetteur, actionneur et automate. Standards NF C 46-601 to 605,1990.
CENELEC: General purpose field communication system. Standard EN 50170, Vol. 3/3 (WorldFIP), 1996.
IEC: Fieldbus standard for use in industrial control systems — part 2. Standard IEC 1158-2, 1993.
Quemada, J., Azcorra, A. & Pavón, S.: Design with LOTOS (Chapter 4: Validation and Verification). Universidad Politécnica de Madrid (Spain), 1993.
Pavón, S. & Larrabeiti, D.: LOLA User Manual (Version 2.3). Universidad Politécnica de Madrid (Spain), 1995.
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.
Poza, F.: Contribution to research of industrial communications systems by formal description techniques. Ph. D. Thesis. Univ. of Vigo (Spain). December, 1997.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Wien
About this paper
Cite this paper
Mariño, P., Domínguez, M.A., Poza, F., Nogueira, J. (1999). Formal Description Software for WorldFIP Industrial Fieldbus. In: Dietrich, D., Schweinzer, H., Neumann, P. (eds) Fieldbus Technology. Springer, Vienna. https://doi.org/10.1007/978-3-7091-6421-1_21
Download citation
DOI: https://doi.org/10.1007/978-3-7091-6421-1_21
Publisher Name: Springer, Vienna
Print ISBN: 978-3-211-83394-0
Online ISBN: 978-3-7091-6421-1
eBook Packages: Springer Book Archive