Kutatás-fejlesztés
Út az alap és alkalmazott kutatáson át az innovációig
K+F+I projektjeink
A kutatócsoport az elmúlt 25 évben több mint harminc nagy EU-s kutatási projektben (FP4-Horizon) és 25-nél is több közvetlen ipari együttműködésben vett részt. 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.
EDGE-Skills
European Dataspace for Growth and Education - SkillsAz EDGE-Skills project célja, hogy innovatív felhő- és peremszolgáltatásokat fejlesszen és telepítsen oktatási és képzési adatterekhez (data space), és az adattereket elérhetővé tegye privát és publikus szervezetek számára.
VAMPIR
Verifiable AI/ML techniques for PNT applicationsAz ESA által támogatott VAMPIR projekt egy olyan verifikációs motort fejleszt ki, amivel AI-alapú Positioning, Navigation, and Timing (PNT) alkalmazások konzisztenciája javítható gráfalapú érvelésekkel. A verifikációs motor eredményeit fejlett vezetéstámogató rendszerek teljesítményének javításával demonstrálja.
Publikációink
Teljes publikációs lista |Adathalmazok |Diasorok
Kutatócsoportunk rendszeresen publikál a szoftvertechnológia (TSE, IST, STTT), modellalapú fejlesztés (MODELS, SoSyM), a formális verifikáció (TACAS, JAR) és a szoftvertesztelés (ICST, STVR) vezető konferenciáin és folyóirataiban.
Empirical Software Eng 2026
Aiding the design of critical software systems by iterative exploration of distinct requirement violation scenarios
Szisztematikus folyamatot dolgoztunk ki követelménysértési forgatókönyvek felderítésére hibatűrő rendszerek terveiben, és alkalmaztuk azt egy autóipari esettanulmányon.
Softw Syst Model 2025
Networcat: applying analysis techniques of shared memory software on message-passing distributed systems
Bemutattunk egy új módszert elosztott rendszerek kommunikációjának modellezésére, egy többszálú programok analízisére használt nyelv segítségével.
IEEE T Software Eng 2024
To Do or Not to Do: Semantics and Patterns for Do Activities in UML PSSM State Machines
Az UML állapotgépek és doActivity‑k szemantikáját elemeztük, valamint olyan gyakorlati mintákat javasoltunk, amelyek felfedik a modellekben rejlő hibákat.
Eszközeink
A Gamma állapotgép-kompozíciós keretrendszer
A Gamma modellezőeszköz reaktív rendszerek komponensalapú tervezését, formális ellenőrzését, illetve implementációjának automatikus előállítását teszi lehetővé.
A Theta modellellenőrző keretrendszer
A Theta modellellenőrző keretrendszer absztrakció-finomítás alapú, korszerű algoritmusok kollekciója, amelyek kombinálhatóságuk révén mindig az adott problémához szabhatók.
A Refinery gráfmegoldó keretrendszer
A Refinery egy keretrendszer, amely szakterület-specifikus nyelvek jólformált és változatos példánymodelljeinek automatikus és hatékony generálására szolgál.
VIATRA
Az Eclipse VIATRA egy modell-transzformációs keretrendszer, amely hatékony mintaillesztést és inkrementális modell-szinkronizálási képességeket nyújt.
Események és díjak
OTDT Mestertanári Aranyérem
Elismerés kiemelkedő tehetséggondozásértKutatócsoportunk több tagja is részesült az OTDT Mestertanári Aranyéremben, amellyel az OTDT a kiemelkedő tudományos tehetséggondozó munkát végző oktatókat ismeri el: Pataricza András (1997), Varró Dániel (2009), Majzik István (2011), Vörös András (2021), Molnár Vince (2025).
Fiatal Kutatók Akadémiája
Micskei Zoltán FKA tag lettA Fiatal Kutatók Akadémiája 2022-ben tagjai közé választotta Micskei Zoltánt. Az Akadémia minden évben 12 új tagot választ a 40 év alatti kiemelkedő eredményt elért kutatók közül eddig tudományos teljesítményük és a fiatal kutatókat segítő terveiket bemutató pályázatuk alapján.
