Abstract
Issue challan in response to rules violation, LED (Light Emitting Diode) and Bridge components of this proposed Smart Traffic Monitoring and Guidance System are presented in this paper to monitor violation of rules, update users about traffic congestion through LED and to provide central hub to communicate with sensors to update server about the traffic situation. It involves the Wireless Sensors and actors to communicate with the system. The proposed components require fewer resources in terms of sensors and actors. Further sensors identify violation of rules through issue challan. Secondly, LED component provides information to users about the traffic situations. Thirdly, Bridge component is used to provide central hub to communicate with different components in the proposed model and to update the server. The proposed components of this model are implemented by developing formal specification using VDM-SL. VDM-SL is a formal specification language used for analysis of complex systems. The developed specification is validated, verified and analyzed using VDM-SL Toolbox.
Highlights
Traffic congestion is a big problem in developed countries
Researchers have proposed different models with the involvement of different tools and technologies. These models have the capability of collecting road traffic information through wireless sensors and other employed devices
This paper presented modules of Smart Traffic Monitoring and Guidance System like issue challan, display information of traffic situation on Light Emitted diode (LED), bridge and system maintenance
Summary
Traffic congestion is a big problem in developed countries. In advanced countries better transportation management system has the ability to handle complex situations. With the growth of population traffic becomes a critical issue, irregular traffic is a big problem in populated cities of Pakistan To sort out these issues we have to develop a smart traffic management system in which data can be collected from sensors in real time, processed at the same time and update the system to remove congestion. Researchers have proposed different models with the involvement of different tools and technologies These models have the capability of collecting road traffic information through wireless sensors and other employed devices. IoT save more cost, reliability, and safety than other mechanisms [21] This proposed model and different other models employed IoT devices which have a number of RFIDs and wireless sensors that communicate with each other and sends data to the administrator. This paper consists of different sections which are Introduction, Literature Review, Problem statement, Formalization of modules, Sequence diagrams of these modules and conclusion
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
