Thèse soutenue

Méthodologie pour la validation de protocoles de routage Ad hoc

FR  |  
EN
Auteur / Autrice : Cyril Grepet
Direction : Ana Cavalli
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance en 2007
Etablissement(s) : Evry, Institut national des télécommunications

Mots clés

FR

Mots clés contrôlés

Résumé

FR  |  
EN

De nouveaux types de réseaux sont apparus dont les réseaux Ad hoc qui sont spontanés, sans infrastructure et composés de mobile communiquant entre eux par le médium radio. Les réseaux mobiles sans-fil posent de nouvelles problématiques en termes de routage des informations. En effet, les protocoles filaires obtiennent de mauvaises performances dés que la mobilité est intoduite. De nombreux protocoles de routage Ad hoc ont été proposés. Nous pouvons les répartir en protocoles réactifs, proactifs et hybrides (combinant à différents degrés les deux premières classes). Ces nouveaux protocoles, la mobilité des noeuds et le recours au médium radio impliquent de nouvelles contraintes applicables au test formel de conformité, ce afin de vérifier la validité des implantations au regard d'une spécification de référence. Les principaux problèmes rencontrés sont dûs à la mobilité des noeuds. Le protocole DSR sert de cas d'étude à nos travaux. Nous proposons une méthodologie de test de conformité et d'interopérabilité au travers d'architectures de test adaptées et d'hypothèses de test réalistes. Ainsi observer un grand nombre de verdicts inconclusifs résultant de la mobilité ou de la défaillance d'une communication radio. Nous proposons un algorithme visant à réduire ce nombre par l'utilisation d'ensembles de routes définis comme similaires au regard de nos objectifs de tests.