Smart City Gnosys

Smart city article details

Title	Formal Algebraic Modelling Of A City-Wide Smart Parking System
ID_Doc	26903
Authors	Roig P.J.; Alcaraz S.; Gilly K.; Filiposka S.; Aknin N.
Year	2020
Published	2nd International Conference on Electrical, Communication and Computer Engineering, ICECCE 2020
DOI	http://dx.doi.org/10.1109/ICECCE49384.2020.9179447
Abstract	One of the main applications of smart cities are parking systems based on IoT/Fog technology. In this paper, we carry out the study of formal algebraic models for such systems. In that context, first of all we undertake the study of a model for a street with a single parking space, extending it with a string of parking spaces. Additionally, we add up some parking control at fog level in order to apply parking restrictions in case of local environment issues, such as air pollution or poor weather conditions. Eventually, we also add up an orchestration level so as to prevent parking related to intelligence information, such as traffic congestion down the road, an accident nearby, or adverse weather forecast to come. © 2020 IEEE.
Author Keywords	ACP; fog computing; formal protocol specification; IoT; networking

Similar Articles

Id	Similarity	Authors	Title	Published
18888	0.89	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)
26920	0.883	Jameel F.; Zafar N.A.; Tehseen A.	Formal Specification Ensuring Security At Entrance And Exit Of Smart Parking System	3rd International Conference on Communication Technologies, ComTech 2021 (2021)
51271	0.876	Al-Turjman F.; Malekloo A.	Smart Parking In Iot-Enabled Cities: A Survey	Sustainable Cities and Society, 49 (2019)
39245	0.872	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)
51300	0.871	Maharjan A.M.S.; Elchouemi A.	Smart Parking Utilizing Iot Embedding Fog Computing Based On Smart Parking Architecture	CITISIA 2020 - IEEE Conference on Innovative Technologies in Intelligent Systems and Industrial Applications, Proceedings (2020)
51885	0.867	Hamada A.O.; Zahran F.; Eldin N.E.; Azab M.; Eltoweissy M.; Gracanin D.	Smartpark: A Location-Independent Smart Park And Transfer System	2019 IEEE 10th Annual Information Technology, Electronics and Mobile Communication Conference, IEMCON 2019 (2019)
51266	0.866	Crabbe C.	Smart Parking For Future Smart Cities Using Fog Computing Paradigms	ACM International Conference Proceeding Series (2020)
22273	0.866	Anusha T.; Pushpalatha M.	Efficient Communication Model For A Smart Parking System With Multiple Data Consumers	Smart Cities, 5, 4 (2022)
8751	0.866	da Cruz M.A.A.; Rodrigues J.J.P.C.; Gomes G.F.A.; Almeida P.; Rabelo R.A.L.; Kumar N.; Mumtaz S.	An Iot-Based Solution For Smart Parking	Lecture Notes in Networks and Systems, 121 (2020)
29943	0.864	Sabry O.H.; Zakaria N.O.; Hamdan E.; Hamad M.S.; Abdel-Khalik A.S.	Ict Enabled Smart Street Parking System For Smart Cities	Proceedings - 2022 IEEE 4th Global Power, Energy and Communication Conference, GPECOM 2022 (2022)