Subject: [manet] draft-ietf-manet-dymo Intermediate RREP handling in AODVv2

From: Marius Portmann <[email-masked]>
Date: Fri, 18 May 2012 07:28:52 +0000

Dear Charlie, Ian,

We have been working on modelling AODV and verifying key protocol properties (e.g. loop freedom) using Formal Methods techniques such as Process Algebra [1] and Model Checking [2].

We have recently also adapted our formal description of AODV to DYMO, based on draft version 21. 

We would like to update our model to be consistent with the latest version of DYMO/AODVv2 (draft 22).

However, while draft 21 was self-contained, version 22 (in Appendix A) refers to other, new documents for the description of some protocol features, in particular the handling of intermediate RREPs.

In order to formally model and reason about AODVv2 protocol behaviour, it would be important for us to have a complete description of the protocol.

Is there a timeline for the additional new document outlining the handling of iRREPs to become available?

Also, is the new iRREP behaviour expected to be significantly different to draft version 21?

[1]  A. Fehnker et al.,  A process algebra for wireless mesh networks. In European Symposium on Programming (ESOP'12) 
[2]  A. Fehnker et al., Automated analysis of AODV using UPPAAL. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS'12) 

cheers
marius

----------------------------------------------------------------------
Dr Marius Portmann
School of ITEE
The University of Queensland
Brisbane 4072, Australia
CRICOS Provider No: 00025B
Tel: +61 7 3300 8561, Fax: +61 7 3365 4999
----------------------------------------------------------------------