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 húsz nagy EU-s kutatási projektben (FP4-H2020) é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.
SME4DD
Training SMEs for the Digital DecadeAz SME4DD projekt célja rövid távú képzési programok kidolgozása és megtartása, amiknek a segítségével az európai munkaerő továbbképezhető a kulcsfontosságú digitális területeken: mesterséges intelligencia, kiberbiztonság és blokklánc technológiák. Kutatócsoportunk a blokklánc területért felelős.
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.
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.
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 Access 2024
Transaction Conflict Control in Hyperledger Fabric - A Taxonomy, Gaps, and Design for Conflict Prevention
A cikkben rávilágítjuk a figyelmet arra, hogy hogyan alkalmazhatók modellvezérelt módszerek a szervezetközi blokkláncok teljesítményoptimalizásában.
Systems Engineering 2023
Pragmatic verification and validation of industrial executable SysML models
Az IncQuery Labs és NASA JPL munkatársaival közösen kidolgoztunk egy módszert ipari méretű végrehajtható SysML modellek formális ellenőrzésére.
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 VIATRA Solver gráfgenerátor keretrendszer
A VIATRA Solver egy keretrendszer, amely szakterület-specifikus nyelvek jólformált és változatos példánymodelljeinek automatikus és skálázódó generálására szolgál.
Események és díjak
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.
Akadémiai Ifjúsági Díj
Akadémiai Ifjúsági Díj Semeráth Oszkár részéreA Magyar Tudományos Akadémia (MTA) 2021-ben Akadémiai Ifjúsági Díjban részesítette Semeráth Oszkárt az „Autonóm járművek ellenőrzése gráfalapú következtetéssel” című pályamunkájáért. A díjat 35 év alatti fiatalokat kaphatják kiemelkedő tudományos eredményeik elismerésére.
