Smart City Gnosys

Smart city article details

Title	A Formal Model-Based Testing Framework For Validating An Iot Solution For Blockchain-Based Vehicles Communication
ID_Doc	1726
Authors	Jabbar R.; Krichen M.; Kharbeche M.; Fetais N.; Barkaoui K.
Year	2020
Published	ENASE 2020 - Proceedings of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering
DOI	http://dx.doi.org/10.5220/0009594305950602
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. © Copyright 2020 by SCITEPRESS - Science and Technology Publications, Lda. All rights reserved.
Author Keywords	Attack Trees; Automotive Communication; Blockchain; Internet of Vehicles; Model-Based Testing; Security; Timed Automaton

Similar Articles

Id	Similarity	Authors	Title	Published
5228	0.891	Queiroz A.; Oliveira E.; Barbosa M.; Dias K.	A Survey On Blockchain And Edge Computing Applied To The Internet Of Vehicles	International Symposium on Advanced Networks and Telecommunication Systems, ANTS, 2020-December (2020)
47810	0.887	Al-Quayed F.; Tariq N.; Humayun M.; Aslam Khan F.; Attique Khan M.; Alnusairi T.S.	Securing The Road Ahead: A Survey On Internet Of Vehicles Security Powered By A Conceptual Blockchain-Based Intrusion Detection System For Smart Cities	Transactions on Emerging Telecommunications Technologies, 36, 4 (2025)
21842	0.886	Chavhan S.; Kumar S.; Tiwari P.; Liang X.; Lee I.H.; Muhammad K.	Edge-Enabled Blockchain-Based V2X Scheme For Secure Communication Within The Smart City Development	IEEE Internet of Things Journal, 10, 24 (2023)
14415	0.885	Sarkar A.; Daripa K.; Khan M.Z.; Noorwali A.	Cloud Enabled Blockchain-Based Secured Communication In Mutual Intelligent Transportation Using Neural Synchronization	Vehicular Communications, 38 (2022)
2143	0.883	Rathod H.B.; Mainkar P.M.	A Hybrid Blockchain-Based Approach For Intelligent Transportation System	Proceedings - 2023 IEEE World Conference on Applied Intelligence and Computing, AIC 2023 (2023)
60981	0.883	Patel A.; Shah N.; Limbasiya T.; Das D.	Vehiclechain: Blockchain-Based Vehicular Data Transmission Scheme For Smart City	Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics, 2019-October (2019)
60977	0.882	Zrikem M.; Hasnaoui I.; Elassali R.	Vehicle-To-Blockchain (V2B) Communication: Integrating Blockchain Into V2X And Iot For Next-Generation Transportation Systems	Electronics (Switzerland), 12, 16 (2023)
12613	0.881	El-Hamed O.M.A.; El-Samie F.E.A.; Badawy W.; El-atty S.M.A.	Blockchain-Based Framework For Secure Communication In Vehicular Ad Hoc Network (Vanet)	Journal of Optics (India) (2025)
25610	0.879	Rishiwal V.; Agarwal U.; Alotaibi A.; Tanwar S.; Yadav P.; Yadav M.	Exploring Secure V2X Communication Networks For Human-Centric Security And Privacy In Smart Cities	IEEE Access, 12 (2024)
59081	0.876	Abbasi S.; Khaledian N.; Rahmani A.M.	Trust Management In The Internet Of Vehicles: A Systematic Literature Review Of Blockchain Integration	International Journal of Information Security, 23, 4 (2024)