Tanszékünk docense, Dr. Micskei Zoltán 2025. január 22-én sikeresen megvédte habilitációját, amely alapján az Egyetemi Habilitációs Bizottság február 27-én habilitált doktorrá nyilvánította.

--

Micskei Zoltán habilitációs pályázatának címe „Automatizált ellenőrzési módszerek kiértékelése és kidolgozása kritikus szoftverrendszerekhez”. Kutatásának fókuszában az állt, hogy hogyan lehet a fejlett modellalapú és automatizált ellenőrzési módszerek használhatóságát növelni a mérnöki gyakorlatban.

Habilitációs tézisei három terület eredményeit foglalták össze.

1. Modellek és tesztek szemantikájának megértése: elemzések és egy kísérletsorozat segítségével rámutatott, hogy a mérnökök eltérő módokon értelmezhetik a rendszermodelleket vagy a generált teszteket, és ez csökkentheti az ellenőrzési módszerek hatékonyságát.
2. Ellenőrzési eszközök kiértékelése: szisztematikusan kiértékelt különböző tesztelési és verifikációs módszereket és szoftver eszközöket, valamint korlátokat azonosított az eszközök jelenlegi alkalmazhatóságával és skálázhatóságával kapcsolatban.
3. Új ellenőrzési módszerek és eszközök: olyan új eszközöket és módszereket dolgozott ki, amik segítenek a mérnöki gyakorlatban előkerülő problémák leküzdésével hatékonyabbá tenni a rendszermodellek ellenőrzését és a tesztgenerálást.

Az eredményeket számos tanszéki nemzetközi K+F projektben, valamint autó-, vasút- és űripari együttműködésben dolgozta ki és hasznosította kollégáival együtt.