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

Abstract

<div>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. </div><div>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.</div><div> 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.</div>

Assessing the Quality of Internet of Things (IoT) Medical Application

“…In 2020 Rateb et al used the MBT framework to test the load and security aspects for an IoT Blockchain-Based vehicles communication [23]. In contrast, Miroslav et al used an automated model-based approach to test smart TV applications usability and accessibility [24].…”

Survey on Blockchain-Based Data Storage Security for Android Mobile Applications

“…Blockchain technology was introduced by Satoshi Nakamoto in 2008 [38][39][40][41]. Blockchains are decentralized digital record-keeping systems that consist of transactions that are verified using cryptography and grouped together into blocks [42][43][44][45]. Together, the blocks are linked in a secure way, making it easy to detect any tampering [46].…”