| bme.hu
| vik.bme.hu
| mit.bme.hu
Kutatás-fejlesztés
Út az alap és alkalmazott kutatáson át az innovációig
Kezdőlap
Kutatás-fejlesztés
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.
0
EU-s kutatási projekt
0
Ipari együttműködés
0
Hazai és bilaterális projekt
ADVANCE
Addressing Verification and Validation Challenges in Future Cyber-Physical SystemsA 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.
EMBrACE
Environment for model-based rigorous adaptive co-design and operation of CPSA BME részvételével elindult az „Environment for model-based rigorous adaptive co-design and operation of CPS” (EMBrACE) című ITEA 3 projekt. Az IncQuery Labs és további húsz partner együttműködésével készítünk komplex ipari rendszerek tervezéséhez innovatív mérnöki nyelveket és eszközöket.
Blockchain
Blockchain for the Decision MakerAz EIT Digital Professional School keretében kidolgozunk egy olyan tanfolyamsorozatot, ami bemutatja, hogy hogyan lehet a blockchain technológiákat beépíteni egy cég üzletmenetébe és innovatív szolgáltatásaibe.
Arrowhead Tools
European investment for Digitalisation and Automation LeadershipA BME TMIT és MIT részvételével 2019 májusában elindult az „Arrowhead Tools” H2020 ECSEL projekt, ami Európa legnagyobb, ipari digitalizációs és automatizálási megoldásokat fejlesztő K+F+I projektje. A projektben több mint 80 partner vesz részt, köztük az AITIA, evopro Innovation és az IncQuery Labs.
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...)
IEEE T Software Eng (2020)
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.
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 a mérések alapján beágyazott szoftver és PLC kódok ellenőrzését segítik.
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ó.
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.
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
DISC 2019
33rd International 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.
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.
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.
Kérdésed van?
A kutatócsoporttal kapcsolatos kérdésekkel keresd Dr. Micskei Zoltánt!
