Smart City Gnosys

Smart city article details

Title Formal Modeling And Automation Of E-Payment Smart Parking System
ID_Doc 26910
Authors Jameel F.; Zafar N.A.
Year 2021
Published 2021 International Conference on Digital Futures and Transformative Technologies, ICoDT2 2021
DOI http://dx.doi.org/10.1109/ICoDT252288.2021.9441482
Abstract In recent years, the concept of smart city gained a lot of popularity which includes various smart components such as smart homes, smart offices, smart parking, smart sewerage system, smart transportation, smart buildings, and smart hospital. Smart parking system is the main component of a smart city because searching for parking places, managing parking system and payment for available parking is a major issue for drivers which cause various parking problems such as air pollution, fuel consumption, traffic congestion, and waste of time. Many models of smart parking system have been developed but still, there is a need for improvement because of the introduction of various state-of-the-art technologies in the modeling of electronic payment of smart parking systems. In this paper Internet of Things (IoT) based different payment methods of smart parking system will be presented using UML, Automata, and VDM-SL. Unified Modeling Language (UML) will be used to realize the requirements and design the system's model. Automata theory will be used to represent the behavior of the electronic payment system. The functionality of the system includes the different parking payment methods for indoor and outdoor parking areas. The model will be developed using Vienna Development Method-Specification Language (VDM-SL). The model is analyzed using the VDM-SL toolbox. © 2021 IEEE.
Author Keywords Automata; Electronic payment; Formal specification; Smart parking system; Unified modeling language


Similar Articles

Id Similarity Authors Title Published
26920 View0.93Jameel F.; Zafar N.A.; Tehseen A.Formal Specification Ensuring Security At Entrance And Exit Of Smart Parking System3rd International Conference on Communication Technologies, ComTech 2021 (2021)
39245 View0.893Latif S.; Rehman A.; Zafar N.A.Nfa Based Formal Modeling Of Smart Parking System Using Tla +2019 International Conference on Information Science and Communication Technology, ICISCT 2019 (2019)
18888 View0.876Keote M.L.; Ghodeswar U.S.; Gathibandhe B.; Khodankar S.; Shende A.; Zilpilwar T.Design Of Mathematical Model And Implementation Of Iot Enabled Smart Secure Parking SystemCommunications on Applied Nonlinear Analysis, 31, 2S (2024)
19614 View0.868Maulana M.F.; Adhy S.; Bahtiar N.; Waspada I.Development Of A Smart Parking System Based On Internet Of Things Using Object-Oriented Analysis And Design MethodJournal of Physics: Conference Series, 1524, 1 (2020)
51296 View0.866Raj A.; Shetty S.D.Smart Parking Systems Technologies, Tools, And Challenges For Implementing In A Smart City Environment: A Survey Based On Iot & Ml PerspectiveInternational Journal of Machine Learning and Cybernetics, 15, 7 (2024)
51302 View0.865Barriga J.J.; Sulca J.; Luis J.L.; Ulloa A.; Portero D.; Andrade R.; Guun S.Y.Smart Parking: A Literature Review From The Technological PerspectiveApplied Sciences (Switzerland), 9, 21 (2019)
51290 View0.861Abo-Zahhad M.M.; Abo-Zahhad M.Smart Parking System In Smart Cities Based On The Internet Of Things And Machine Learning2024 International Telecommunications Conference, ITC-Egypt 2024 (2024)
32480 View0.856Bante K.; Bawankule S.; Dhule C.; Agrawal R.; Kumbhare K.Intelligent Parking Systems Design Using Iot And Ai2024 International Conference on Innovations and Challenges in Emerging Technologies, ICICET 2024 (2024)
33715 View0.855Avinash C.; Rohit G.; Rajesh C.; Suresh A.; Chinnadurai S.Iot Based Smart Parking System With E-TicketingProceedings - 2022 International Conference on Recent Trends in Microelectronics, Automation, Computing and Communications Systems, ICMACC 2022 (2022)
30591 View0.854Zacepins A.; Komasilovs V.; Kviesis A.; Gatins A.; Skudra M.; Pierhurovics A.Implementation Of Smart Parking System In Jelgava City In Latvia11th IEEE International Conference on Application of Information and Communication Technologies, AICT 2017 - Proceedings (2019)