Use of Formal Specification and Design Language for Protocol Description - Field Report -
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.
KeywordsMedium Access Control Informal Text Protocol Description Message Sequence Chart Extended Finite State Machine
Unable to display preview. Download preview PDF.