Vrije Universiteit Amsterdam
Roddelprotocollen
* Startdatum: 13-01-2011
* Tijd: 11.45
* Locatie: Aula
* Titel: Gossiping Models. Formal Analysis of Epidemic Protocols
* Spreker: R. Bakhshi
* Promotor: prof.dr. W.J. Fokkink prof.dr.ir. M.R. van Steen
* Onderdeel: Faculteit der Exacte Wetenschappen
* Wetenschapsgebied: Exacte wetenschappen
* Evenementtype: Promotie
Met het toenemend aantal roddelprotocollen is er steeds meer behoefte
aan een inzichtelijke en systematische analyse hiervan. De formele
analyse van dergelijke protocollen is echter nog steeds een tamelijk
onontgonnen onderzoeksgebied, met vele uitdagingen en open problemen.
Rena Bakhshi richt zich op de analyse van roddelprotocollen in
peer-to-peer en ad-hoc netwerken, en ontwikkelt verscheidene
modelleerraamwerken die schaalbaar zijn ten opzichte van de grootte van
het netwerk.
Het onderzoek van Bakhshi bestaat uit drie delen. In het eerste deel
evalueert zij een roddelgebaseerde disseminatieprotocol, op basis van
een systeemmodel met perfecte zowel als imperfecte communicatiekanalen.
Het analytische model verheldert de relatie tussen de parameters van
een roddelprotocol en maakt het kiezen van optimale waardes voor deze
parameters mogelijk. Zij gebruikt het model in het tweede deel om te
bepalen hoe snel data zich voortplant in een netwerk.
Disseminatie wordt gemodelleerd met behulp van de probabilistische
model-checker PRISM, als ook door middel van differentievergelijkingen.
Verder onderzoekt Bakhshi de impact van verschillende schedulers op de
prestaties van een protocol. Uiteindelijk past zij een zogenaamde
mean-field methode uit de statistische mechanica aan voor en toe op
roddelprotocollen. Zij identificeert een klasse van stochastische
systemen waarvoor de constructie van een mean-field model kan worden
geautomatiseerd, en presenteert een tool samen met drie verschillende
toepassingen (op uniforme, mobiele en dynamische netwerken).
© Copyright Vrije Universiteit Amsterdam