English
Magyar
Biztonságkritikus rendszerek modellezése és ellenőrzése
Tanszéki konzulens:
 habilitated associate professor
Szoba: IB421
Tel.:
+36 1 463-3598 Email: majzik (*) mit * bme * hu |
A kiírás adatai
A téma státusza:
Aktív (aktuális, lehet rá jelentkezni)
Kiírás éve:
2023
A kiírás jellege:
önálló labor, szakdolgozat/diplomaterv Biztonságkritikus rendszerekben nagy a tervezés vagy implementáció során elkövetett hibák kockázata, így precíz tervezésre és alapos ellenőrzésekre van szükség. A modellalapú fejlesztés terjedésével sok ellenőrzés már a tervezés fázisában készült modelleken elvégezhető, de ellenőrzéseket kell végezni a rendszer működése során is. Érdekes kihívásokat jelent egyrészt a mesterséges intelligencia (AI) alapú komponensek viselkedésének ellenőrzése, másrészt a lehetséges környezeti változások és hardver hibák hatásának felmérése, a hibakezelés vizsgálata.
A téma keretében modellezési módszereket és ezekhez kapcsolódó ellenőrzési és monitorozási technikákat lehet megismerni illetve kidolgozni, valamint konkrét (ipari) rendszerekhez kapcsolódó vizsgálatokat végezni. A következő jellegű feladatok várhatók:
- Kritikus algoritmusok, kommunikációs protokollok modellezése.
- Követelmények megadása újszerű leíró nyelvek és formalizmusok használatával.
- Precíz követelmények alapján futásidőbeli ellenőrzések megvalósítása (monitorozás, felügyelet).
- Modell alapú verifikáció (modellellenőrzés).
- Fókuszált tesztgenerálás biztonsági követelmények alapján.
- Kockázatelemzés a megtervezett hibakezelés alapján.
Submitted by Majzik István on 2023. May 3. 12:38 | Last updated: 2023. May 3. 12:42