Advertisement

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

  • Mariño P. 
  • Poza F. 
  • Domínguez M. 
  • Nogueira J. 
Papers
Part of the Lecture Notes in Computer Science book series (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.

Keywords

Passive Station International Standardization Organization Data Link Layer Successful Finish 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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [AP92]
    Ashkar, P.: Symbolic Execution of LOTOS Specifications. Master Thesis, University of Ottawa, 1992.Google Scholar
  2. [BK93]
    Bender, K. (editor): Profibus: the field bus for industrial automation. Prentice Hall, 1993Google Scholar
  3. [BB87]
    Bolognesi, T. y Brinksma, E.: Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems, 14: 25–59, North-Holland, 1987.CrossRefGoogle Scholar
  4. [DM93]
    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. [KJ93]
    Kenneth, J.: Using Formal Description Techniques. John Wiley & Sons, 1993.Google Scholar
  6. [MMRSHV95]
    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. [MMRSHV95bis]
    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. [MP95]
    Mariño, P.: Enterprise communications: Standards, networks and services. De. RA-MA, Madrid, 1995.Google Scholar
  9. [MRV92]
    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.CrossRefGoogle Scholar
  10. [PJ91]
    Pazos, J.J.: Transformation of LOTOS specifications. University of Vigo (Spain), 1991.Google Scholar
  11. [PL93]
    Pavón, S. y Larrabeiti, D.: LOLA User Manual (Version 2.3). Universidad Politécnica de Madrid, 1995.Google Scholar
  12. [PROF91]
    PROFIBUS Nutzerorganisation e.V. Wesseling Germany: PROFIBUS STANDARD. Translation of the German Standards DIN 19245 (Part 1 and Part 2). 1991.Google Scholar
  13. [QAP93]
    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. [RB91]
    Rezki, B., Desing, Specification, and Validation of Telephony Systems in LOTOS, Master Thesis, University of Ottawa, 1991.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Mariño P. 
    • 1
    • 2
  • Poza F. 
    • 1
    • 2
  • Domínguez M. 
    • 1
    • 2
  • Nogueira J. 
    • 1
    • 2
  1. 1.Electronic Technology Department and Applied Electronics Institute from University of VigoSpain
  2. 2.Apartado OficialE.T.S.Ingenieros IndustrialesVigoSpain

Personalised recommendations