Budapesti Műszaki és Gazdaságtudományi Egyetem
| bme.hu
Villamosmérnöki és Informatikai Kar
| vik.bme.hu
Méréstechnika és Információs Rendszerek Tanszék
| mit.bme.hu
research.heroTitle

Kutatás-fejlesztés

Út az alap és alkalmazott kutatáson át az innovációig

KezdőlapKutatá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.

EU-s kutatási projekt
Ipari együttműködés
Hazai és bilaterális projekt
...

ADVANCE

Addressing V&V Challenges in Future CPS

A 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.

...

Arrowhead Tools

European investment for Digitalisation Leadership

A 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.

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.

Automated generation of consistent models using qualitative abstractions

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.

Bővebben

Automated Generation of Consistent Graph Models with Multiplicity Reasoning

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.

Bővebben

Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts

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ó.

Bővebben

research.tools.title

Eszközeink

A Gamma állapotgép-kompozíciós keretrendszer

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é.

Bővebben

A Theta modellellenőrző keretrendszer

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.

Bővebben

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.

Bővebben

Események és díjak

...

Fiatal Kutatók Akadémiája

Micskei Zoltán FKA tag lett

A 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ére

A 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.

A kutatócsoporttal kapcsolatos kérdésekkel keresd <0>Dr. {{lastName}} {{firstName}}t</0>!
Current version: GITHUB_COMMIT_URL_HERE