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

Abstract

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.