Conference paper

Implementation and validation methods applied to SSCOP

This paper outlines the methods used to realise the implementation of the Service Specific Connection Oriented Protocol (SSCOP) which forms a main component in the Signalling ATM Adaptation Layer (SAAL). We give a short introduction to Synchronous C++, a concurrent extension to CSS, followed by a protocol programming method based on these extensions. We show how this environment is made complete, by introducing the way in which random walk simulations can be performed upon the implementation code, therefore avoiding translation from model to implementation. The specific example of SSCOP and its environment is then described including proposals to simplify and streamline the appropriate protocol specifications. This more specifically addresses the interactions between SSCF and SSCOP and the integration of these two layers. The general programming method applied to this shows its suitability for implementing these ideas. A random walk analysis performed upon the resulting code then gives indications of the correctness of the implementation

Related material