Elosztott párhuzamos modellellenőrzés

Tanszéki konzulens: 
A doktorandusz fényképe
doktorandusz
Szoba: IB421

A kiírás adatai

A téma státusza: 
Korábbi (jelenleg nem aktív, de látszik)
Kiírás éve: 
2010
A kiírás jellege: 
önálló labor, szakdolgozat/diplomaterv

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)

© 2010-2024 BME MIT | Hibajelentés | Használati útmutató