Un Cadre de Test Formel pour la Validation d'un Système de Communication Inter-Véhiculaire Basé sur les IOTs et la Blockchain - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2020

Un Cadre de Test Formel pour la Validation d'un Système de Communication Inter-Véhiculaire Basé sur les IOTs et la Blockchain

Rateb Jabbar
  • Fonction : Auteur
  • PersonId : 1064923
Mohamed Kharbeche
  • Fonction : Auteur
  • PersonId : 866781
Noora Fetais
  • Fonction : Auteur
  • PersonId : 990132
Kamel Barkaoui

Résumé

L'émergence de technologies, systèmes et dispositifs intelligents intégrés et connectés a permis le concept de villes intelligentes en connec-tant chaque "chose" à Internet et en particulier dans le transport via l'Internet des véhicules (IoV). Le but principal de l'IoV est de prévenir les accidents mortels en résolvant les problèmes de circulation et de sécurité routière. Néanmoins, il est primordial d'assurer une transmission et un en-registrement sûrs et précis des données dans les communications "Vehicle-to-Vehicle" (V2V) et "Vehicle-to-Infrastructure" (V2I). Pour améliorer la communication "Vehicle-to-Everything" (V2X), ce travail utilise la tech-nologie Blockchain pour développer un système IoT visant à établir une communication sécurisée et à développer une plateforme de cloud computing entièrement décentralisée. De plus, les auteurs proposent un cadre basé sur un modèle pour valider l'approche proposée. Ce cadre est princi-palement basé sur l'utilisation des formalismes des arbres d'attaque et des automates temporisés afin de tester les aspects fonctionnels, de charge et de sécurité. Une phase d'optimisation du placement des testeurs inspirée du calcul dans de brouillard (fog computing) est également proposée.
Fichier principal
Vignette du fichier
HAL___2020__Un_cadre_de_test_bas__sur_un_mod_le_pour_valider_une_solution_IoT_pour_la_communication_des_v_hicules_bas_s_sur_la_blockchain (1).pdf (1.82 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02513235 , version 1 (20-03-2020)

Identifiants

  • HAL Id : hal-02513235 , version 1

Citer

Rateb Jabbar, Moez Krichen, Mohamed Kharbeche, Noora Fetais, Kamel Barkaoui. Un Cadre de Test Formel pour la Validation d'un Système de Communication Inter-Véhiculaire Basé sur les IOTs et la Blockchain. 2020. ⟨hal-02513235⟩
248 Consultations
180 Téléchargements

Partager

Gmail Facebook X LinkedIn More