Témajegyzék

A kutatócsoport fő területeihez tartozó, jelenleg is futó feladatok illusztratív listája a következő. A végleges önálló labor témák egyéni egyeztetés alapján alakulnak ki, az itt felsoroltaktól eltérő, ill. egyedi témák lehetségesek.
Cím Terület Feladatcsoport
A Pex működésének és kiterjeszthetőségének vizsgálata
  • Modellalapú szoftvertervezés
Automatikus tesztelés
Absztrakciós módszerek a modellellenőrzésben
  • Kritikus beágyazott rendszerek
  • Modellalapú szoftvertervezés
  • Adatelemzés és Big Data
Ellenőrzési módszerek
Absztrakt interpretáció alapú verifikáció
  • Kritikus beágyazott rendszerek
  • Modellalapú szoftvertervezés
Ellenőrzési módszerek
Agilis fejlesztés támogatása automatikus tesztgenerálással
  • Modellalapú szoftvertervezés
Automatikus tesztelés
Állapotgép-konstrukciós feladatok automatizált előállítása
  • Modellalapú szoftvertervezés
Modern fejlesztőrendszerek és modell alapú technológiák
Állapotgépek eseményvezérelt szimulációja
  • Modellalapú szoftvertervezés
Modern fejlesztőrendszerek és modell alapú technológiák
Autóipari szoftverek modell alapú fejlesztése
  • Modellalapú szoftvertervezés
Modern fejlesztőrendszerek és modell alapú technológiák
Automatatanuló algoritmusok és alkalmazásuk a szoftverfejlesztés támogatására
  • Kritikus beágyazott rendszerek
  • Modellalapú szoftvertervezés
Modern fejlesztőrendszerek és modell alapú technológiák
Automatikus skálázási megoldások felhő-alapú alkalmazásokhoz
  • Informatikai infrastruktúra
Automatikus változásdetektálás gráfmodellekben
  • Kritikus beágyazott rendszerek
Modern fejlesztőrendszerek és modell alapú technológiák
Autonóm robotok működésének futásidőbeli ellenőrzése
  • Kritikus beágyazott rendszerek
Ellenőrzési módszerek
Autonóm robotok szimulátor alapú tesztelése
  • Kritikus beágyazott rendszerek
Ellenőrzési módszerek
Az EvoSuite tesztgeneráló eszköz megismerése
  • Modellalapú szoftvertervezés
Automatikus tesztelés
Az LTSmin modellellenőrző vizsgálata és kiterjesztése
  • Kritikus beágyazott rendszerek
  • Modellalapú szoftvertervezés
Ellenőrzési módszerek
Beágyazott vezérlő modellvezérelt fejlesztése
  • Kritikus beágyazott rendszerek
  • Modellalapú szoftvertervezés
Bejárási stratégiák és adatszerkezetek vizsgálata szimbolikus modellellenőrzésben
  • Kritikus beágyazott rendszerek
Ellenőrzési módszerek
Biztonsági követelmények minta alapú összeállítása
  • Kritikus beágyazott rendszerek
Ellenőrzési módszerek
Biztonságkritikus rendszerek virtuális térben történő szimulációja és tesztelése
  • Kritikus beágyazott rendszerek
Kiberfizikai rendszerek
C programok automatikus vizsgálata tesztgenerálással
  • Kritikus beágyazott rendszerek
  • Modellalapú szoftvertervezés
Automatikus tesztelés
Crowdsensing alkalmazás iOS platformon
  • Kritikus beágyazott rendszerek
  • Informatikai infrastruktúra
Felhő alapú infrastruktúra
Dinamikus struktúrájú rendszerek optimalizálása: folyamatmodellezés
  • Adatelemzés és Big Data
Eclipse IoT technológiák alkalmazása kiberfizikai felhőkben
  • Kritikus beágyazott rendszerek
  • Informatikai infrastruktúra
Felhő alapú infrastruktúra
Elektromos autók okos töltésének vezérlése
  • Modellalapú szoftvertervezés
Ellenőrző kódrészletek illesztése C programokhoz
  • Kritikus beágyazott rendszerek
Ellenőrzési módszerek
Előrefizetést támogató rendszer moduljainak modellvezérelt tervezése és fejlesztése
  • Modellalapú szoftvertervezés
Elosztott állapotgépek modellezése
  • Modellalapú szoftvertervezés
Modern fejlesztőrendszerek és modell alapú technológiák
Elosztott biztonságkritikus rendszerek xtUML alapú modellvezérelt fejlesztése
  • Kritikus beágyazott rendszerek
  • Modellalapú szoftvertervezés
