Towards a Rigorous Analysis of AODVv2 (DYMO)

Select |




Print


Höfner, Peter; Edenhofer, Sarah

Höfner, Peter; Edenhofer, Sarah


2012-10-30


Conference Material


2nd International Workshop on Rigorous Protocol Engineering (WRiPE 2012)


Austin, Texas


1-6


Dynamic MANET On-demand (AODVv2) routing, formerly known as DYMO, is a routing protocol especially designed for wireless, multi hop networks. AODVv2 determines routes in a network on an on-demand fashion. In this paper we present a formal model of AODVv2, using the process algebra AWN. The benefit of this is two-fold: (a) the given specification is definitely free of ambiguities; (b) a formal and rigorous analysis of the routing protocol is now feasible. To underpin the latter point we also present a first analysis of the AODVv2 routing protocol. On the one hand we show that some of the problems discovered in the AODV routing protocol, the predecessor of AODVv2, have been addressed and solved. On the other hand we show that other limitations still exist; an example is the establishment of non-optimal routes. Even worse, we locate shortcomings in the AODVv2 routing protocol that do not occur in AODV. This yields the conclusion that AODVv2 is not necessarily better than AODV.


IEEE


DYMO, AODVv2, mesh network


http://www.cs.cornell.edu/conferences/wripe2012/


nicta:6169


Höfner, Peter; Edenhofer, Sarah. Towards a Rigorous Analysis of AODVv2 (DYMO). In: 2nd International Workshop on Rigorous Protocol Engineering (WRiPE 2012); Austin, Texas. IEEE; 2012-10-30. 1-6.



Loading citation data...

Citation counts
(Requires subscription to view)