![research.heroTitle](/static/645210cb77cdd7dce35417d91107f03b/33355/bg_5.jpg)
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.
![...](/static/111acd22dc14ebf34df304fbfba137d2/47930/aws.jpg)
AWS
Graph Solver as a ServiceA McGill Egyetemmel közösen elnyertünk egy Amazon Research Award díjat a Graph Solver as a Service című pályázatunkkal. A pályázat során a gráfgeneráló algoritmusainkat és a hozzá tartozó adatszerkezeteket terveztük újra és fejlesztettük tovább, hogy felhő környezetben is tudjanak skálázódni.
![...](/static/f9f702728a5fba17aacfe1a9eaa39007/c7240/eu-flag.png)
Korábbi projektjeink
FP4-től H2020-igEU keretprogramok (EEMCN, FUTEG, HIDE, DECOS, RESIST, Sensoria, Deserec, Diana, Hidenets, SafeDMI, Amber, Genesys, Mogentes, SecureChange, E-freight, R3-COP, CECRIS, Concerto, MONDO, R5-COP...) és hazai kutatási pályázatok (MTA Lendület, ERC_HU, OTKA...)
![...](/static/de70594f94278f0d2ac76319cda723c1/342ff/sme4dd.png)
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.
![...](/static/7d235cc7c395045ed820687aa9ae0fc8/dd515/prometheus-x.jpg)
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.
![...](/static/cbf36e61b36ee19df0960d144d29af8a/2d739/embrace.png)
OpenSCALING
Open Standards for SCALable virtual engineerINGAz OpenSCALING projekt célja, hogy a nyílt szabványokat és meglévő modellezési és szimulációs eszközöket továbbfejlessze, hogy jobban támogassák az energiafelhasználás csökkentését lehetővé tevő nagyméretű rendszereket és elosztott vezérlőket.
![...](/static/0dc77d207701061d168c8e19026872b3/08932/KK.png)
Competence Center
Safety Science and Technology Competence CenterA BME négy nagyvállalattal együttműködve létrehozott egy Biztonságtudományi és Technológiai Kompetencia Központot. Kutatócsoportunk a thyssenkrupp vállalattal együttműködve olyan új modellezési és analízis módszereket és eszközöket dolgozott ki, amikkel biztonságkritikus rendszerek fejlesztése hatékonyabbá tehetők.
![...](/static/80b039e3e73e5a2fd313ad1a98793f7b/4cba0/advance.png)
ADVANCE
Addressing V&V Challenges in Future CPSA BME részvételével 2019 januárjában elindult az „Addressing Verification and Validation Challenges in Future Cyber-Physical Systems” (ADVANCE) nevű H2020 RISE kutatási projekt, ami a jövő kiberfizikai rendszereinek ellenőrzési kihívásait fogja vizsgálni. A projekt futamideje 4 év és teljes költségvetése € 657 800.
![...](/static/111acd22dc14ebf34df304fbfba137d2/47930/aws.jpg)
AWS
Graph Solver as a ServiceA McGill Egyetemmel közösen elnyertünk egy Amazon Research Award díjat a Graph Solver as a Service című pályázatunkkal. A pályázat során a gráfgeneráló algoritmusainkat és a hozzá tartozó adatszerkezeteket terveztük újra és fejlesztettük tovább, hogy felhő környezetben is tudjanak skálázódni.
![...](/static/f9f702728a5fba17aacfe1a9eaa39007/c7240/eu-flag.png)
Korábbi projektjeink
FP4-től H2020-igEU keretprogramok (EEMCN, FUTEG, HIDE, DECOS, RESIST, Sensoria, Deserec, Diana, Hidenets, SafeDMI, Amber, Genesys, Mogentes, SecureChange, E-freight, R3-COP, CECRIS, Concerto, MONDO, R5-COP...) és hazai kutatási pályázatok (MTA Lendület, ERC_HU, OTKA...)
![...](/static/de70594f94278f0d2ac76319cda723c1/342ff/sme4dd.png)
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.
![...](/static/7d235cc7c395045ed820687aa9ae0fc8/dd515/prometheus-x.jpg)
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.
![...](/static/cbf36e61b36ee19df0960d144d29af8a/2d739/embrace.png)
OpenSCALING
Open Standards for SCALable virtual engineerINGAz OpenSCALING projekt célja, hogy a nyílt szabványokat és meglévő modellezési és szimulációs eszközöket továbbfejlessze, hogy jobban támogassák az energiafelhasználás csökkentését lehetővé tevő nagyméretű rendszereket és elosztott vezérlőket.
![...](/static/0dc77d207701061d168c8e19026872b3/08932/KK.png)
Competence Center
Safety Science and Technology Competence CenterA BME négy nagyvállalattal együttműködve létrehozott egy Biztonságtudományi és Technológiai Kompetencia Központot. Kutatócsoportunk a thyssenkrupp vállalattal együttműködve olyan új modellezési és analízis módszereket és eszközöket dolgozott ki, amikkel biztonságkritikus rendszerek fejlesztése hatékonyabbá tehetők.
![...](/static/80b039e3e73e5a2fd313ad1a98793f7b/4cba0/advance.png)
ADVANCE
Addressing V&V Challenges in Future CPSA BME részvételével 2019 januárjában elindult az „Addressing Verification and Validation Challenges in Future Cyber-Physical Systems” (ADVANCE) nevű H2020 RISE kutatási projekt, ami a jövő kiberfizikai rendszereinek ellenőrzési kihívásait fogja vizsgálni. A projekt futamideje 4 év és teljes költségvetése € 657 800.
![...](/static/111acd22dc14ebf34df304fbfba137d2/47930/aws.jpg)
AWS
Graph Solver as a ServiceA McGill Egyetemmel közösen elnyertünk egy Amazon Research Award díjat a Graph Solver as a Service című pályázatunkkal. A pályázat során a gráfgeneráló algoritmusainkat és a hozzá tartozó adatszerkezeteket terveztük újra és fejlesztettük tovább, hogy felhő környezetben is tudjanak skálázódni.
![...](/static/f9f702728a5fba17aacfe1a9eaa39007/c7240/eu-flag.png)
Korábbi projektjeink
FP4-től H2020-igEU keretprogramok (EEMCN, FUTEG, HIDE, DECOS, RESIST, Sensoria, Deserec, Diana, Hidenets, SafeDMI, Amber, Genesys, Mogentes, SecureChange, E-freight, R3-COP, CECRIS, Concerto, MONDO, R5-COP...) és hazai kutatási pályázatok (MTA Lendület, ERC_HU, OTKA...)
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.
![Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts](/static/ef9a44d3df9c244c039cf65dd476e4ff/b444b/access2020.png)
IEEE Access 2020
Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts
A Coimbrai Egyetem kutatóival együttműködve olyan módszert javasoltunk, amivel blockchain rendszerek megbízhatósága vizsgálható.
![Automated Isolation for White-box Test Generation](/static/720267b6766c139096bf0a4842c38f0b/3f4ea/ist2020.jpg)
Inform Software Tech 2020
Automated Isolation for White-box Test Generation
Olyan módszert és eszközt készítettünk, ami forráskód-alapú tesztgenerálás során a tesztelt modul izolációja érdekében automatikusan mock környezeteket generál.
![Efficient Strategies for CEGAR-Based Model Checking](/static/2cfb306803eeb381194eb6c3753ab3bd/b444b/jar2020.png)
J Autom Reasoning 2020
Efficient Strategies for CEGAR-Based Model Checking
Hatékony algoritmusokat javasoltunk a CEGAR-alapú modellellenőrzés továbbfejlesztéséhez, amik beágyazott szoftver és PLC kódok ellenőrzését segítik.
![Transaction Conflict Control in Hyperledger Fabric - A Taxonomy, Gaps, and Design for Conflict Prevention](/static/ee24932e4a1f1a7877121eb98e0ebdcb/b444b/access2024.png)
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.
![Pragmatic verification and validation of industrial executable SysML models](/static/2b7b1cbe452aa43290f55e9696af408c/b444b/se2023.png)
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.
![Assessing the specification of modelling language semantics - a study on UML PSSM](/static/1673ad71ed109a1572862d189c34b674/b444b/sqj2023.png)
Software Quality J 2023
Assessing the specification of modelling language semantics - a study on UML PSSM
Módszereket javasoltunk, amivel modellezési nyelvek tervezése és felhasználása során a nyelv szemantikáját lehet ellenőrizni.
![Automated generation of consistent models using qualitative abstractions](/static/56330a8bd995249b43d7f5f74eaeaaa9/b444b/sosym2022.png)
Softw Syst Model 2022
Automated generation of consistent models using qualitative abstractions
Olyan új algoritmusokat javasoltunk, amik többféle megoldó kombinálásával képesek teszt forgatókönyvek automatikus generálására.
![Automated Generation of Consistent Graph Models with Multiplicity Reasoning](/static/d653f85f1ae7fae192e48ac7e331dca4/b444b/tse2020.png)
IEEE T Software Eng 2022
Automated Generation of Consistent Graph Models with Multiplicity Reasoning
Olyan módszereket javasoltunk, amivel gráfok generálása során adott célfüggvény szerinti optimalizációs problémákat tudunk megoldani.
![Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts](/static/ef9a44d3df9c244c039cf65dd476e4ff/b444b/access2020.png)
IEEE Access 2020
Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts
A Coimbrai Egyetem kutatóival együttműködve olyan módszert javasoltunk, amivel blockchain rendszerek megbízhatósága vizsgálható.
![Automated Isolation for White-box Test Generation](/static/720267b6766c139096bf0a4842c38f0b/3f4ea/ist2020.jpg)
Inform Software Tech 2020
Automated Isolation for White-box Test Generation
Olyan módszert és eszközt készítettünk, ami forráskód-alapú tesztgenerálás során a tesztelt modul izolációja érdekében automatikusan mock környezeteket generál.
![Efficient Strategies for CEGAR-Based Model Checking](/static/2cfb306803eeb381194eb6c3753ab3bd/b444b/jar2020.png)
J Autom Reasoning 2020
Efficient Strategies for CEGAR-Based Model Checking
Hatékony algoritmusokat javasoltunk a CEGAR-alapú modellellenőrzés továbbfejlesztéséhez, amik beágyazott szoftver és PLC kódok ellenőrzését segítik.
![Transaction Conflict Control in Hyperledger Fabric - A Taxonomy, Gaps, and Design for Conflict Prevention](/static/ee24932e4a1f1a7877121eb98e0ebdcb/b444b/access2024.png)
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.
![Pragmatic verification and validation of industrial executable SysML models](/static/2b7b1cbe452aa43290f55e9696af408c/b444b/se2023.png)
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.
![Assessing the specification of modelling language semantics - a study on UML PSSM](/static/1673ad71ed109a1572862d189c34b674/b444b/sqj2023.png)
Software Quality J 2023
Assessing the specification of modelling language semantics - a study on UML PSSM
Módszereket javasoltunk, amivel modellezési nyelvek tervezése és felhasználása során a nyelv szemantikáját lehet ellenőrizni.
![Automated generation of consistent models using qualitative abstractions](/static/56330a8bd995249b43d7f5f74eaeaaa9/b444b/sosym2022.png)
Softw Syst Model 2022
Automated generation of consistent models using qualitative abstractions
Olyan új algoritmusokat javasoltunk, amik többféle megoldó kombinálásával képesek teszt forgatókönyvek automatikus generálására.
![Automated Generation of Consistent Graph Models with Multiplicity Reasoning](/static/d653f85f1ae7fae192e48ac7e331dca4/b444b/tse2020.png)
IEEE T Software Eng 2022
Automated Generation of Consistent Graph Models with Multiplicity Reasoning
Olyan módszereket javasoltunk, amivel gráfok generálása során adott célfüggvény szerinti optimalizációs problémákat tudunk megoldani.
![Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts](/static/ef9a44d3df9c244c039cf65dd476e4ff/b444b/access2020.png)
IEEE Access 2020
Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts
A Coimbrai Egyetem kutatóival együttműködve olyan módszert javasoltunk, amivel blockchain rendszerek megbízhatósága vizsgálható.
![Automated Isolation for White-box Test Generation](/static/720267b6766c139096bf0a4842c38f0b/3f4ea/ist2020.jpg)
Inform Software Tech 2020
Automated Isolation for White-box Test Generation
Olyan módszert és eszközt készítettünk, ami forráskód-alapú tesztgenerálás során a tesztelt modul izolációja érdekében automatikusan mock környezeteket generál.
![Efficient Strategies for CEGAR-Based Model Checking](/static/2cfb306803eeb381194eb6c3753ab3bd/b444b/jar2020.png)
J Autom Reasoning 2020
Efficient Strategies for CEGAR-Based Model Checking
Hatékony algoritmusokat javasoltunk a CEGAR-alapú modellellenőrzés továbbfejlesztéséhez, amik beágyazott szoftver és PLC kódok ellenőrzését segítik.
![research.tools.title](/static/933da9e3bc32b2f70fe7665b26c5baa6/46089/bg_4.jpg)
Eszközeink
![A Gamma állapotgép-kompozíciós keretrendszer](/static/37f701bf187ffb553757553d5488c708/43ae5/gamma.png)
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](/static/24be2e0ff79a2763d764410451c2c5e0/4e0f7/theta.png)
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
![...](/static/55f203888a9377b3f56671ea70f0bb16/1fa44/models-mip-award-2020.png)
MODELS Most influential paper
Legnagyobb hatású cikk a MODELS 2020 konferenciánKutatócsoportunk jelenlegi és korábbi munkatársai vehették át a „Legnagyobb hatású cikk” díját a modellalapú rendszer- és szoftvertervezés legrangosabb nemzetközi tudományos fórumán az „Incremental Evaluation of Model Queries over EMF Models” című, a MODELS 2010 konferencián bemutatott publikációjukért.
![...](/static/2226c126b41bb48e5eabcd46f0906008/de391/disc2019.png)
DISC 2019
33rd Int. Symposium on Distributed ComputingKutatócsoportunk szervezte az International Symposium on Distributed Computing (DISC) konferenciát 2019. október 14-18. között Budapesten. A DISC egy nemzetközi, elismert akadémiai konferencia, aminek a témája az elosztott rendszerek és hálózatok elmélete, tervezése, analízise és alkalmazása.
![...](/static/bba0107fd20dda40a1be206659c6a998/47930/fka.jpg)
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.
![...](/static/fa6ebdce2025772c60b9460e49204237/a89ca/mta.jpg)
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.
![...](/static/02bbee4a1e09ec90c5b80ca0d0750115/d6138/sosym2021.png)
SoSyM Most influential paper
Legnagyobb hatású cikk a SoSyM folyóiratbanMicskei Zoltán és Hélène Waeselynck vehették át a „Legnagyobb hatású cikk” díjat a Software and Systems Modeling, a modellalapú rendszer- és szoftvertervezés legrangosabb nemzetközi tudományos folyóiratában 10 évvel ezelőtt megjelent „The many meanings of UML 2 Sequence Diagrams: a survey” című publikációjukért.
![...](/static/f9f05e3bff605fad838ba78417d987f4/a16de/mta-price.jpg)
Akadémiai Díj
MTA Akadémiai Díj Pataricza András részéreA díj elismerte a kritikus informatikai infrastruktúrák és a kiberfizikai rendszerek elméleti megalapozását, tervezését és fejlesztését célzó példaértékű munkásságát, a hibatűrés terén nemzetközileg is ismert iskolateremtő tudományos tevékenységét, valamint a tudományos utánpótlás nevelésében elért eredményeit.
![...](/static/55f203888a9377b3f56671ea70f0bb16/1fa44/models-mip-award-2020.png)
MODELS Most influential paper
Legnagyobb hatású cikk a MODELS 2020 konferenciánKutatócsoportunk jelenlegi és korábbi munkatársai vehették át a „Legnagyobb hatású cikk” díját a modellalapú rendszer- és szoftvertervezés legrangosabb nemzetközi tudományos fórumán az „Incremental Evaluation of Model Queries over EMF Models” című, a MODELS 2010 konferencián bemutatott publikációjukért.
![...](/static/2226c126b41bb48e5eabcd46f0906008/de391/disc2019.png)
DISC 2019
33rd Int. Symposium on Distributed ComputingKutatócsoportunk szervezte az International Symposium on Distributed Computing (DISC) konferenciát 2019. október 14-18. között Budapesten. A DISC egy nemzetközi, elismert akadémiai konferencia, aminek a témája az elosztott rendszerek és hálózatok elmélete, tervezése, analízise és alkalmazása.
![...](/static/bba0107fd20dda40a1be206659c6a998/47930/fka.jpg)
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.
![...](/static/fa6ebdce2025772c60b9460e49204237/a89ca/mta.jpg)
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.
![...](/static/02bbee4a1e09ec90c5b80ca0d0750115/d6138/sosym2021.png)
SoSyM Most influential paper
Legnagyobb hatású cikk a SoSyM folyóiratbanMicskei Zoltán és Hélène Waeselynck vehették át a „Legnagyobb hatású cikk” díjat a Software and Systems Modeling, a modellalapú rendszer- és szoftvertervezés legrangosabb nemzetközi tudományos folyóiratában 10 évvel ezelőtt megjelent „The many meanings of UML 2 Sequence Diagrams: a survey” című publikációjukért.
![...](/static/f9f05e3bff605fad838ba78417d987f4/a16de/mta-price.jpg)
Akadémiai Díj
MTA Akadémiai Díj Pataricza András részéreA díj elismerte a kritikus informatikai infrastruktúrák és a kiberfizikai rendszerek elméleti megalapozását, tervezését és fejlesztését célzó példaértékű munkásságát, a hibatűrés terén nemzetközileg is ismert iskolateremtő tudományos tevékenységét, valamint a tudományos utánpótlás nevelésében elért eredményeit.
![...](/static/55f203888a9377b3f56671ea70f0bb16/1fa44/models-mip-award-2020.png)
MODELS Most influential paper
Legnagyobb hatású cikk a MODELS 2020 konferenciánKutatócsoportunk jelenlegi és korábbi munkatársai vehették át a „Legnagyobb hatású cikk” díját a modellalapú rendszer- és szoftvertervezés legrangosabb nemzetközi tudományos fórumán az „Incremental Evaluation of Model Queries over EMF Models” című, a MODELS 2010 konferencián bemutatott publikációjukért.
![...](/static/2226c126b41bb48e5eabcd46f0906008/de391/disc2019.png)
DISC 2019
33rd Int. Symposium on Distributed ComputingKutatócsoportunk szervezte az International Symposium on Distributed Computing (DISC) konferenciát 2019. október 14-18. között Budapesten. A DISC egy nemzetközi, elismert akadémiai konferencia, aminek a témája az elosztott rendszerek és hálózatok elmélete, tervezése, analízise és alkalmazása.