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.