Autonóm rendszerek működésének futásidőbeli ellenőrzése

Autonóm rendszerekkel (pl. szállító robotok, gyártó robotok) biztonságkritikus alkalmazási területeken is találkozhatunk, ahol a hibák könnyen balesethez, károkhoz vezethetnek. A működés közbeni hibák detektálásának egyik módszere a futásidőbeli verifikáció. Ennek lényege, hogy precízen felvett követelmények alapján, forráskód generálással olyan monitor komponenseket valósítunk meg, amelyek folyamatosan követik a rendszer vezérlőjének működését, és a specifikált követelményektől eltérő működés esetén megindítják a beavatkozást (pl. a biztonságos leállást).

A feladat lényege formalizált követelmények alapján hatékony, kis erőforrásigénnyel rendelkező monitor komponensek generálása.  A monitorok forráskódja C nyelvű kell legyen. A monitorokat például a Robot Operating System (ROS) alapú robotok belső szoftver komponenseinek ellenőrzésére lehet majd alkalmazni. A feladat kapcsolódik az R5-COP (Reconfigurable ROS-based Resilient Reasoning Robotic Cooperating Systems) nemzetközi kutatási projekt munkájához.