عرض بسيط للتسجيلة

المؤلفJabbar, Rateb
المؤلفKrichen, Moez
المؤلفShinoy, Mohammed
المؤلفKharbeche, Mohamed
المؤلفFetais, Noora
المؤلفBarkaoui, Kamel
تاريخ الإتاحة2023-10-15T07:03:26Z
تاريخ النشر2020-06-01
اسم المنشور2020 International Wireless Communications and Mobile Computing, IWCMC 2020
المعرّفhttp://dx.doi.org/10.1109/IWCMC48107.2020.9148212
الاقتباس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.‏
الترقيم الدولي الموحد للكتاب 9781728131290
معرّف المصادر الموحدhttps://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85089690894&origin=inward
معرّف المصادر الموحدhttp://hdl.handle.net/10576/48478
الملخص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.
اللغةen
الناشرInstitute of Electrical and Electronics Engineers Inc.
الموضوع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
العنوانA Model-Based and Resource-Aware Testing Framework for Parking System Payment using Blockchain
النوعConference Paper
الصفحات1252-1259
dc.accessType Abstract Only


الملفات في هذه التسجيلة

الملفاتالحجمالصيغةالعرض

لا توجد ملفات لها صلة بهذه التسجيلة.

هذه التسجيلة تظهر في المجموعات التالية

عرض بسيط للتسجيلة