A Model-Based and Resource-Aware Testing Framework for Parking System Payment using Blockchain
Author | Jabbar, Rateb |
Author | Krichen, Moez |
Author | Shinoy, Mohammed |
Author | Kharbeche, Mohamed |
Author | Fetais, Noora |
Author | Barkaoui, Kamel |
Available date | 2023-10-15T07:03:26Z |
Publication Date | 2020-06-01 |
Publication Name | 2020 International Wireless Communications and Mobile Computing, IWCMC 2020 |
Identifier | http://dx.doi.org/10.1109/IWCMC48107.2020.9148212 |
Citation | Jabbar, R., Krichen, M., Shinoy, M., Kharbeche, M., Fetais, N., & Barkaoui, K. (2020, June). A model-based and resource-aware testing framework for parking system payment using blockchain. In 2020 International Wireless Communications and Mobile Computing (IWCMC) (pp. 1252-1259). IEEE. |
ISBN | 9781728131290 |
Abstract | In most cities, the availability of parking is a major concern. The misuse of parking spots as drivers park for longer than permitted periods cause more delays, inconvenience to others, and even parking tickets. Moreover, the payment systems at many locations are still not electronic and rely on hard currency. The search for a parking space also contributes to congestion, pollution, and other safety issues. This paper introduces an end-to-end system that enables automatic car payments in a safe, private, secure, and efficient manner using Blockchain technology. The proposed solution utilizes Ethereum to prototype a solution which can facilitate the parking payments. In addition, Android auto and application modules that automate the payment process have also been developed. Moreover, a validation technique for enhancing the quality and correctness of the proposed solution, namely Model-Based Testing Techniques, has been discussed. The latter consists of deriving test suites from an adopted formal model, performing them, and assessing the correctness. The used formal model may combine both functional and load aspects. A list of techniques for improving the formal testing approach was identified. Besides, the authors explained how to manage dynamic adaptations of the system under test and how to use isolation strategies for avoiding interference between testing and business behaviors. Finally, an optimization phase for testers placement inspired by fog computing is proposed as well. |
Language | en |
Publisher | Institute of Electrical and Electronics Engineers Inc. |
Subject | Automated Payments Blockchain Cloud and Android Dynamic Adaptations Ethereum Intelligent Transport System Internet of Vehicles Isolation Techniques Model-Based Testing Parking System Payment Smart Parking Testers Placement Vehicular Communication Systems |
Type | Conference Paper |
Pagination | 1252-1259 |
Files in this item
Files | Size | Format | View |
---|---|---|---|
There are no files associated with this item. |
This item appears in the following Collection(s)
-
Transportation [85 items ]