Feladatcsoportok

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. Read more »

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 (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

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.