Modern fejlesztőrendszerek és modell alapú technológiák
Elosztott gráfalgoritmusok megvalósítása Apache Flink környezetben
  • Adatelemzés és Big Data
Elosztott inkrementálils gráflekérdezések optimalizációja
  • Modellalapú szoftvertervezés
EMF modellek konfliktusfeloldása
  • Modellalapú szoftvertervezés
EMF modellek szerkesztése online kollaborációval
  • Informatikai infrastruktúra
Explicit modellellenőrzési algoritmusok vizsgálata
  • Kritikus beágyazott rendszerek
  • Modellalapú szoftvertervezés
Ellenőrzési módszerek
Felhasználói felület készítése modellek automatikus mergeléséhez
  • Modellalapú szoftvertervezés
Modern fejlesztőrendszerek és modell alapú technológiák
GPU használata Big Data felderítő adatanalízise során
  • Adatelemzés és Big Data
Mérés alapú modellalkotás és vizualizáció
Gráfadatbázisok alkalmazása utazástervezésre
  • Adatelemzés és Big Data
Kiberfizikai rendszerek
Gráflekérdezések teljesítményelemzése
  • Modellalapú szoftvertervezés
Modern fejlesztőrendszerek és modell alapú technológiák
Gráfmetrikák számítása shape analysis használatával
  • Modellalapú szoftvertervezés
Gráfvizualizációs könyvtárak integrációja
  • Modellalapú szoftvertervezés
Modern fejlesztőrendszerek és modell alapú technológiák
Hibaterjedési vizsgálatok üzleti folyamat alapú rendszerekben
  • Adatelemzés és Big Data
Ellenőrzési módszerek
Hibrid felhő Apache VCL alapokon
  • Informatikai infrastruktúra
Felhő alapú infrastruktúra
Hierarchikus állapotgépek formális verifikációja
  • Kritikus beágyazott rendszerek
Ellenőrzési módszerek
Időzített rendszerek ellenőrzése
  • Kritikus beágyazott rendszerek
  • Modellalapú szoftvertervezés
Ellenőrzési módszerek
Inkrementális gráflekérdező keretrendszer
 integrációs tesztelése
  • Modellalapú szoftvertervezés
Modern fejlesztőrendszerek és modell alapú technológiák
Inkrementális lekérdezés-kiértékelés az i3QL technológiával
  • Modellalapú szoftvertervezés
Modern fejlesztőrendszerek és modell alapú technológiák
Integrációs tesztelési keretrendszer fejlesztése Jenkins alapokon
  • Informatikai infrastruktúra
Automatikus tesztelés
Intelligens szenzor infrastruktúra CPS alkalmazásokhoz
  • Kritikus beágyazott rendszerek
Kiberfizikai rendszerek
JavaScript forráskódtárak gráfalapú statikus analízise
  • Modellalapú szoftvertervezés
Modern fejlesztőrendszerek és modell alapú technológiák
Keresés alapú lekérdezéskiértékelés objektumhierarchiák felett
  • Modellalapú szoftvertervezés
Modern fejlesztőrendszerek és modell alapú technológiák
Keresés alapú szoftver- és rendszertervezés
  • Modellalapú szoftvertervezés
Modern fejlesztőrendszerek és modell alapú technológiák
Kiber-fizikai rendszerek modellvezérelt fejlesztése
  • Kritikus beágyazott rendszerek
Kiberfizikai rendszerek
Kiberfizikai rendszerek elemzése
  • Adatelemzés és Big Data
Kiberfizikai rendszerek
Kódfedettség mérő eszközök
  • Kritikus beágyazott rendszerek
Automatikus tesztelés
Kódgenerálás és konfigurációgenerálás autóipari szoftverekben
  • Kritikus beágyazott rendszerek
Kiberfizikai rendszerek
Kollaboratív modellezés
  • Modellalapú szoftvertervezés
Modern fejlesztőrendszerek és modell alapú technológiák
Kombinált explicit és implicit állapottér felderítő és modellellenőrző algoritmusok fejlesztése, implementálása
  • Kritikus beágyazott rendszerek
  • Informatikai infrastruktúra
  • Modellalapú szoftvertervezés
Ellenőrzési módszerek
Komplex események feldolgozása automataelméleti alapokon
  • Kritikus beágyazott rendszerek
  • Informatikai infrastruktúra
  • Modellalapú szoftvertervezés
