Thesis supervisor: László Lengyel
Location of studies (in Hungarian): Automatizálási és Alkalmazott Informatikai Tanszék Abbreviation of location of studies: AUT
Description of the research topic:
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 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 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.
Required language skills: angol Number of students who can be accepted: 1
Deadline for application: 2016-01-04
2024. IV. 17. ODT ülés Az ODT következő ülésére 2024. június 14-én, pénteken 10.00 órakor kerül sor a Semmelweis Egyetem Szenátusi termében (Bp. Üllői út 26. I. emelet).
Login
