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.

Ellenőrzési módszerek

Biztonságkritikus rendszerek (pl. járművek, robotok, irányítórendszerek) szoftverere 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 ellenőrzési technikákra, amelyek hatékonyan képesek az adott fázisban fellépő hibák detektálására és a javítás támogatására: A specifikáció és a tervek készítésének fázisában az ellenőrzéséhez hátteret adnak a precíz, modell alapú tervezési és verifikációs módszerek. A forráskód készítés során az ellenőrzés statikus analízis eszközökkel történhet. A teszttervezés is hatékonyan támogatható ezekkel a technikákkal.  A hibavédelem utolsó bástyái pedig a futásidőbeli monitorok, amelyek véletlen hardver hibák esetén is képesek a biztonsági problémákat felismerni és beavatkozást indítani.

A témacsoport keretében ezekkel - a tervezők és fejlesztők számára egyre inkább nélkülözhetetlen - eszközökkel és módszerekkel lehet megismerkedni, valamint ilyenek alkalmazásába és fejlesztésébe lehet bekapcsolódni. Tovább »