Use of Formal Specification and Design Language for Protocol Description - Field Report -

  • Matthias Prüβner
  • Aykut Gemici
Conference paper


Due to the growing demands placed on fieldbus systems, continuous development of protocols is required. Since it is becoming difficult to ensure consistency because of the increasing complexity of specifications based on informal text, the formal specification language SDL has been used in the current project. The experiences gained in relation to changes in the development cycle through the use of a formal specification language are described. The link between SDL and MSC, and its strengths and weaknesses are illustrated. The options for verification through simulation are introduced.


Medium Access Control Informal Text Protocol Description Message Sequence Chart Extended Finite State Machine 
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.
    Tau, Version 3.4, TelelogicGoogle Scholar
  2. 2.
    Hogrefe: SDL, Estelle und Lotus, Springer Verlag, GemanyGoogle Scholar
  3. 3.
    Ellsberger, Hogrefe, Sarma: SDL — Formal object-oriented Language for Communicating Systems ISBN 0-13-632886-5 Prentice Hall Europe 1997Google Scholar

Copyright information

© Springer-Verlag Wien 1999

Authors and Affiliations

  • Matthias Prüβner
    • 1
  • Aykut Gemici
    • 1
  1. 1.Concept DevelopmentPhoenix Contact GmbH & Co.BlombergGermany

Personalised recommendations