Tanszéki konzulens: 

Bence Graics tudományos segédmunkatárs Szoba: IB414 Tel.: +36 1 463-3579 Email: graics (*) mit * bme * hu

A Gamma Satechart Composition Framework egy modellező keretrendszer, amelyet a Budapesti Műszaki és Gazdaságtudományi Egyetem Kritikus Rendszerek Kutatócsoportjában (BME, ftsrg) fejlesztünk, azzal a céllal, hogy támogassa reaktív rendszerek komponensalapú tervezését és ellenőrzését. A keretrendszer több bemeneti modellező eszközt támogat (Yakindu, MagicDraw és SCXML), amelyekben a rendszerkomponensek viselkedése definiálható hierarchikus állapotgépek segítségével. Az elkészített állapotgépek többféle szemantika szerint integrálhatók, pl. használható szinkron vagy aszinkron jellegű kommunikációs mód. Az előálló modellekből lehetőség van implementáció generálására (Java és C), illetve azok funkcionális viselkedésének kimerítő ellenőrzésére modellellenőrző eszközök (UPPAAL, Theta és Spin) bemeneteire történő leképzéssel.

A témakiírás a Gamma keretrendszerhez kapcsolódó elméleti és gyakorlati fejlesztéseket, új integrációk megvalósítását, algoritmusok kidolgozását, implementálását foglalja magában. Meglévő implementációk optimalizálását, új irányok felderítését és friss tudományos eredmények alapján történő fejlesztéseket is lehet a téma keretében végezni.