UPPAAL-Based Design and Analysis of Intelligent Parking System

Authors: Abobaker M. Q. Farhan, Olof M. A. Saif

Abstract:

The demand for parking spaces in urban areas, particularly in developing countries, has led to a significant issue in the absence of sufficient parking spaces in crowded areas, which results in daily traffic congestion as drivers search for parking. This not only affects the appearance of the city but also has indirect impacts on the economy, society, and environment. In response to these challenges, researchers from various countries have sought technical and intelligent solutions to mitigate the problem through the development of smart parking systems. This paper aims to analyze and design three models of parking lots, with a focus on parking time and security. The study used computer software and Uppaal tools to simulate the models and determine the best among them. The results and suggestions provided in the paper aim to reduce the parking problems and improve the overall efficiency and safety of the parking process. The conclusion of the study highlights the importance of utilizing advanced technology to address the pressing issue of insufficient parking spaces in urban areas.

Keywords: Preliminaries, system requirements, timed automata, uppaal.

References:

[1] http://www.oica.net/.
[2] R. Alur and D. L. Dill, “A theory of timed automata,” Theoretical computer science, vol. 126, no. 2, pp. 183–235, 1994.
[3] J. Bengtsson and W. Yi, “Timed automata: Semantics, algorithms and tools,” in Advanced Course on Petri Nets. Springer, 2003, pp. 87–124.
[4] R. Alur and D. L. Dill, “A theory of timed automata,” Theoretical computer science, vol. 126, no. 2, pp. 183–235, 1994.
[5] S. K. Jha, E. M. Clarke, C. J. Langmead, A. Legay, A. Platzer, and P. Zuliani, “A bayesian approach to model checking biological systems,” in International Conference on Computational Methods in Systems Biology. Springer, 2009, pp. 218–234.
[6] P. Bulychev, A. David, K. G. Larsen, M. Mikuˇcionis, D. B. Poulsen, A. Legay, and Z. Wang, “Uppaal-smc: Statistical model checking for priced timed automata,” arXiv preprint arXiv:1207.1272, pp. 1–16, 2012.
[7] P. Kamble, S. Chandgude, K. Deshpande, C. Kumari, and K. Gaikwad, “Smart parking system,” International Journal of Advance Research and Development, vol. 3, no. 4, pp. 183–186, 2018.
[8] P. Chaudhari, R. Kumar, R. Mistra, and P. Jorvekar, “Smart parking system,” International Research Journal of Engineering and Technology (IRJET), vol. 05, no. 01, pp. 637–639, 2018.
[9] B. Mishra, A. Verma, A. Gupta, and M. S. Singh, “Smart parking system,” International Research Journal of Engineering and Technology (IRJET), vol. 05, no. 04, pp. 09–13, 2018.
[10] P. Kharde, S. Pal, and S. Kawle, “Smart parking system,” International Journal of Scientific Research in Computer Science, Engineering and Information Technology, vol. 3, no. 1, pp. 639–641, 2018.
[11] F. I. Shaikh, P. N. Jadhav, S. P. Bandarkar, O. P. Kulkarni, and N. B. Shardoor, “Smart parking system based on embedded system and sensor network,” International Journal of Computer Applications, vol. 140, no. 12, pp. 45–51, 2016.
[12] S. A. Gandhi, “Smart parking system,” ASIAN JOURNAL FOR CONVERGENCE IN TECHNOLOGY (AJCT)-UGC LISTED, vol. 4, no. I, 2018.