Majzik István

Önálló labor témák

Folyamatban témák

Autóipari szoftverek modell alapú fejlesztése

Önálló laboratórium és Szakdolgozat (BSc), Modellalapú szoftvertervezés, Önálló laboratórium és Diplomaterv (MSc)

Autonóm rendszerek működésének futásidőbeli ellenőrzése

Kritikus beágyazott rendszerek, Önálló laboratórium és Szakdolgozat (BSc), Önálló laboratórium és Diplomaterv (MSc)

Autonóm robotok szimulátor alapú tesztelése

Kritikus beágyazott rendszerek, Önálló laboratórium és Diplomaterv (MSc)

AUTOSAR SPI Handler Driver modul tesztelése

Kritikus beágyazott rendszerek, Önálló laboratórium és Szakdolgozat (BSc)

Ellenőrző kódrészletek illesztése C programokhoz

Kritikus beágyazott rendszerek, Önálló laboratórium és Szakdolgozat (BSc)

Kódgenerálás és konfigurációgenerálás autóipari szoftverekben

Kritikus beágyazott rendszerek, Önálló laboratórium és Szakdolgozat (BSc), Önálló laboratórium és Diplomaterv (MSc)

Komponens alapú rendszerek megbízhatósági analízise

Kritikus beágyazott rendszerek, Önálló laboratórium és Szakdolgozat (BSc)

Kritikus protokollok modellezése

Kritikus beágyazott rendszerek, Témalabor, Önálló laboratórium és Szakdolgozat (BSc), Önálló laboratórium és Diplomaterv (MSc)

Monitor generálás scenario alapú követelményekből

Kritikus beágyazott rendszerek, Önálló laboratórium és Szakdolgozat (BSc)

Monitor generálás temporális logikai követelményekből

Kritikus beágyazott rendszerek, Önálló laboratórium és Szakdolgozat (BSc)

Tesztelés autóipari szoftverekben

Kritikus beágyazott rendszerek, Önálló laboratórium és Szakdolgozat (BSc), Önálló laboratórium és Diplomaterv (MSc)

Korábbi témák

Automatikus build végrehajtás

Kritikus beágyazott rendszerek, Önálló laboratórium és Szakdolgozat (BSc)

Automatikus kódgenerátor helyességének ellenőrzése

Kritikus beágyazott rendszerek, Önálló laboratórium és Szakdolgozat (BSc)

Automatikus változásdetektálás gráfmodellekben

Kritikus beágyazott rendszerek, Önálló laboratórium és Szakdolgozat (BSc)

Biztonsági követelmények minta alapú formalizálása

Kritikus beágyazott rendszerek, Önálló laboratórium és Diplomaterv (MSc)

Biztonsági követelmények minta alapú összeállítása

Kritikus beágyazott rendszerek, Önálló laboratórium és Szakdolgozat (BSc)

C programok felműszerezése

Kritikus beágyazott rendszerek, Önálló laboratórium és Diplomaterv (MSc)

Futásidőbeli verifikáció kritikus beágyazott rendszerekben

Kritikus beágyazott rendszerek, Önálló laboratórium és Szakdolgozat (BSc)

Hibaanalízis Formula Student villamos autóhoz

Kritikus beágyazott rendszerek, Önálló laboratórium és Szakdolgozat (BSc), Önálló laboratórium és Diplomaterv (MSc)

Komponensek fejlesztése autóipari szoftverekhez

Kritikus beágyazott rendszerek, Önálló laboratórium és Szakdolgozat (BSc), Önálló laboratórium és Diplomaterv (MSc)

Követelményleíró nyelvek összehasonlítása

Kritikus beágyazott rendszerek, Önálló laboratórium és Szakdolgozat (BSc), Önálló laboratórium és Diplomaterv (MSc)

Modell alapú tesztelés beágyazott rendszerekben

Kritikus beágyazott rendszerek, Önálló laboratórium és Szakdolgozat (BSc), Önálló laboratórium és Diplomaterv (MSc)

Postlock: automatikus állapotszinkronizáció webalkalmazásoknak

Önálló laboratórium és Szakdolgozat (BSc), Modellalapú szoftvertervezés, Önálló laboratórium és Diplomaterv (MSc)

Statikus kód analizátorok (külső téma)

Önálló laboratórium és Szakdolgozat (BSc), Modellalapú szoftvertervezés, Önálló laboratórium és Diplomaterv (MSc)

Telecare alkalmazások modellezése és megbízhatósági analízise

Kritikus beágyazott rendszerek, Önálló laboratórium és Szakdolgozat (BSc), Önálló laboratórium és Diplomaterv (MSc)

Oktatott tárgyak

Korábbi tárgyak