Elosztott párhuzamos modellellenőrzés

Napjaink elosztott aszinkron rendszereinek (beágyazott rendszerek, protokollok, elosztott rendszerek) verifikációja nehéz feladat. Hogy tartsuk a lépést a növekvő igényekkel, a tanszékünkön fejlesztett modellellenőrző eszköz (PetriDotNet) párhuzamos állapottérgenerálást és modellellenőrzést végző modulját szeretnénk kiterjeszteni, hogy elosztottan működjön.

Az önálló labor témája a meglévő modul kiegészítése dekompozíciós algoritmusokkal, amelyek által lehetővé vállna a napjainkban oly népszerű elosztott működés.

Az eszköz megtekinthető: https://www.inf.mit.bme.hu/research/tools/petridotnet (még nem lettek publikálva a jelenleg rendelkezésre álló modulok)