Skip to main content
SpringerLink
Log in

Specification and verification of a real-time field bus with formal description languages

  • Papers
  • Conference paper
  • First Online:
Transformation-Based Reactive Systems Development (ARTS 1997)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1231))

Abstract

In this work the real-time field bus PROFIBUS for industrial communication networks, is specified with the formal specification language LOTOS and its associated tools. The paper introduces the general characteristics of LOTOS and its related tools, and the main features of PROFIBUS particularly the related with its data link layer. The methodology and data types implemented are explained, with an instance of developed performance tests for the specification. Results and new guidelines of this work are explained in last paragraph devoted to conclusions and future works. With LOTOS specification of PROFIBUS protocol comes up the possibility and benefit of using formal descriptions techniques for designs in the field of industrial communications.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Ashkar, P.: Symbolic Execution of LOTOS Specifications. Master Thesis, University of Ottawa, 1992.

    Google Scholar 

  2. Bender, K. (editor): Profibus: the field bus for industrial automation. Prentice Hall, 1993

    Google Scholar 

  3. Bolognesi, T. y Brinksma, E.: Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems, 14: 25–59, North-Holland, 1987.

    Article  Google Scholar 

  4. Domínguez Gómez, M.A.: Tool for obtaining transformation rules over LOTOS data types. Graduation project, University of Vigo (Spain), 1993.

    Google Scholar 

  5. Kenneth, J.: Using Formal Description Techniques. John Wiley & Sons, 1993.

    Google Scholar 

  6. Mañas, J., De Miguel, T., Robles, T., Salvachua, J., Huescas, G. y Veiga, M.: TOPO: Quick Reference Front-End — Version 3R6. Universidad Politécnica de Madrid, 1995.

    Google Scholar 

  7. Mañas, J., De Miguel, T., Robles, T., Salvachua, J., Huescas, G. y Veiga, M.: TOPO: Quick Reference C Code Generator — Version 3R6. Universidad Politécnica de Madrid, 1995.

    Google Scholar 

  8. Mariño, P.: Enterprise communications: Standards, networks and services. De. RA-MA, Madrid, 1995.

    Google Scholar 

  9. Meer, J., Roth, R. y Vuong, S.: Introduction to algebraic specifications based on the language ACT ONE. Computer Networks and ISDN Systems, 23: 363–392, North-Holland, 1992.

    Article  Google Scholar 

  10. Pazos, J.J.: Transformation of LOTOS specifications. University of Vigo (Spain), 1991.

    Google Scholar 

  11. Pavón, S. y Larrabeiti, D.: LOLA User Manual (Version 2.3). Universidad Politécnica de Madrid, 1995.

    Google Scholar 

  12. PROFIBUS Nutzerorganisation e.V. Wesseling Germany: PROFIBUS STANDARD. Translation of the German Standards DIN 19245 (Part 1 and Part 2). 1991.

    Google Scholar 

  13. Quemada, J., Azcorra, A. y Pavón, S.: Design with LOTOS (Chapter 4: Validation and Verification). Universidad Politécnica de Madrid, 1993.

    Google Scholar 

  14. Rezki, B., Desing, Specification, and Validation of Telephony Systems in LOTOS, Master Thesis, University of Ottawa, 1991.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Electronic Technology Department and Applied Electronics Institute from University of Vigo, Spain

    P. Mariño (Professor and Ph D.), F. Poza (Full Professor and Researcher), M. Domínguez (Researcher) & J. Nogueira (Associate Professor and Researcher)

  2. Apartado Oficial, E.T.S.Ingenieros Industriales, 36200, Vigo, Spain

    P. Mariño (Professor and Ph D.), F. Poza (Full Professor and Researcher), M. Domínguez (Researcher) & J. Nogueira (Associate Professor and Researcher)

Authors
  1. P. Mariño
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. F. Poza
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. M. Domínguez
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. J. Nogueira
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Miquel Bertran Teodor Rus

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Mariño, P., Poza, F., Domínguez, M., Nogueira, J. (1997). Specification and verification of a real-time field bus with formal description languages. In: Bertran, M., Rus, T. (eds) Transformation-Based Reactive Systems Development. ARTS 1997. Lecture Notes in Computer Science, vol 1231. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63010-4_28

Download citation

  • DOI: https://doi.org/10.1007/3-540-63010-4_28

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63010-4

  • Online ISBN: 978-3-540-69058-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation