Download or read book Etude et optimisation des protocoles de réseaux de capteurs sans fil written by Hafedh Zayani and published by . This book was released on 2009 with total page 174 pages. Available in PDF, EPUB and Kindle. Book excerpt: Les travaux présentés dans cette thèse portent sur la mise en place de nouveaux protocoles économiseurs d’énergie pour les réseaux de capteurs sans fil (RCSF). 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 nœuds : « 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 nœuds 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, partant d’une modélisation de la procédure backoff de notre protocole ECo-MAC basée sur les chaînes de Markov à temps discret, et à l’aide de l’environnement de vérification probabiliste PRISM, nous justifions les choix que nous avons retenus pour les valeurs de certains paramètres intégrés dans cette procédure.