HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

A Model-Based Testing Framework for Validating an IoT Solution for Blockchain-Based Vehicles Communication

Abstract : The emergence of embedded and connected smart technologies, systems, and devices has enabled the concept of smart cities by connecting every "thing" to the Internet and in particular in transportation through the Internet of Vehicles (IoV). The main purpose of IoV is to prevent fatal crashes by resolving traffic and road safety problems. Nevertheless, it is paramount to ensure secure and accurate transmission and recording of data in "Vehicle-to-Vehicle" (V2V) and "Vehicle-to-Infrastructure" (V2I) communication. To improve "Vehicle-to-Everything" (V2X) communication, this work uses Blockchain technology for developing a Blockchain-based IoT system aimed at establishing secure communication and developing a fully decentralized cloud computing platform. Moreover, the authors propose a model-based framework to validate the proposed approach. This framework is mainly based on the use of the Attack Trees (AT) and timed automaton (TA) formalisms in order to test the functional, load and security aspects. An optimization phase for testers placement inspired by fog computing is proposed as well.
Document type :
Preprints, Working Papers, ...
Complete list of metadata

Cited literature [47 references]  Display  Hide  Download

Contributor : Moez Krichen Connect in order to contact the contributor
Submitted on : Friday, March 20, 2020 - 1:16:21 PM
Last modification on : Monday, February 21, 2022 - 3:38:20 PM
Long-term archiving on: : Sunday, June 21, 2020 - 3:30:45 PM


Files produced by the author(s)


  • HAL Id : hal-02513237, version 1



Rateb Jabbar, Moez Krichen, Mohamed Kharbeche, Noora Fetais, Kamel Barkaoui. A Model-Based Testing Framework for Validating an IoT Solution for Blockchain-Based Vehicles Communication. 2020. ⟨hal-02513237⟩



Record views


Files downloads