Modélisation Et Vérification D'un Protocole De Communication Pour L'internet Des Objets
Résumé: Internet Objects (IoT) est un modèle prometteur qui étend la connexion Internet pour inclure différents types d'objets intelligents autres que les ordinateurs et les téléphones mobiles, permettant le développement de style de vie et l'amélioration de la qualité des services dans plusieurs domaines. Les réseaux de capteurs sans fil (RCSF) comme un élément essentiel dans l'Internet des objets, permettant de représenter les caractéristiques dynamiques du monde réel dans le monde virtuel de l'Internet. Sur cette base, une version compressée du protocole Internet IPv6 a été créée, permettant aux appareils connectés à Internet de communiquer et de communiquer les paramètres. Nous allons introduire l’internet des objets, ainsi que d'expliquer certains des concepts de base utilisés dans l’internet des objets. Le protocole RPL est l’un des plus couramment utilisé dans l’internet des objets. Nous simulons protocole RPL sous le simulateur COOJA et nous représentons les résultats (consommation totale d'énergie et le nombre total des messages envoyés/réceptionnés) sous forme de courbes ainsi que nous montrons comment nous avons modélisé et vérifié ce protocole sous UPPAAL, et nous interprétons les résultats obtenus par UPPAAL, et nous les comparons avec ceux obtenus par COOJA pour valider notre modèle.
Mots-clès:
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!
Aucun fichier associé
Si le fichier est volumineux, l'affichage peut échouer. Vous pouvez obtenir le fichier directement en cliquant sur le bouton "Télécharger".
