Modélisation, Vérification Et Analyse Des Performances Du Protocole « Directed Diffusion » (les Réseaux De Capteurs Sans Fils)
2018
Mémoire de Master
Sciences Exactes Et Sciences De La Nature Et De La Vie

Université Mohamed Khider - Biskra

H
HAFEDH SAOUDI, MABROUK

Résumé: Les réseaux de capteurs sans fils (RCSF) sont utilisés de plus en plus dans notre vie quotidienne ainsi que dans les domaines médicaux, militaires, agricoles et technologiques. Pour faire fonctionner un RCSF, on doit définir des protocoles de communication. Ces pƌotoĐoles doiveŶt gaƌaŶtiƌ uŶ ďoŶ foŶĐtioŶŶeŵeŶt de tels ƌĠseaudž, ŵais Đe Ŷ’est pas toujouƌs le Đas. OŶ doit doŶĐ ġtƌe sûƌ Ƌue l’iŶfoƌŵatioŶ ĐiƌĐule edžaĐteŵeŶt Đoŵŵe pƌĠvu dans le réseau. Pour garantir vraiment un bon fonctionnement de ces réseaux, on doit faire subir ces protocoles à des tests. Le ŵeilleuƌ ŵoLJeŶ pouƌ testeƌ Đes pƌotoĐoles est l’utilisatioŶ des ŵĠthodes foƌŵelles. Nous avons spécifié formellement le protocole de routage «Directed Diffusion» en utilisaŶt l’outil UPPAAL qui adopte le modèle des automates temporisés comme un modèle formel de spĠĐifiĐatioŶ. Nous avoŶs aussi passĠ Đe ŵodğle paƌ le Model CheĐkeƌ de l’outil UPPAAL pour vérifier certaines propriétés exprimées dans la logique temporelle. Afin de valider notre travail, nous avons analysé les performances de ce protocole par UPPAAL puis nous avons les comparés avec ceux du simulateur NS2 qui est l'un des simulateurs les plus utilisés dans le domaine des réseaux de communications.

Mots-clès:

réseaux de capteurs sans fils
méthodes formelles
automates temporisés
model checking (checker)
uppaal
ns-2
analyse de performances
protocole de routage
directed diffusion
Nos services universitaires et académiques

Thèses-Algérie vous propose ses divers services d’édition: mise en page, révision, correction, traduction, analyse du plagiat, ainsi que la réalisation des supports graphiques et de présentation (Slideshows).

Obtenez dès à présent et en toute facilité votre devis gratuit et une estimation de la durée de réalisation et bénéficiez d'une qualité de travail irréprochable et d'un temps de livraison imbattable!

Comment ça marche?
Nouveau
Si le fichier est volumineux, l'affichage peut échouer. Vous pouvez obtenir le fichier directement en cliquant sur le bouton "Télécharger".


footer.description

Le Moteur de recherche des thèses, mémoires et rapports soutenus en Algérie

Doctorat - Magister - Master - Ingéniorat - Licence - PFE - Articles - Rapports


©2025 Thèses-Algérie - Tous Droits Réservés
Powered by Abysoft
contact@theses-algerie.com