Kritikus rendszerek főspecializáció (MIT)

Mérnökinformatikus szak (2015-től felvetteknek)

Célkitűzés

Biztonság szempontjából kritikus rendszerekkel találkozunk például gépjárművek, vasutak és repülők fedélzeti rendszerei esetén. De ugyanilyen kiemelt jelentőségűek az üzletileg kritikus szolgáltatások és számítógépes infrastruktúrák is. Napjainkban e kritikus rendszerek 70-80%-át szoftver alkalmazások teszik ki.

A kritikus rendszerek és szoftverek fejlesztési folyamata általában eltér a hagyományos (pl. webes és mobil) alkalmazásokétól, hiszen a hibák nagyobb kockázata miatt szigorúbbak az ellenőrzési módszerek (pl. tesztelés, hibaelemzés). Ugyanakkor a kritikus rendszerek esetén is alkalmazzák a legújabb technológiákat (pl. intelligens algoritmusokat, adatelemzést, autonóm működést, blockchain technológiákat) - hiszen a mérnökök előtt olyan kihívások vannak, mint például az önvezető autók, autonóm robotok, okos eszközök és intelligens kiberfizikai rendszerek fejlesztése.

A Kritikus rendszerek főspecializáció missziója, hogy olyan elit mérnökinformatikusokat képezzen ki, akik jártasak a kritikus rendszerek tervezésében, fejlesztésében, ellenőrzésében és üzemeltetésében, és bármilyen európai munkahelyen megállják a helyüket.

A specializáció tantárgyai

Bővebb információ a Hibatűrő Rendszerek Kutatócsoport weboldalán.

Jellegzetes témák

Beágyazott rendszerek: Biztonságkritikus rendszerek Hibatűrési módszerek Ellenőrzési technikák Formális verifikáció Hardver-szoftver integráció Kiberfizikai rendszerek Automatikus tesztelés	Modellalapú tervezés Követelményanalízis Szoftverfejlesztés Fejlesztőeszközök Szakterületi modellek Kódgenerálás Gráfadatbázisok Nyílt forráskódú projektek
Üzleti folyamatok Folyamatmodellezés Hibamodellezés Optimalizálás Eseményfeldolgozás Üzleti szabályrendszerek Szolgáltatásorientált architektúra	IT szolgáltatások Cloud computing Teljesítményhangolás Big Data módszerek Konfigurációtervezés Hibaterjedés-analízis Nagy rendelkezésre állás Blockchain technológia

Önálló labor és diplomatervezés

Kritikus beágyazott rendszerek:

Kiemelt hangsúlyt helyezünk a modell alapú tervezésre és ellenőrzésre, a szolgáltatásbiztonság szempontjából kritikus rendszerekben szükséges speciális architektúra-tervezési megoldásokra (pl. hibatűrés megvalósítása), valamint megvalósítási technikákra is (pl. komponensek integrációja, monitorozása).

Modellalapú szoftvertervezés:

Megismerhetők a modellezési, modell alapú kód-, konfiguráció- és tesztgenerálási módszerek és eszközök. Betekintést nyújtunk a modellezési nyelvek és modelltranszformációk kidolgozásába, a modelleken alapuló eszközintegrációba, a fejlesztői keretrendszerek belső működésébe.

Adatelemzés és 'big data':

Az adatelemzés és Big Data terület a tervezéstől, adatgyűjtéstől és -feldolgozástól a szimuláción és az optimalizáláson keresztül a modellbe visszacsatolt végrehajtásig lefedi a komplex, nagyméretű alkalmazások teljes életciklusát. Megismerhetőek egyrészről a modern adatelemzés meghatározó technológiái, Big Data elemzést támogató megoldások, munkafolyamatok, szabályalapú rendszerek, komplex eseményfeldolgozás, a szolgáltatásintegráció technológiái.

Informatikai infrastruktúra:

A rendszer- és szolgáltatásfelügyelet keretében eszközök és megoldások ismerhetők meg olyan jellemző feladatokra, mint egy informatikai infrastruktúra felmérése, a teljesítmény- és felhasználó monitorozás, kapacitásbővítés, szoftver és hardver karbantartás.

Projektek és ipari kapcsolatok

Az elmúlt tíz évben 15, közvetlenül az Európai Unió által támogatott nemzetközi kutatási projektben vettünk részt. Aktív tagjai vagyunk számos nemzetközi szakmai szervezetnek. Ipari kutatás-fejlesztési projektjeinkben olyan új, innovatív szoftveralapú megoldásokat hozunk létre, amelyek jelentősen megkönnyítik a mérnökök munkáját. Ezekbe a projektekbe rendszeresen bekapcsolódnak hallgatóink is.

Hallgatóink sikerei

TDK munkák: 2005 óta 7 első díjas OTDK dolgozat, 26 kari első díjas dolgozat.
Ösztöndíjak: Köztársasági ösztöndíjak, szakmai KBME (díjak 30%-a)
Tanulmányutak: CERN Technical Student Program (Genf). IBM Great Minds ösztöndíj (Zürich), Google Technical Internship (Dublin, Zürich)
Kitüntetések: Best Paper Award (Springer)

Kiberfizikai rendszerek (VIMIMA02)
Kritikus architektúrák laboratórium (VIMIMB00)
Kritikus rendszerek integrációja laboratórium (VIMIMA03)
Modell alapú rendszertervezés (VIMIMA00)
Szoftver- és rendszerellenőrzés (VIMIMA01)