Smart City Gnosys

Smart city article details

Title	Formal Specification Ensuring Security At Entrance And Exit Of Smart Parking System
ID_Doc	26920
Authors	Jameel F.; Zafar N.A.; Tehseen A.
Year	2021
Published	3rd International Conference on Communication Technologies, ComTech 2021
DOI	http://dx.doi.org/10.1109/ComTech52583.2021.9616830
Abstract	The IoT (Internet of Things) is an essential technology for the advancement of smart cities. IoT allows different objects to link and exchange information between them. A smart parking system is a key element in the development of the smart cities that solves numerous parking difficulties such as road congestion, time waste, fuel consumption, and insecurity of cars at parking places. In this paper, a smart car parking system based on IoT is described through several methods such as UML, automata, and VDM-SL (Vienna Development Method-Specification Language). Unified Modeling Language (UML) is employed to visualize the design and requirements of the system model. The automata theory is utilized to describe the behavior of the mechanism, which searches valid and free parking spaces based on information collected from IoT objects. The functionality of the system includes searching of legitimate free parking slots, reservation of slots, update and cancelation of reservation, and security of entrance and exit points of the parking area. The system has been converted into formal methods using VDM-SL and for the validation and verification, it is analyzed through the VDM-SL toolkit. © 2021 IEEE.
Author Keywords	Automata; Formal methods; Security; Smart car parking system; UML; VDM-SL

Similar Articles

Id	Similarity	Authors	Title	Published
39245	0.935	Latif 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)
26910	0.93	Jameel F.; Zafar N.A.	Formal Modeling And Automation Of E-Payment Smart Parking System	2021 International Conference on Digital Futures and Transformative Technologies, ICoDT2 2021 (2021)
18888	0.886	Keote 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 System	Communications on Applied Nonlinear Analysis, 31, 2S (2024)
26903	0.883	Roig P.J.; Alcaraz S.; Gilly K.; Filiposka S.; Aknin N.	Formal Algebraic Modelling Of A City-Wide Smart Parking System	2nd International Conference on Electrical, Communication and Computer Engineering, ICECCE 2020 (2020)
19614	0.873	Maulana 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 Method	Journal of Physics: Conference Series, 1524, 1 (2020)
51271	0.865	Al-Turjman F.; Malekloo A.	Smart Parking In Iot-Enabled Cities: A Survey	Sustainable Cities and Society, 49 (2019)
51302	0.864	Barriga J.J.; Sulca J.; Luis J.L.; Ulloa A.; Portero D.; Andrade R.; Guun S.Y.	Smart Parking: A Literature Review From The Technological Perspective	Applied Sciences (Switzerland), 9, 21 (2019)
33716	0.862	Patro S.P.; Patel P.; Senapaty M.K.; Padhy N.; Sah R.D.	Iot Based Smart Parking System: A Proposed Algorithm And Model	2020 International Conference on Computer Science, Engineering and Applications, ICCSEA 2020 (2020)
11559	0.861	Canli H.; Toklu S.	Avl Based Settlement Algorithm And Reservation System For Smart Parking Systems In Iot-Based Smart Cities	International Arab Journal of Information Technology, 19, 5 (2022)
661	0.861	Ji, ZL; Ganchev, I; O'Droma, M; Zhao, L; Zhang, XJ	A Cloud-Based Car Parking Middleware For Iot-Based Smart Cities: Design And Implementation	SENSORS, 14, 12 (2014)