Comment
Author: Admin | 2025-04-28
Theintended behaviour, can be exploited only with models that respect all languagerules. For such models the static analysis tools can reveal syntax and semanticerrors, while simulation and validation tools may reveal dynamically erroneousbehaviour.ETSI Guidance on the use of SDLEG 202 106 drafted by ETSI technical committee Methods for Testing andSpecification (MTS), gives advice onusing SDL inETSI deliverables. The main issue dealt with in this guide is achievingprecise specifications while maintaining readability.For those who wish to use the wider range of SDL capabilities,EG 201 383 provides guidance on its general use in telecommunicationsstandards. AnSDLchecklist is available to indicate which SDL concepts are dangerous to usein the context of protocol standardization.Example SDL specificationThe SDL diagrams below are taken from an ETSI standard specifying the RadioLink Control protocol layer.The system diagram below shows the architecture with two parts communicatingover a normative interface.The process diagram here below shows part of the state diagram where thebehavior of one of the communication entities is defined. The comments highlightparts of the behavior that is considered normal in contrast to exceptionalbehavior. In this case the exceptional behavior is linked with messages lost intransmission.
Add Comment