Reuse in Protocol Design

Papp András, Harmatné Medve Anna, Dr. Tarnay Katalin

Formal methods technique, which appears as a notion of formal languages in Hungarian language, is more and more widely used in the development of real time and critical systems. The use of developmental environment supporting the graphical version of SDL (Specification and Description Language) formal language has become general in protocol design. The advantage of SDL visualisation is that the static and dynamic behaviour of the system can be described at the same time; the communicating functional units can be marked, which has its advantage in testing and control, and this way it is possible to decide whether the system is working correctly long before the implementation.

In our presentation we would like to demonstrate the process of a protocol design emphasising the principle of reuse. We would like to show how function enlargement works on a previously prepared SDL specification of an OTP Bankomat to demonstrate the principle of reuse in SDL, and finally, during the validation executed on the prepared SDL description, we can be assured of the fact that the system is working correctly.

Keywords: protocol design, SDL, validation, reuse