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)

Jelleg: 
Elméleti és gyakorlati
Konzulens: 
Vörös András
TDK lehetőség: 
TDK lehetőség
Megismerhető technológiák: 
elosztott rendszerek
Előismeretek: 
C#, algoritmusok
Állapot: 
Korábbi