Célkitűzés: A Kritikus rendszerek MSc mellékspecializáció célja olyan mérnökinformatikusok képzése, akik képesek a kritikus rendszerekkel szemben támasztott fő kihívásokra – ellenállóképesség, megbízhatóság, teljesítmény – szisztematikus tervezési és ellenőrzési módszerekkel megfelelő válaszokat adni, így erre alapozva bármilyen európai munkahelyen megállják a helyüket. 

Képzés: A mellékspecializáció összefoglalja a kritikus rendszerek jellegzetességeit, nagy hangsúlyt fektetve a szolgáltatásbiztonságra. Ismerteti azokat az architekturális tervezési mintákat és módszereket, amik segítségével nagy rendelkezésreállás és üzembiztonság érhető el elosztott, komplex rendszerek és alkalmazások esetén is. Tárgyalja azokat a matematikai és mérnöki analízis módszereket, amikkel a mérési vagy szimulációs adatokból modellek alkothatók, valamint ezen rendszerszintű jellemzők kiértékelhetők és bizonyíthatók. Bemutatja a modern, automatizált ellenőrzési technikák és eszközök széles tárházát (a statikus kód analízistől kezdve a logikai megoldókon alapuló verifikációig), amikkel kritikus rendszerek helyessége vizsgálható.

Tantárgyak:

• Automatizált ellenőrzési technikák (VIMIMA29)
• Megbízható elosztott és decentralizált rendszerek (VIMIMA28)
• Kritikus rendszerek laboratórium (VIMIMB11)

Tájékoztató: 4 oldalas leírás

További információ: https://ftsrg.mit.bme.hu