Kritikus rendszerek szakirány

Természettudományos alapismeretek

• Rendszeroptimalizálás
• Alkalmazott algebra és matematikai logika

Közös tárgyak

• Formális módszerek
• Nyelvek és automaták
• Szoftverarchitektúrák
• Tömegkiszolgálás
• Információelmélet

Szakirányos tárgyak

1. félév

• Multiplatformos szoftverfejlesztés
• Szolgáltatásorientált rendszerintegráció
• Modell alapú rendszertervezés

2. félév

• Kiberfizikai rendszerek
• Szoftver és rendszerellenőrzés
• Kritikus rendszerek integrációja laboratórium

3. félév

• Kritikus architektúrák laboratórium

Linkek

• Honlap
  • https://inf.mit.bme.hu/
  • https://inf.mit.bme.hu/edu/msc