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

L'emergence de technologies, systemes et dispositifs intelligents integres et connectes a permis le concept de villes intelligentes en connec-tant chaque chose a Internet et en particulier dans le transport via l'Internet des vehicules (IoV). Le but principal de l'IoV est de prevenir les accidents mortels en resolvant les problemes de circulation et de securite routiere. Neanmoins, il est primordial d'assurer une transmission et un en-registrement surs et precis des donnees dans les communications Vehicle-to-Vehicle (V2V) et Vehicle-to-Infrastructure (V2I). Pour ameliorer la communication Vehicle-to-Everything (V2X), ce travail utilise la tech-nologie Blockchain pour developper un systeme IoT visant a etablir une communication securisee et a developper une plateforme de cloud computing entierement decentralisee. De plus, les auteurs proposent un cadre base sur un modele pour valider l'approche proposee. Ce cadre est princi-palement base sur l'utilisation des formalismes des arbres d'attaque et des automates temporises afin de tester les aspects fonctionnels, de charge et de securite. Une phase d'optimisation du placement des testeurs inspiree du calcul dans de brouillard (fog computing) est egalement proposee.