Kritikus beágyazott rendszerek modellvezérelt szintézise

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.

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:
• Szakterületi nyelvek kidolgozása mikrokontroller alapú szoftverrendszerek fejlesztéséhez.
• Forráskód generátorok fejlesztése.
• Követelményspecifikációs formalizmusok vizsgálata.
• Módszerek és nyelvek kidolgozása a fent definiált rendszerek fejlesztési folyamatának leírására és automatizálására.

A kutatási beszámoló letölthető innen (PDF)

Holman Krisztián, Budapesti Műszaki és Gazdaságtudományi Egyetem, holman.krisztian@aut.bme.hu

2015.11.20.