Biztonságkritikus rendszerek modellezése és ellenőrzése

Tanszéki konzulens: 
A munkatárs fényképe
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.
Kapcsolódó eszközök: Gamma, Theta, UPPAAL,
 
© 2010-2024 BME MIT