Az elosztott és valós idejû rendszerek tervezése SDL -ben

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

A hálózatok mindennapos életben való megjelenése és rohamléptékû terjedése egyre nagyobb terhet ró a tervezõkre, hiszen nem elég, hogy a tervezés olcsó, hatékony és gyors kell legyen, hanem a rendszer hibátlanul és a felhasználói követelményeknek megfelelõen kell müködjön. Elõtérbe kerülnek a validálás eszközei és egyre fontosabb szempont az újrafelhasználhatóság és az automatizált kódolás lehetõsége is. Az SDL (Specification and Description Language) formális nyelv alkalmazásával érvényesülnek a fenti követelmények. Habár az SDL-t a telekommunikációs rendszerek tervezésére fejlesztették ki, a nyelv mai fejlettségi szintjén alkalmassá vált tetszõleges valós idejû, interaktív elosztott rendszer formális nyelven való megfogalmazására és validálására. Az elõadás során egy esettanulmány szemlélteti a valós idejû és elosztott rendszerek tervezését az SDL fejlesztõi környezetében.

Kulcsszavak: protokolltervezés, elosztott és valós idejû rendszerek tervezése, SDL