Kiberfizikai rendszerek
Komplex eseményfelismerő keretrendszer teljesítménytesztelése
  • Modellalapú szoftvertervezés
Komplexesemény-feldolgozó (CEP) eszközök vizsgálata
  • Adatelemzés és Big Data
Komponens alapú rendszerek megbízhatósági analízise
  • Kritikus beágyazott rendszerek
Ellenőrzési módszerek
Komponensek fejlesztése autóipari szoftverekhez
  • Kritikus beágyazott rendszerek
Kiberfizikai rendszerek
Korszerű modellellenőrző eszközök felmérése (2 fő)
  • Kritikus beágyazott rendszerek
Ellenőrzési módszerek
LEGO Mindstorm vezérlő integrálása CPS alkalmazásokhoz
  • Kritikus beágyazott rendszerek
Kiberfizikai rendszerek
Lekérdezés alapú modell-absztrakció
  • Modellalapú szoftvertervezés
Modern fejlesztőrendszerek és modell alapú technológiák
Lineáris tranzíciós rendszerek absztrakt interpretáció alapú verifikációja
  • Kritikus beágyazott rendszerek
  • Informatikai infrastruktúra
  • Modellalapú szoftvertervezés
  • Adatelemzés és Big Data
Ellenőrzési módszerek
Lokális keresésen alapú modell lekérdezések megvalósítása
  • Modellalapú szoftvertervezés
Modern fejlesztőrendszerek és modell alapú technológiák
Metaheurisztikus algoritmusok megismerése és kapcsolódó optimalizációs technológiák összehasonlítása
  • Informatikai infrastruktúra
  • Modellalapú szoftvertervezés
  • Adatelemzés és Big Data
Model-szintű hozzáférés szabályozás megvalósítása EMF modellek felett
  • Modellalapú szoftvertervezés
Modern fejlesztőrendszerek és modell alapú technológiák
Modell alapú dokumentumgenerálás
  • Modellalapú szoftvertervezés
Modell-alapú kényszerkielégítési problémák megoldása SMT környezetben
  • Kritikus beágyazott rendszerek
  • Modellalapú szoftvertervezés
Automatikus tesztelés
Modell-alapú tesztelés megismerése
  • Kritikus beágyazott rendszerek
  • Modellalapú szoftvertervezés
Automatikus tesztelés
Modell-lekérdezések hatékony kiértékelése
  • Modellalapú szoftvertervezés
Modern fejlesztőrendszerek és modell alapú technológiák
Modell-lekérdezések specifikálása Sirius alapú konkrét szintaxisban
  • Modellalapú szoftvertervezés
Modern fejlesztőrendszerek és modell alapú technológiák
Modell-lekérdezések statikus analízise
  • Modellalapú szoftvertervezés
Modern fejlesztőrendszerek és modell alapú technológiák
Modell-lekérdezések teljesítményvizsgálata
  • Modellalapú szoftvertervezés
Modern fejlesztőrendszerek és modell alapú technológiák
Modellek feletti lekérdezések példa alapján
  • Modellalapú szoftvertervezés
Modern fejlesztőrendszerek és modell alapú technológiák
Modellellenőrző módszerek és algoritmusok összehasonlítása, mérési kampányok tervezése
  • Modellalapú szoftvertervezés
Ellenőrzési módszerek
Modellmetrikák valós modellekre
  • Modellalapú szoftvertervezés
  • Adatelemzés és Big Data
Modern fejlesztőrendszerek és modell alapú technológiák
Modellvasút automatizált vezérlése kijelölt célok alapján (optimalizáció)
  • Kritikus beágyazott rendszerek
Modellvasút vezérlőszoftver fejlesztése elosztott, beágyazott környezetben
  • Kritikus beágyazott rendszerek
  • Modellalapú szoftvertervezés
Ellenőrzési módszerek
Modellvasút vezérlőszoftver modell alapú fejlesztése
  • Kritikus beágyazott rendszerek
  • Informatikai infrastruktúra
Ellenőrzési módszerek
Moduláris vezérlő és adatgyűjtő rendszer modell alapú fejlesztése
  • Modellalapú szoftvertervezés
Modern fejlesztőrendszerek és modell alapú technológiák
Nagy méretű forráskódmodellek gráfkeresés alapú helyességellenőrzése
  • Modellalapú szoftvertervezés
Nagyméretű adathalmazok ritka eseményeinek detektálása GPU-n
  • Adatelemzés és Big Data
Mérés alapú modellalkotás és vizualizáció
Nagyméretű adathalmazok vizuális elemzése
  • Adatelemzés és Big Data
Mérés alapú modellalkotás és vizualizáció
Nagyméretű aszinkron rendszerek korlátos modellellenőrzése
  • Kritikus beágyazott rendszerek
  • Modellalapú szoftvertervezés
Ellenőrzési módszerek
Nyílt forráskódú biztonsági másolat készítő rendszerek összehasonlítása
  • Informatikai infrastruktúra
Felhő alapú infrastruktúra
Oktatási felhők teljesítményelemzése
  • Informatikai infrastruktúra
Felhő alapú infrastruktúra
Outlier detektálás gráfokban
  • Adatelemzés és Big Data
PetriDotNet
  • Kritikus beágyazott rendszerek
  • Modellalapú szoftvertervezés
Ellenőrzési módszerek
PetriDotNet 2.0 keretrendszer fejlesztése
  • Kritikus beágyazott rendszerek
  • Modellalapú szoftvertervezés
PLC kódok modellellenőrzése
  • Kritikus beágyazott rendszerek
  • Modellalapú szoftvertervezés
Ellenőrzési módszerek
Rajintelligencián alapuló tervezésitér-bejáró algoritmusok
  • Modellalapú szoftvertervezés
Részleges rendezéses redukció alkalmazása modellellenőrzésben
  • Kritikus beágyazott rendszerek
Ellenőrzési módszerek
Robotkar modellezése SysML nyelven
  • Modellalapú szoftvertervezés
Kiberfizikai rendszerek
Statikus és dinamikus analízis JavaScript környezetben
  • Modellalapú szoftvertervezés
Automatikus tesztelés
SysML modellek validációja
  • Modellalapú szoftvertervezés
Szakterület-specifikus állapotkódolók félautomatikus generálása
  • Modellalapú szoftvertervezés
Modern fejlesztőrendszerek és modell alapú technológiák
Szakterület-specifikus nyelvek használata alkalmazásmenedzsment feladatokra
  • Informatikai infrastruktúra
Felhő alapú infrastruktúra
Számítási felhők konfiguráció-modellezése
  • Informatikai infrastruktúra
Felhő alapú infrastruktúra
Szaturáció alapú Lineáris Temporális Logikai modellellenőrzés
  • Kritikus beágyazott rendszerek
  • Modellalapú szoftvertervezés
  • Adatelemzés és Big Data
Ellenőrzési módszerek
Szöveges modellek automatikus szintézise metanyelvtan segítségével
  • Modellalapú szoftvertervezés
Modern fejlesztőrendszerek és modell alapú technológiák
Sztochasztikus analízis
  • Kritikus beágyazott rendszerek
  • Modellalapú szoftvertervezés
Sztochasztikus modellek szimulációs vizsgálata
  • Kritikus beágyazott rendszerek
  • Modellalapú szoftvertervezés
Szűk keresztmetszetek vizsgálata elosztott fájlrendszereken
  • Informatikai infrastruktúra
Felhő alapú infrastruktúra
TeleCare rendszerek fejlesztése modell alapon
  • Kritikus beágyazott rendszerek
Kiberfizikai rendszerek
Tervezésitér-bejárás állapottér vizualizációja
  • Modellalapú szoftvertervezés
Modern fejlesztőrendszerek és modell alapú technológiák
Tesztelés autóipari szoftverekben
  • Kritikus beágyazott rendszerek
Automatikus tesztelés
Tesztgenerálás állapotgép alapú modellekből
  • Kritikus beágyazott rendszerek
  • Modellalapú szoftvertervezés
Automatikus tesztelés
Tesztkeretrendszer szabályalapú tervezésitér-bejáró algoritmusokhoz
  • Modellalapú szoftvertervezés
Automatikus tesztelés
Valósidejű felhő alkalmazások skálázásának benchmarkolása
  • Informatikai infrastruktúra
Felhő alapú infrastruktúra
Vasúti rendszerek kockázatelemzése
  • Modellalapú szoftvertervezés
VIATRA modelltranszformációs API tesztelése
  • Modellalapú szoftvertervezés
Automatikus tesztelés
Virtuális erőmű modellvezérelt tervezése és implementálása
  • Modellalapú szoftvertervezés
Viselkedésmodellezési feladatok gépi értékelése
  • Modellalapú szoftvertervezés
  • Adatelemzés és Big Data
Modern fejlesztőrendszerek és modell alapú technológiák