Feladatcsoportok

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?

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.

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 »

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.