Modellalapú rendszertervezés támogatása a Gamma keretrendszerben

Tanszéki konzulens: 
A munkatárs fényképe
tudományos segédmunkatárs
Szoba: IB414
Tel.:
+36 1 463-3579
Email: graics (*) mit * bme * hu

A kiírás adatai

A téma státusza: 
Aktív (aktuális, lehet rá jelentkezni)
Kiírás éve: 
2023
A kiírás jellege: 
önálló labor, szakdolgozat/diplomaterv

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.

© 2010-2024 BME MIT | Hibajelentés | Használati útmutató