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

Rateb Jabbar, Moez Krichen, Mohamed Kharbeche, Noora Fetais, Kamel Barkaoui

2020

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.

Paper Citation

in Harvard Style

Jabbar R., Krichen M., Kharbeche M., Fetais N. and Barkaoui K. (2020). A Formal Model-Based Testing Framework for Validating an IoT Solution for Blockchain-based Vehicles Communication.In Proceedings of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-758-421-3, pages 595-602. DOI: 10.5220/0009594305950602

in Bibtex Style

@conference{enase20,
author={Rateb Jabbar and Moez Krichen and Mohamed Kharbeche and Noora Fetais and Kamel Barkaoui},
title={A Formal Model-Based Testing Framework for Validating an IoT Solution for Blockchain-based Vehicles Communication},
booktitle={Proceedings of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2020},
pages={595-602},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0009594305950602},
isbn={978-989-758-421-3},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - A Formal Model-Based Testing Framework for Validating an IoT Solution for Blockchain-based Vehicles Communication
SN - 978-989-758-421-3
AU - Jabbar R.
AU - Krichen M.
AU - Kharbeche M.
AU - Fetais N.
AU - Barkaoui K.
PY - 2020
SP - 595
EP - 602
DO - 10.5220/0009594305950602