Feladatcsoportok

Ellenőrzés és tesztelés

Kritikus rendszerek (pl. járművek, robotok, irányítórendszerek szoftvere) esetén egy-egy hibának akár katasztrofális következményei is lehetnek. Így nem engedhető meg, hogy a hibákat csak a használat során vegyük észre, és utólag próbáljuk javítani. A fejlesztés minden fázisában szükség van olyan precíz tesztelési és ellenőrzési technikákra, amelyek hatékonyan biztosítják a fejlesztett rendszer helyes és biztonságos működését. Tovább »

Blockchain rendszerek és technológiák

A Blockchain technológiák és eszközök alkalmazásai ma már messze túlléptek a "kriptopénzen", bár a "blockchain forradalmat" kétségkívül a Bitcoin indította el. Ma már nem csak, hogy adott üzleti célra "programozhatóak" a nyílt Blockchain platformok (lásd pl.

Kiberfizikai rendszerek

Kiberfizikai rendszereknek nevezzük azokat az intelligens megoldásokat, amelyek kombinálják a szenzorok által gyűjtött információt, mérési adatokat a beágyazott rendszerek által biztosított gyors reagálással és a felhő és edge/fog rendszerek által biztosított intelligenciával.

Modellezési nyelvek és feljesztőeszközök

A modellvezérelt fejlesztés napjainkban egy kulcstechnológia a rendszer- és szoftvertervezés területén, amely előírja a különböző részletezettségű és absztrakciós szintű modellek szisztematikus használatát, már a tervezési folyamat legkorábbi fázisaitól kezdve.