Show simple item record

AuthorJabbar, Rateb
AuthorKrichen, Moez
AuthorShinoy, Mohammed
AuthorKharbeche, Mohamed
AuthorFetais, Noora
AuthorBarkaoui, Kamel
Available date2023-10-15T07:03:26Z
Publication Date2020-06-01
Publication Name2020 International Wireless Communications and Mobile Computing, IWCMC 2020
Identifierhttp://dx.doi.org/10.1109/IWCMC48107.2020.9148212
CitationJabbar, 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.‏
ISBN9781728131290
URIhttps://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85089690894&origin=inward
URIhttp://hdl.handle.net/10576/48478
AbstractIn 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.
Languageen
PublisherInstitute of Electrical and Electronics Engineers Inc.
SubjectAutomated 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
TitleA Model-Based and Resource-Aware Testing Framework for Parking System Payment using Blockchain
TypeConference Paper
Pagination1252-1259
dc.accessType Abstract Only


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record