A kritikus autonóm rendszerek (pl. robotok, járművek) fejlesztése során különös gondot kell fordítani a követelmények megfogalmazására, mert ez képezi mind a fejlesztési, mind pedig a tesztelési és verifikációs tevékenységek alapját. A matematikailag precíz formában megadott követelmények lehetővé teszik az automatizált tesztgenerálást, helyességbizonyítást, monitorozást.

 

Ezen a területen sokféle új kihívás jelenik meg, például:

- kontextus- és pozíciófüggés figyelembe vétele mozgó (mobil) rendszerekben; 

- időfüggés kifejezése valósidejű rendszerekben; 

- a biztonsági elvárásokkal való összehangolás és ennek ellenőrzése (monitorozása) futásidőben.

 

A téma keretében ezekhez kapcsolódó új megoldásokat lehet megismerni és továbbfejleszteni:

- szcenárió nyelvek kidolgozása,

- temporális és helyfüggő operátorokkal kiterjesztett logikai nyelvek használata,

- követelmények teljesítésének szimulátorokban való ellenőrzése.