Tervezésitér-bejárás állapottér vizualizációja

A rendszertervezés egy sajátossága, hogy a funkcionális követelményeket kielégítő különböző rendszertervek más minőségi paraméterekkel rendelkezhetnek, például üzemeltetési költség, erőforrás kihasználtság szempontjából. Ezért egy rendszer megtervezése során kiemelt feladat, hogy a különböző lehetséges rendszerterveket megtaláljuk és azokat egyidejűleg kiértékeljük, hogy megtalálhassuk a legjobbat közülük. Ezt a folyamatot nevezzük tervezésitér-bejárásnak, melynek automatizálására több megközelítés is létezik (pl.: lineáris programozás, CSP módszerek, SAT megoldók). A modellvezérelt, szabályalapú tervezésitér-bejárás az utóbbi években megjelent megközelítés, amely könnyen beilleszthető a modellvezérelt rendszertervezés paradigmájába.

A hallgató feladata a kutatócsoporthoz köthető VIATRA-DSE modellvezérelt, szabályalapú tervezésitér-bejáró keretrendszer megismerése és egy olyan eszköz elkészítése, amely képes megjeleníteni a keretrendszer által bejárt tervezésiteret, valamilyen gráf megjelenítési technolgóia segítségével.

Jelleg: 
Gyakorlati
TDK lehetőség: 
TDK lehetőség
Megismerhető technológiák: 
Eclipse, EMF, IncQuery, VIATRA-DSE, Zest
Előismeretek: 
Java
Állapot: 
Folyamatban