A BME VIK MIT-en működő Kritikus Rendszerek Kutatócsoport (ftsrg) július 4-én ünnepelte fennállásának 30. évfordulóját. A több mint 100 jelenlegi és volt kolléga, partner és hallgató körében megtartott eseményen a kutatócsoport munkatársai felidézték a csoport legfontosabb kutatási és oktatási eredményeit, valamint betekintést nyújtottak a blokkláncok, megbízható adatkezelés, modellalapú rendszertervezés, automatikus verifikáció és gráfgenerálás területén elért legfrissebb eredményeikbe.

A BME VIK Mesterséges Intelligencia és Rendszertervezés Tanszéken (MIT) működő Kritikus Rendszerek Kutatócsoportot 1994. július 4-én alapította Prof. Pataricza András a hibatűrő számítástechnika oktatására és kutatására Hibatűrő Rendszerek Kutatócsoport néven. A csoport a 25. évfordulóját új névvel ünnepelte, az alapítás óta ismertté vált „ftsrg” brand megtartásával, amely a csoport eredeti nevének angol rövidítéséből származik (Fault Tolerant Systems Research Group). A júliusi eseményen nemcsak a kutatócsoport, hanem az alapító professzor születésnapját (idén tölti be 70. életévét) is ünnepelték a résztvevők.

A kutatócsoport jelenlegi és volt munkatársainak csoportképe

A rendezvényt Prof. Charaf Hassan, a BME rektora nyitotta meg. Köszöntőjében kiemelte a csoport elmúlt évtizedekben elért kiemelkedő tehetséggondozási eredményeit, a számtalan TDK- és OTDK-helyezést, és további hasonló sikereket kívánt a csoport tagjainak. Köszöntőjében Prof. Dabóczi Tamás, a MIT tanszékvezetője hangsúlyozta, hogy a csoport sikerének egyik kulcseleme az volt, hogy a csoport fiatal tagjai nagyon hamar lehetőséget és egyben felelősséget kaptak, hogy kutatási projektekben és nemzetközi együttműködésekben résztvevő vagy akár vezető szerepük legyen.

Prof. Pataricza András bevezetőjében felidézte a kutatócsoport legfontosabb szakmai módszereit és működési elveit. A szakmai tevékenységekben központi elem volt a modellalkotás és matematikai analízis módszerek alkalmazása változatos ipari, mérnöki problémákra. A csoport kezdeti éveitől kezdődően hangsúlyos volt a nemzetközi tapasztalatszerzés és a projektekben való kooperáció. Vezetői hitvallása, hogy az új területek felfedezése során fokozatosan át kell adni a helyet a fiataloknak mind az oktatásban, mind a kutatásban.

Dr. Majzik István előadásában bemutatta a csoport megalakulását és kezdeti sikereit. A kezdeti időszakban meghatározó volt három nemzetközi kooperáció, ami rengeteg közös cikket, projektet és tanulmányutat eredményezett, és megismerték a csoport tagjai a nemzetközi akadémiai sztenderdeket. Az Erlangen-Nürnbergi Egyetemen Prof. Mario Dal Cin, a Pisai Egyetemen Prof. Luca Simoncini, míg a pisai CNR-CNUCE kutatóintézetben Dr. Andrea Bondavalli csoportjában voltak vendégkutatók számos alkalommal a csoport tagjai. A csoport szakmai fejlődése szempontjából meghatározó volt a részvétel számos EU keretprogramban, kezdve az 1998-as HIDE projekttel. A projektben kidolgozott mérnöki-matematikai modelleket összekötő, úgynevezett rejtett formális módszerek elv a mai napig alapvető - például a csoport friss, úttörő munkájában, a SysMLv2 rendszermodellek ellenőrzése során is ezt alkalmazták. Az előadás áttekintette a 2005-2015 időszakot, amikor több mint 10 EU-s K+F projektben tökéletesítették és fejlesztették tovább a csoport kompetenciáit meghatározó algoritmikus és mérnöki módszereket.

Prof. Andrea Bondavalli, a Firenzei Egyetem professzora és egyben a BME díszdoktora köszöntőjében méltatta a kutatócsoportok közötti 30 éves együttműködést és a Pataricza Andráshoz fűződő barátságot. Több nagy hatású cikk, közösen szervezett konferencia, vendégprofesszori felkérés az eredménye a sikeres együttműködésnek, ami a mai napig folytatódik például az ADVANCE EU H2020 projekt keretében.

A kutatócsoport aktuális kutatási projekt portfóliója

Az első blokk zárásaként, Dr. Micskei Zoltán, aki a kutatócsoport vezetője 2019 óta, a csoport aktuális oktatási és kutatási irányait vázolta. A kutatócsoportnak jelenleg 29 tagja van, akik közül 11 rendelkezik PhD-fokozattal, és 14 doktorandusz képviseli a következő generációt. A kutatócsoport tagjai a rendszermodellezést és megbízható rendszerek tervezését a BSc-től a PhD szintig több mint 15 tantárgyban oktatják. A tehetséggondozás a kezdetektől meghatározó prioritása a csoportnak, több mint 150 TDK-zó hallgatót mentoráltak az évtizedek során, akik 50-nél is több OTDK-helyezést értek el munkáikkal. Az akár hallgatóként elkezdett kutatási témákból több mint 30 doktori fokozat született az évek alatt. A csoport kutatási portfóliója az alapkutatástól (pl. Amazon Research Award, EU Horizon projektek), az alkalmazott kutatáson át (pl. EU Digital vagy ITEA projektek) a célzott ipari együttműködésekig széles spektrumot ölel fel.

A majd öt évtizedes sikeres akadémiai pályafutás emlékeként a kutatócsoport tagjai egy az évek során született cikkek címeiből készített montázst nyújtottak át az alapító professzornak.

Prof. Pataricza András cikkeinek címéből készült montázs

Az esemény második blokkjában a legfrissebb és jövőbeli kutatási irányokat mutatták be a kutatócsoport munkatársai. Dr. Kocsis Imre a blokkláncok és elosztott főkönyvi technológiák kritikus rendszerekben való alkalmazását segítő tervezési és analízis módszereit prezentálta. Dr. Gönczy László a megbízható adatelemzés és adatalapú mérnöki tervezés lehetőségeit ismertette. Dr. Molnár Vince a modellalapú rendszertervezés legfrissebb módszertanait és modellezési nyelveit mutatta be, kiemelve a kutatócsoport szabványosításban való részvételét. Dr. Vörös András a csoport által kidolgozott, biztonságossági analízist, tesztelést és formális verifikációt támogató automatikus algoritmusokat és eszközöket ismertette. Dr. Semeráth Oszkár azokat a speciális gráfalapú következtető módszereket mutatta be, amik felhasználhatók például mesterséges intelligencia alapú rendszerek ellenőrzésére.