Sorompóvezérlés modellezése és analízise

A vasúti objektumok vezérlésében és felügyeletében is egyre jobban teret hódít az informatikai rendszerek alkalmazása. Ez azonban nem triviális feladat, hiszen ismerni kell mind a biztonságkritikus rendszerekkel kapcsolatos szabványok előírásait, mind a vasúti szakterületet, és emellett szükség van a szoftverrendszerek tervezésében és kivitelezésében való jártasságra is.

A hallgatók feladata a korszerű modell alapú tervezési és fejlesztési módszerek alkalmazása a vasúti területen. A konkrét feladat egy vonali sorompó működésének és a központi felügyelő komponenssel való kommunikációjának modellezéséhez és analíziséhez kapcsolódik.

A feladat kettős konzultálásban valósul meg: a vasúti szaktudást külső, ipari partner biztosítja (Magyarország egyik vezető vasúti biztosítóberendezést gyártó vállalata, a Thales), míg az informatikai módszereket a tanszékünk konzultálja.