Intelligent traffic monitoring and guidance system for smart city

IoT stands for Internet of things which is defined as an intercommunication of heterogeneous smart devices acting as a single network. In IoT, every device is connected via internet with different devices having different capabilities within a network. IoT is implemented almost in every field of life which is an extension of Wireless Sensor Networks (WSNs). Smart city is implemented through smart nodes in real scenarios to make digital environment in all field of life including smart parking, banking, sewerage system, waste management, environmental monitoring, smart transport and healthcare centers. However, there is a very little practical use of IoT and smart cities infrastructure in real life. In this paper, we have focused on intelligent traffic monitoring system using graph theory and formal methods. Our proposed model has various nodes that are assumed within a city including roads, objects and traffic signals to make a collective intelligent traffic guidance and monitoring system. Many operations including finding shortest path in terms of time and distance, finding specific area within city and finding safest and low rush ways towards the destination. The graph based model is transformed into a formal model using Vienna Development Method-Specification Language (VDM-SL). The proof of correctness is provided by various facilities available in the VDM-SL toolbox.