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?

Ellenőrzési és modellezési technikák

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 modellezé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.

DevOps

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.