Modélisation et vérification d'un protocole de communication pour l'internet des objets

Abstract

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.