Optimisation des protocoles de réseaux de capteurs sans fil

Suite à une analyse approfondie des principaux travaux de recherches sur ce sujet, nous avons proposé de nouveaux protocoles multicouches de routage et de contrôle d’accès au medium (ECo-MAC) permettant d’augmenter de manière significative la durée de vie des ces réseaux. Après la conception de deux modèles génériques de noeuds : « capteur » et « station de base », nous évaluons sous le simulateur OPNET les performances de ces nouvelles propositions. Une analyse comparative avec des travaux de référence, a montré pour différentes configurations de réseaux, l’efficacité de nos propositions en termes de gains énergétiques et de latence de bout en bout. Dans une seconde étape, après description des activités des noeuds du réseau par des automates temporisés, nous avons, à l’aide de l’outil UPPAAL, vérifié le comportement du protocole MAC et justifié formellement les valeurs adoptés en phase de simulation de certains paramètres, en particulier la durée d’un time slot. Dans une dernière étape, nous justifions les choix que nous avons retenus pour les valeurs de certains paramètres intégrés dans la procédure backoff retenue.