A kutatócsoport tevékenysége:

Fő területünk a kritikus informatikai rendszerek, folyamatok és platformok szolgáltatásbiztonságra tervezése, ideértve a kiberfizikai és informatikai infrastruktúrákat, alkalmazásokat. Alapvető metodikánk a modellalapú tervezés, analízis és helyességbizonyítás.

• Kritikus rendszerek fejlesztése: Módszertanok, fejlesztési környezetek, technikák és technológiák a modellalapú kritikus informatikai, kiberfizikai és elosztott főkönyvi (blokklánc) rendszerek és alkalmazások tervezésére.
• Ellenőrzés és tesztelés: Módszertanok, fejlesztési környezetek és technikák kidolgozása számítógépes rendszerek illetve szoftverek precíz mérnöki modellek és modell-transzformációk segítségével történő tervezéséhez, fejlesztéséhez és projektvezetéséhez.
• Empirikus rendszertervezés: Teljesítmény és megbízhatósági követelmények kísérleti vizsgálata, mérése, analízise, méretezése származtatott modellek alapján, hibamodellezés. Blokkláncok teljesítmény és megbízhatósági analízise.

Eredmények:

• Kritikus rendszerek ellenőrzése: Kifejlesztettünk olyan hatékony módszereket és nyílt forráskódú eszközöket, amikkel kritikus rendszerek funkcionális helyessége ellenőrizhető állapotgép modellekből vagy forráskódból kiindulva. Ipari esettanulmányok többek között: CERN, NASA JPL. Nyílt forráskódú eszközeinket lásd a Github oldalunkon.
• Blokklánc rendszerek vizsgálata: Teljesítményméréseket végeztünk különböző elosztott főkönyvi megoldásokon, és kidolgoztunk olyan módszereket, amikkel blokklánc rendszerek megbízhatósága vizsgálható hibainjektálás segítségével.
• Skálázódó gráfgenerálás: Kitaláltunk olyan módszereket és eszközöket, amikkel diverz, konzisztens és realisztikus gráfok generálhatók skálázódó módon. Az eszköz felhasználható komplex modellező eszközök vagy például ADAS funkciók és autonóm járművek tesztelésére. A módszert a szoftvertechnológia terület legrangosabb eseményén, az ICSE konferencián mutattuk be.
• Biztonsági és veszély analízis: Kidolgoztunk olyan új algoritmusokat és eszközöket, amikkel autóipari és vasúti szoftverek és berendezések biztonságossága vizsgálható. Rendszeresen végzünk vasúti irányítástechnikai szoftverek fejlesztésének vizsgálatát biztonsági szabványok szerint.
• Kidolgoztunk egy új módszert, amivel az IT biztonsági támadásoknak az ipari termelőtechnológiákra gyakorolt hatása felmérhető és megfelelő védelmek dolgozhatók ki (CrySyS laborral közös együttműködés a ProtectME EU projektben).
• Nemzetközi elismerések: Publikációink a modellalapú rendszer- és szoftvertervezés területén rangos 10 Year Most Influential Paper díjban részesültek a 2021, 2020 és 2014 években.
• Tehetséggondozás: Hallgatóink kiemelkedően szerepelnek az OTDK-n, a kutatócsoport 4 tagja is OTDT Mestertanár, Pataricza András pedig megkapta az OTDT legrangosabb kitüntetést, a Honoris Causa Pro Scientia Aranyérmet.

A közelmúlt projektjei:

EU Digital: EDGE-Skills • EU Digital: SME4DD • EIT Digital: ProtectME • ITEA4 EUREKA: OpenSCALING • H2020 RISE: ADVANCE • VKE: Prolan • MTA Lendület

Nemzetközi kapcsolatok:

University of Firenze • Univ. Of Coimbra • NASA JPL • McGill University • Linköping University

Vállalati partnerek:

thyssenkrupp • Ericsson • IncQuery Labs • Knorr-Bremse • Prolan