Modélisation Et Vérification Formelle D’un Protocole Coap Pour L’internet Des Objets

Résumé: Au cours des dernières années, nous avons assisté à grand augmentation d'utilisation d'IoT et un nombre croissant de capteurs intégrés dans des appareils intelligents (par exemple, téléphones mobiles, montres intelligentes ou lunettes intelligentes). Ces objets intelligents sont de plus en plus connectés à l'internet et les données sont envoyées au web pour créer des applications 'Internet of Things' (IoT).avec l'utilisation des protocoles et différents technologie. Ce dernier nécessite non seulement le développement d'infrastructure et des logiciels d'ingénierie, mais aussi la conception et le déploiement de nouveaux services capables de supporter des applications multiples, évolutives et interopérables (multidomaines). De toutes les difficultés posées par l'Internet des objets, l'interconnexion des objets et leur interopérabilité demeurent les plus importantes. En effet, conformément aux usages pour lesquels ces objets ont été conçus, l'échange et la sémantique d'information provenus d'une une telle interaction varie significativement contribuant à faire de l'Internet des objets un monde riche mais aussi hétérogène. On s'inscrit ici dans une évolution de l'Internet des Objets dans 3 directions complémentaires : 1- L'abstraction des dispositifs utilisés comme intermédiaires pour offrir une présence en réseau à des objets. 2- Le passage de l'Internet des Objets au « Web des Objets » 3- La représentation des informations correspondantes à un niveau sémantique qui permet de la partager et de la rendre interopérable indépendamment des infrastructures sous-jacentes.

Publié dans la revue: