Robotok és egyéb autonóm rendszerek egyre széleskörűbb elterjedésével (pl. háztartási robotok, autonóm járművek) a hozzájuk készített vezérlő programok tesztelése egyre kritikusabb feladat lesz. Autonóm rendszerek tesztelésének egyik lehetséges módja a környezet szimulációja és a rendszer viselkedésének megfigyelése a szimuláció során (a feladathoz rendelkezésre állnak 3D környezetek építésére és valós fizikai szimulációjára is alkalmas szimulátorok, ezekről bővebben itt [4]olvashat).
Praktikus ötlet a modellvezérelt tervezési paradigma felhasználása a teszteléshez használt környezeti modellek előállítására, vagyis elsődlegesen modelleket felhasználni a tudásreprezentációra. A tesztelés feltétele azonban, hogy rendelkezésre álljanak olyan környezeti modellek, melyek segítségével vizsgálható, hogy a rendszer megfelel-e a követelményeknek. Ilyen környezeti modellek generálása felfogható úgy is, mint adott struktúrális kényszereket és tervezési célokat kielégítő modellpéldányok generálása.
Az Eclipse Modeling Framework (EMF [5]) egy olyan keretrendszer, amelyben lehetőség van általános eszközökkel környezeti modellek létrehozására, valamint rendelkezésre állnak olyan eszközök (pl. EMF IncQuery [6]), amelyek segítségével a kényszerek és célok kifejezhetők. A VIATRA2 [7]modelltranszfromációs keretrendszer pedig támogatja a különböző tervezési alternatívák keresését és kiértékelését.
A jelentkező hallgatók feladata lesz a szükséges technológiák elsajátítása után áttekinteni a kényszereknek megfelelő modellek generálásának lehetőségeit, és implementálni egy kiválasztott megoldást. A feladat kapcsolódik az R3-COP [8] nemzetközi projekthez.