Modélisation et vérification formelle d’un protocole CoAP pour l’internet des objets
Loading...
Date
2019
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
UNIVERSITE MOHAMED BOUDIAF - M’SILA FACULTE DES MATHEMATIQUES ET DE L’INFORMATIQUE DEPARTEMENT D’INFORMATIQUE- Option : Système d’information et génie logiciel Spécialité : Informatique Décisionnel et Optimisation
Abstract
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.
Description
Keywords
Modélisation , vérification formelle , protocole CoAP , l’internet des objets