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
Absztrakciós módszerek a modellellenőrzésben
  • Beágyazott rendszerek
  • Szoftvertervezés
  • Üzleti folyamatok és alkalmazások
Ellenőrzési módszerek
Absztrakt interpretáció alapú verifikáció
  • Beágyazott rendszerek
  • Szoftvertervezés
Ellenőrzési módszerek
C/C++ programok automatikus vizsgálata tesztgenerálással
  • Beágyazott rendszerek
  • Szoftvertervezés
Automatikus tesztelés
Kombinált explicit és implicit állapottér felderítő és modellellenőrző algoritmusok fejlesztése, implementálása
  • Beágyazott rendszerek
  • Informatikai infrastruktúra
  • Szoftvertervezés
Ellenőrzési módszerek
Mobilalkalmazások kommunikációjának monitorozása
  • Szoftvertervezés
Ellenőrzési módszerek
Modell-alapú kényszerkielégítési problémák megoldása SMT környezetben
  • Beágyazott rendszerek
  • Szoftvertervezés
Automatikus tesztelés
Modell-vezérelt kommunikáció konfigurálás CPS rendszerekhez
  • Szoftvertervezés
Kiberfizikai rendszerek
Multiplatform mobil alkalmazások generálása
  • Szoftvertervezés
Modern fejlesztőrendszerek és modell alapú technológiák
Nagyméretű aszinkron rendszerek korlátos modellellenőrzése
  • Beágyazott rendszerek
  • Szoftvertervezés
Ellenőrzési módszerek
PetriDotNet
  • Beágyazott rendszerek
  • Szoftvertervezés
Ellenőrzési módszerek
PetriDotNet 2.0 keretrendszer fejlesztése
  • Beágyazott rendszerek
  • Szoftvertervezés
Quick fix generálás szakterület specifikus modellekhez
  • Szoftvertervezés
Modern fejlesztőrendszerek és modell alapú technológiák
Sztochasztikus analízis
  • Beágyazott rendszerek
  • Szoftvertervezés
Tesztfuttató keretrendszer készítése ROS-hez
  • Beágyazott rendszerek
  • Szoftvertervezés
Automatikus tesztelés
Tesztgenerálás állapotgép alapú modellekből
  • Beágyazott rendszerek
  • Szoftvertervezés
Automatikus tesztelés
Tesztgeneráló eszközöket összehasonlító keretrendszer fejlesztése
  • Szoftvertervezés
Automatikus tesztelés