Kritikus Rendszerek Kutatócsoport

🎖Doktoranduszunk, Bajczi Levente az OTDK lebonyolításában végzett példaértékű szervezői munkájáért elnyerte a 2025-ös Kiváló TDK Szervező Díjat. Az oklevelet 2026. február 9-én, az Országos Tudományos Diákköri Tanács ünnepélyes díjátadóján adták át a Magyar Tudományos Akadémia Felolvasótermében. Az OTDT összesen 40 szakember munkáját ismerte el a tehetséggondozás és a tudományos diákköri tevékenység érdekében végzett munkáért, akik közül mindössze hárman doktoranduszok.
Gratulálunk!

🔗 További információ: https://otdk.hu/otdt/rendezvenyek/a-kivalo-tdk-szervezo-dijak-unnepelyes-atadasa/
📸 Kép: Zsoldos Dávid

🎖Az Országos Tudományos Diákköri Tanács kiemelkedő munkájáért Mestertanár Aranyérmet adományozott munkatársunknak, Molnár Vincének. A díjat oktatók és kutatók kapják, kiterjedt és eredményes témavezetői, illetve diákokat érintő tudományszervezői tevékenységükért.
👥Vince témavezetésével összesen 19 TDK és 9 OTDK dolgozat született, melyekből a kari fordulóban 10 db I. díjat (köztük 3 rektori különdíjat) érdemelt, majd az országos fordulóba továbbjutott dolgozatok közül 3 db I. díjat, 2 db II. díjat, 1 db III. díjat és 1 db különdíjat szerzett. Témavezetésével Bajczi Levente elnyerte először a PSAT Reménység Kitűzőt, majd a Pro Scientia aranyérmet is.
Vince emelett a kari TDK szervezésében is aktívan részt vett, illetve az idei informatikai OTDK ügyvezető titkára volt.

A díjhoz gratulálunk és további eredményes munkát kívánunk!

📢 Kollégáink az LFDT rövid online rendezvényén mutatják be a Blockchain Laborban fejlesztett Hypernate eszközt. A Hypernate egy adatleképező könyvtár robusztus JVM-alapú Fabric okosszerződések fejlesztéséhez, amely segítségével a fejleszők az alacsony szintű kód helyett az üzleti logikára fókuszálhatnak.

A meetup december 10-én (szerdán), 18:00-kor lesz, online, elsődlegesen a Zoom platformon, angol nyelven. Szeretettel várunk minden Hyperledger Fabric érdeklődőt!

📆 2025. december 10, 18:00
🔗 Link:

Introducing Hypernate: Data Mapper Framework for Hyperledger Fabric Chaincode, Wed, Dec 10, 2025, 6:00 PM | Meetup Meet Hypernate: a fresh, open-source way to write JVM Fabric chaincode with less key-value boilerplate and more joy — think entities + CRUD, declarative/composite keys, saf

Szerdán lezajlott a BME Villamosmérnöki és Informatikai Kar - BME VIK 2025-ös TDK-konferenciája, ahol idén is gyönyörű eredmények születtek! A VIK 107 dolgozatából 15-öt hallgatóink készítettek, melyeket a zsűri
🥇7 első hellyel,
🥈5 második hellyel, és
🥉3 harmadik hellyel díjazott,
elnyerve az Információs rendszerek, Intelligens rendszerek, Rendszermodellezés, valamint Szoftver szekciók több első díját is.
Az összes kiosztott első helyezés 21%-át kutatócsoportunk hallgatói nyerték el; tanszéki szinten pedig anyatanszékünk, a BME Mesterséges Intelligencia és Rendszertervezés Tanszék lett a legeredményesebb.

Gratulálunk és további eredményes munkát kívánunk minden díjazott hallgatónak és konzulensnek!

🎓Kollégánk, Elekes Márton sikeresen megvédte doktori disszertációját. Az értekezés magyar címe "Gráfalapú modellek és modellezési nyelvek minőségének vizsgálata". Gratulálunk!

🎖Munkatársunk, Marussy Kristóf Junior prima díjat kapott. Gratulálunk!👏

🎖Büszkén jelentjük be, hogy a kutatócsoportunk által fejlesztett Hypernate projekt bekerült a Linux Foundation Decentralized Trust (LFDT) Labs projektjei közé. A Hypernate keretrendszer lehetővé teszi a Hyperledger Fabric okosszerződések magas szintű programozását. Az LFDT Labs az LFDT-hez kapcsolódó korai fejlesztési szakaszban lévő projekteket foglalja össze, megkönnyítve ezen projektek továbbfejlesztését, magasabb szintre emelését.

