Skip to Main content Skip to Navigation

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

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.
Document type :
Preprints, Working Papers, ...
Complete list of metadatas

Cited literature [47 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02513235
Contributor : Moez Krichen <>
Submitted on : Friday, March 20, 2020 - 1:11:51 PM
Last modification on : Wednesday, March 25, 2020 - 1:38:00 AM

File

HAL___2020__Un_cadre_de_test_b...
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02513235, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

23

Files downloads

12