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