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

Abstract

L’Internet des Objets (IoT) rend les objets qui nous entourent intelligents en leur offrant la faculté de communiquer entre eux ou avec le nuage (claud), L’Internet des objets (IoT) est l’interconnexion de périphériques physiques, de véhicules et d’autres objets qui consiste en un système embarqué avec capteurs/ actionneurs et un réseau permettant de collecter et d’échanger des données. L'IOT permet aux objets d'être détectés et / ou contrôlés à distance sur l’infrastructure réseau existante, créant des opportunités de plus grande intégration du monde physique dans des systèmes informatiques, et aboutir à l’amélioration de la précision, de l'efficacité et des avantages économiques. L’IoT est un système en rapide augmentation et une technologie prometteuse qui devient de plus en plus présente dans nos vies quotidiennes. En outre, la technologie est un exemple de la classe plus générale de cyber-physique systèmes, qui englobe également des technologies telles que les réseaux intelligents, les maisons intelligentes et Villes intelligentes. Compte tenu du développement rapide des technologies IoT et de l’augmentation significative du nombre d'appareils connectés, vue l'ensemble des objectifs, l'architecture, les défis, les applications. et le marché du système IoT et les protocoles. Dans ce rapport, nous avons introduit le protocole RPL, afin d’étudier ces performance et de garantir son bon fonctionnement ,pour atteindre cet objectif ,nous avons utilisé UPAAL pour modéliser ce protocole et vérifier quelques propriétés nécessaire pour un bon fonctionnement,les résultats obtenus sont par la suite compares avec ceux obtenus par le simulateur Cooja ,afin de valider notre travail. Mot clé : Internet des objet(IoT), le protocole RPL ,cooja, Upaal ,analyse de performance ,protocole de routage.