Vezető: Majzik István

Az autonóm rendszerek egyre nagyobb szerepet kapnak az iparban (pl. szerelő robotok) és a hétköznapokban is (pl. takarító robotok). A robotok egy jelentős része biztonságkritikus alkalmazási területen dolgozik, azaz a nem megfelelő működés balesethez vezethet. Ennek megfelelően egyre nagyobbak az elvárások a működés verifikációjával szemben, amit nehézzé tesz az adaptivitás, hiszen számos környezeti paramétert és hatást kell figyelembe venni az ellenőrzések során.

A téma a verifikáció módszerei közül a tesztelésre fókuszál, célkitűzése egy olyan teszt környezet kialakítása, ami lehetővé teszi a biztonsági követelményeknek megfelelő autonóm viselkedés tesztelését. Külön szempontként jelenik meg a robusztusság tesztelése, hiszen váratlan környezeti feltételek esetén is szükséges a biztonságos működés.

A téma az európai ARTEMIS szövetség jelentős kutatási projektjéhez (R3-COP), valamint a BME IKT stratégia „Biztonság, megbízhatóság, minőség, együttműködés” alaptechnológiájához kötődik.