A formal validation methodology for MANET routing protocols based on nodes' self similarity

Stephane Maag (1, 2, 3, 4) , Cyril Grepet (5) , Ana Rosa Cavalli (1, 2, 3, 4)

1 METHODES-SAMOVAR - Méthodes et modèles pour les réseaux
2 LOR - Département Logiciels et Réseaux
3 SAMOVAR - Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux
4 CNRS - Centre National de la Recherche Scientifique
5 CEA - Commissariat à l'énergie atomique et aux énergies alternatives

Conformance testing for ad hoc routing protocols is crucial to the reliability of Wireless Mobile Ad Hoc Networks. Most of the works related to the validation of such protocols are based on simulation and emulation analysis of simulated/emulated implementations without taking into account formal specifications. However, for many reasons, it has often been shown that the results obtained from simulator studies are far from the real case studies. In this paper, we propose a new conformance testing methodology dedicated to the validation of MANET routing protocols, especially Dynamic Source Routing. After generating test sequences from the formal model, the main issue is to execute them. There exist many techniques in wired systems, but several MANET inherent constraints lead to cope with the diverse mobility patterns and the topological changes. Therefore, a nodes’ self similarity approach is introduced as well a specific testing architecture dealing with unexpected and unpredictable topology and messages. Interesting results have been provided as illustrated through experiments

Mots clés: MANET; Conformance testing; Formal model; Self similarity; DSR

Domaines: Modélisation et simulation; Réseaux et télécommunications [cs.NI]

Stephane Maag, Cyril Grepet, Ana Rosa Cavalli. A formal validation methodology for MANET routing protocols based on nodes' self similarity. Computer Communications, 2008, 31 (4), pp.827 - 841. ⟨10.1016/j.comcom.2007.10.031⟩. ⟨hal-01354849⟩