We compare two evolutions of the Ad-hoc On-demand Distance Vector (AODV) routing protocol, i.e. DYMO and AODVv2-16. In particular, we apply statistical model checking to investigate the performance of these two protocols in terms of routes established and looping routes. Our modelling and analysis are carried out by the Uppaal Statistical Model Checker on 3x3 grids, with possibly lossy communication.
AODVv2: performance vs. loop freedom
Merro, M.
;Dal Corso, A.
2018-01-01
Abstract
We compare two evolutions of the Ad-hoc On-demand Distance Vector (AODV) routing protocol, i.e. DYMO and AODVv2-16. In particular, we apply statistical model checking to investigate the performance of these two protocols in terms of routes established and looping routes. Our modelling and analysis are carried out by the Uppaal Statistical Model Checker on 3x3 grids, with possibly lossy communication.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
SOFSEM.pdf
accesso aperto
Descrizione: Articolo definitivo.
Tipologia:
Documento in Post-print
Licenza:
Creative commons
Dimensione
426.83 kB
Formato
Adobe PDF
|
426.83 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
