Authors:
Rateb Jabbar
1
;
Moez Krichen
2
;
Mohamed Kharbeche
3
;
Noora Fetais
4
and
Kamel Barkaoui
5
Affiliations:
1
KINDI Center for Computing Research, College of Engineering, Qatar University, Doha, Qatar, Cedric Laboratory, Computer Science Department, Conservatoire National des Arts et Metiers, France
;
2
ReDCAD Laboratory, University of Sfax, Tunisia
;
3
Qatar Transportation and Traffic Safety Center, Qatar University, Qatar
;
4
KINDI Center for Computing Research, College of Engineering, Qatar University, Doha, Qatar
;
5
Cedric Laboratory, Computer Science Department, Conservatoire National des Arts et Metiers, France
Keyword(s):
Blockchain, Automotive Communication, Internet of Vehicles, Model-Based Testing, Timed Automaton, Security, Attack Trees.
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 se
curity aspects. An optimization phase for testers placement inspired by fog computing is proposed as well.
(More)