A Hypernate Péter Bertalan Zoltán, Klenik Attila és Kocsis Imre munkája. Gratulálunk nekik!

GitHub - LF-Decentralized-Trust-labs/hypernate: A robust data mapper framework for JVM-based Hyperledger Fabric chaincode A robust data mapper framework for JVM-based Hyperledger Fabric chaincode - LF-Decentralized-Trust-labs/hypernate

🧑‍🎓Kutatócsoportunk vendége volt Prof. Dirk Beyer, az LMU (Ludwig Maximilian University of Munich) professzora, a formális szoftver verifikáció egyik vezető kutatója, valamint az SV-COMP (rangos szoftver helyességellenőrzőknek rendezett verseny) főszervezője.

👨‍🏫Előadásokat tartott "Verification via transformation" (Helyességellenőrzés transzformáció segítségével) illetve "Distributed Summary Synthesis: An Approach for Computing Block Contracts in Software Model Checking" (Elosztott összegzés szintézis: megközelítés blokk szerződések számításához szoftver modellellenőrzés során) címmel. Megosztotta tapasztalatait az általunk kutatott témákban, mely során nagyon sok hasznos visszajelzést kaptak tőle doktoranduszaink. Munkatársaink már évek óta együtt dolgoznak Dirk Beyerrel és csoportjával. A továbbiakban is tervezzük folytatni a termékeny közös munkát.

🏛️Doktoranduszunk, Zavada Ármin, rész vett a rangos Scottish Programming Languages and Verification nyári iskolán Edinburghban. A program során új ismereteket szerzett a konkurrens szeparációs logika, típuselmélet, programekvivalencia, és dependens típusok témaköreiben. A szakmai fejlődés mellett lehetőség volt városnézésre és egyéb kulturális programokra is.

Az utazás a program szervezői valamint az EuroProofNet segtségével valósult meg. Köszönjük a támogatást!

👨‍🏫Elekes Márton kollégánk a szoftvertechnológia egyik legrangosabb nemzetközi konferenciáján, a norvégiai Trondheimban megrendezett FSE-n (International Conference on the Foundations of Software Engineering) mutatta be Molnár Vincével és Micskei Zoltánnal közös munkáját. A bemutatott cikk címe "To Do or Not To Do: Semantics and Patterns for Do Activities in UML PSSM State Machines" (Szemantika és minták a do activity-khez UML PSSM állapotgépekben), témája pedig a kritikus rendszerekben, a mérnöki modellezés során használt UML állapotgép szabvány hibái, illetve ajánlások rendszermérnökök számára a hibák azonosításához és elkerüléséhez.

✈️Márton nyáron kutatási látogatást is tett az NTNU egyetemen (Norvég Tudományos Műszaki Egyetem) Leonardo Montecchi csoportjában. Munkájuk során áttekintették a lehetséges kutatási irányokat a nagy nyelvi modellek (LLM) modellalapú rendszertervezés (MBSE) területén való alkalmazása kapcsán, valamint összevetették a modellalapú technikák és a szoftvertechnológia oktatással kapcsolatos norvég és magyar tapasztalatokat.

✈️Kollégáink, Ádám Zsófia és Bajczi Levente az Erasmus valamint a Bayhost programok keretében két hónapos német kiküldetésen vettek részt. Munkájuk során a müncheni Software and Computational Systems Lab (Sosy-Lab) munkatársaival együttműködésben a CPAchecker eszköz fejlesztésében és hozzá kapcsolódó kutatómunkában vettek részt.

További információ:

CPAchecker: A Software Verification Tool for Configurable Program Analyses CPAchecker: A Software Verification Tool for Configurable Program Analyses

🎖Kutatócsoportunk vezetője, Micskei Zoltán a Magyar Arany Érdemkereszt polgári tagozat kitüntetést kapta. Az Augusztus 20 alkalmából rendezett átadón a Műegyetem hat oktatóját is díjazták, akik közül ketten a Mesterséges Intelligencia és Rendszertervezés Tanszék munkatársai. Gratulálunk!

További információ: https://index.hu/kultur/2025/08/19/augusztus-20-hanko-balazs-allami-kituntetes-pesti-vigado/