Anzeige
Erschienen in:
1999 | OriginalPaper | Buchkapitel
Use of Formal Specification and Design Language for Protocol Description - Field Report -
verfasst von : Matthias Prüβner, Aykut Gemici
Erschienen in: Fieldbus Technology
Verlag: Springer Vienna
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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.