Softver-intenzív rendszerek verifikációja deep learning segítségével
Tanszéki konzulens:
doktorandusz
Szoba: IB414
Tel.:
+36 1 463-3579 Email: snagy (*) 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
A szoftver-intenzív rendszerek verifiklása nagy méretű kritikus rendszerek esetén különösen nehéz a rendszerek komplexitása miatt. Mesterséges intelligencia és deep learning algoritmusok képesek nagy méretű rendszerek viselkedésének megértésére és következtetések automatikus levonására.
Machine learning algoritmusokat és deep learning módszereket használnak már qulitatív hibaanalízisre. A deep learning egyik új iránya mély probabilisztikus programozási paradigma, melynek segítségével quantitatív módon ki lehet értékelni egyes események valószínűségét, ezáltal lehetőség nyílik hibavalószínűségek meghatározására.
A hallgató feladata, hogy megvizsgálja a deep learning és tanuló módszerek alkalmazhatóságát megvizsgálja olyan nagy méretű szoftver-intenzív rendszerek esetén, ahol a szoftverek komplexitása miatt a hagyományos verifikációs technikák nem alkalmazhatóak.
Nagy Simon József, 2023. május 4. 13:31 | Legutóbb frissítve: 2023. május 4. 13:31