Home | Repositories | Statistics | About



Subject: ACP, fog computing, IoT, formal protocol specification, networking


Year: 2020


Type: Proceedings



Title: Formal algebraic modelling of a city-wide smart parking system


Author: Juan Roig, Pedro
Author: Alcaraz, Salvador
Author: Gilly, Katja
Author: Filiposka, Sonja
Author: Aknin, Noura



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.


Publisher: IEEE


Relation: 2020 International Conference on Electrical, Communication, and Computer Engineering (ICECCE



Identifier: oai:repository.ukim.mk:20.500.12188/25043
Identifier: http://hdl.handle.net/20.500.12188/25043



TitleDateViews
Formal algebraic modelling of a city-wide smart parking system202026