Biztonságkritikus rendszerek valószínűségi elemzése

Tanszéki konzulens: 
A doktorandusz fényképe
PhD student
Szoba: IL405
Tel.:
+36 1 463-
Email: szekeres (*) 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 kiberfizikai rendszerek tervezésekor különösen fontos a funkcionális követelményeken túl a különböző extra-funkcionális követelményeket is szem előtt tartani, mint a biztonság, a megbízhatóság, vagy a rendelkezésre állás. Ezen jellemzők tervezési fázisban való meghatározásához a rendszernek olyan modellei szükségesek, amelyek a rendszernek és környezetének valószínűségi és nem-determinisztikus viselkedését is megfelelően leírják. Ezek lehetnek alacsony szintű sztochasztikus matematikai modellek, mint Markov-láncok és Markov döntési folyamatok, vagy magasabb szintű mérnöki modellek, mint hibafák. Ha a megfelelő modell rendelkezésre áll, abból kiszámolhatóak különböző metrikák, azonban a gyakorlatban ezen számítások gyakran nagyon számításigényesek, naív módszerekkel kezelhetetlenek. Az önálló labor során a megbízhatósági elemzésben használt modellezési formalizmusokkal és az ezek elemzésére használt algoritmusok való megismerkedésre nyílik lehetőség.

© 2010-2024 BME MIT