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 »

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.

Kiberfizikai rendszerek

Kiberfizikai Rendszereknek (Cyber Physical Systems, CPS) nevezzük az életünkben egyre fontosabb szerepet betöltő rendszereket, amelyek internethez kapcsolódó "kütyükből" és cloudban futó programokból állnak össze, valamint képesek alkalmazkodni a dinamikusan változó környezethez. Lehet, hogy valami hasonlóról már hallottal IoT (Internet of Things) néven. Mik is ezek az a kütyük?

DevOps és modern szolgáltatásplatformok

Manapság a felhő rendszereken alapuló alkalmazások (az úgynevezett cloud native applications) előretörésével megváltozik a szoftverfejlesztés üteme is. Míg korábban az alkalmazás fejlesztése és a későbbi üzemeltetése élesen különvált, külön csapatok és szakemberek végezték, ma egyre inkább összeforr ez a két terület.