Kiber-fizikai rendszerek modellvezérelt fejlesztése

A modellvezérelt szoftverfejlesztés napjaink egyik felfutóban lévő fejlesztési paradigmája. Ennek alapja, hogy a fejlesztők az elkészítendő rendszer egy magas szintű és általános modelljéből indulnak ki és modellfinomítási lépések sorozatán keresztül jutnak el az alkalmazás futtatható változatáig.

Másik egyre szélesebb elterjedőben lévő paradigmája a kiber-fizikai rendszerek, amelynek célja, hogy összekösse az eddig is rendelkezésre álló beágyazott rendszereket a felhőben megtalálható intelligenciával, ez által nyújtva növelt szolgáltatásokat mindkét platformon.

A hallgató feladata, hogy egy előre kiválasztott platformra definiáljon egy állapotgépeken alapuló architektúrát, specifikáljon az ilyen architektúrák leírását elősegítő szakterület specifikus nyelvet és legvégül megvalósítson egy automatikus kódgenerátort, amely képes részben vagy teljes egészében származtatni a rendszer működéséhez szükséges forráskódot.

Témacsoport: 
Kiberfizikai rendszerek
Konzulens: 
Horváth Ákos
TDK lehetőség: 
TDK lehetőség
Megismerhető technológiák: 
Eclipse, ODroid, Raspberry
Előismeretek: 
Java
Állapot: 
Folyamatban