témavezető: Lengyel László
helyszín (magyar oldal): Automatizálási és Alkalmazott Informatikai Tanszék helyszín rövidítés: AUT
A kutatási téma leírása:
A mikroprocesszor alapú célrendszerek napjainkban körülvesznek bennünket és életünk legváltozatosabb területein – gyakran teljesen észrevétlenül – szolgálják biztonságunkat, kényelmünket. Példaként gondolhatunk egy egyszerű navigációs készülékre, vagy akár vezetést támogató rendszerekre gépjárművekben. Ezek a valósidejű beágyazott rendszerek egyre bonyolultabb képességekkel rendelkeznek, ezért a tradicionális szoftverfejlesztési metodikák alkalmazása nem elégséges a komplex és biztonságkritikus funkciók kifejlesztésére, a hasonló rendszerek magas minőségi szintű előállítására.
A szakterület specifikus modellezés lehetővé teszi a fejlesztési folyamat nagyfokú automatizálását, a követelmények formális leírását, támogatja az elkészült rendszer verifikációját és validációját a követelményekkel szemben, csökkentve az így előállított rendszer szoftverből eredő meghibásodásának valószínűségét.
A kutatási terület kritikus és valósidejű beágyazott rendszerek szoftvereinek modell alapú előállítását, verifikálását, a követelmények leírásának formalizmusait és azok kiértékelésének módszereit célozza meg. Ezen kutatási téren belül a képzés keretében feldolgozandó kutatási területek az alábbiak:
• Szakterületi nyelvek és a problématérhez illeszkedő keretrendszerek kidolgozása mikrokontroller alapú szoftverrendszerek fejlesztéséhez.
• Forráskód generátorok fejlesztését és ellenőrzését támogató módszerek vizsgálata.
• Követelményspecifikációs formalizmusok vizsgálata, magas absztrakciós szintű modellek transzformációinak tanulmányozása a követelmények modell-alapú ellenőrizhetőségéhez.
• Módszerek és nyelvek kidolgozása a fent definiált rendszerek fejlesztési folyamatának leírására és automatizálására.
előírt nyelvtudás: Angol felvehető hallgatók száma: 1
Bejelentkezés
