Design of distributed and real-time systems in SDL

Harmatné Medve Anna <medve@almos.vein.hu>

Veszprémi Egyetem, Információs Rendszerek Tanszék

Papp András <andrasp@yahoo.com>

Veszprémi Egyetem, Információs Rendszerek Ttanszék

The appearance and increase of networks in everyday life puts a growing burden on designers, because it is not enough that the design should be cheap, effective and rapid but also that the system should work without errors and meet user specifications. The tools of validation come to the front and the possibility of reusability and automatised code generating plays a more and more important role. These primary issues lead the developers to construct the SDL (Specification and Description Language) formal language. However, SDL was developed for designing telecommunication systems, at the recent level of development of language it has become suitable for formulating and validating any real-time interactive and distributed system in a formal language. During the presentation a case study demonstrates the design of real-time and distributed systems in SDL.

Keywords: protocol design, distributed and real-time systems, SDL