Tanszéki konzulens: 

Elekes Márton tudományos segédmunkatárs Szoba: IB414 Tel.: +36 1 463-3579 Email: elekes (*) mit * bme * hu

Mérnöki modellezési nyelveket alkalmaznak komplex rendszerek tervezése és megvalósítása során. Egy példa a Unified Modeling Language (UML) szabvány, ami egy általános célú modellezési nyelvet határoz meg szoftverrendszerek leírására, pl. osztály-, állapotgép-, vagy aktivitásdiagramok használatával. Ahhoz, hogy ezek a rendszerek helyesen működjenek, az szükséges, hogy mind a mérnökök a tervezés során, mind a különböző szimulációs, ellenőrző és futtató eszközök azonos módon értelmezzék a szabvány egyes pontjait. Mivel ezek a modellezési nyelvek összetettek, sok felhasználható elemet tartalmaznak, lényeges az elemek és az együttes hatásuk vizsgálata és pontos megadása. Erre tesz kísérletet a Precise Semantics of UML State Machines (PSSM) szabvány, amely az UML állapotgép nyelvéhez pontos szemantikát és a tervezőeszközökhöz tesztkészletet kínál.

A feladat során ilyen modellezési nyelvek szemantikáját és a meglévő eszközöket lehet vizsgálni, tesztelésükre új eszközöket és módszereket készíteni, ezzel is segítve a jövő mérnökeit. A feladat elméleti vagy gyakorlatiasabb fókusszal, az Önálló laboratóriumtól Szakdolgozat/Diplomatervig, vagy akár TDK-dolgozat keretében is megvalósítható.