Herein modeled a Responsive Traffic monitoring and Signaling system using Unified Modeling Language (UML), Graph theory, WSAN, and VDM-SL formal method. Traffic communication and information collection play vital roles in transportation infrastructure. Unfortunately, most of the systems can only detect vehicle positions in a fixed manner, and their information collection task is only performed by communication and power supply cables, thereby leading to high construction costs. In another way, information collection and vehicle detection can be easily performed using WSAN because it provides the advantages of wireless distribution, flexibility without cables, and low energy consumption. The use of a wireless sensors network can solve many difficulties in traffic information collection systems [5]. Traffic signal strategies are classified as fixed cycle and traffic responsive. For the responsive scheme, the traffic signaling systems can be improved to set the dynamic time interval of red, green, and amber lights according to the amount of waiting vehicles and pedestrians at the signalized intersection to improve efficiency. A traffic signal is assumed to depend on the next signal at an intersection to reduce time and fuel. When an emergency vehicle is detected, the controller will alert each lane to stop the flow of vehicles and display the red signals on all lanes to continue the flow of the emergency vehicle. The traffic flow at a signal is measured to set a responsive traffic signaling scheme by analyzing the intersection. When a controller detects any unintended pedestrian near zebra crossing, all the signals will be turned to red to inform the vehicles to stop so that pedestrians can cross the road safely.

A VDM-SL formal model is developed by integrating approaches for a responsive traffic monitoring and signaling system that enhances the efficiency of vehicles and increases safety at the traffic signals. This model will help make schedules between the occurrences of traffic signals in the targeted areas to provide a successful flow of vehicles across all traffic signal intersections. Our graph-based model is converted into a formal model through the VDM-SL. The proof of validation is provided by various facilities that are available in the VDM-SL toolbox [6]. The formal specification is checked by type and syntax checkers, pretty printer, and integrity for validation of the system.

Figure 1 describes an abstract representation of a traffic signaling intersection. It displays different signalized intersections, cameras, traffic signals, emergency vehicles, primary vehicles, and other objects. The proposed specification is based on finding different locations of places, determining the shortest path toward the destination path in terms of distance and time, and identifying less traffic on the signalized intersection. For traffic jam or rush, dynamic information is provided to update the controller using signal intersection video cameras that take real-time video streaming and images of the traffic situation to find the shortest routes. The shortest route is estimated depending on two factors, namely, distance and time. For a real model, the shortest route has equal importance in terms of distance and time. The distance-dependent or time-dependent shortest route may be selected as required.

Figure 1. Abstract representation of Traffic Signalized Intersection.

2. System Architecture

2.1. UML Based Models

By using UML, herein will define how the signals will periodically update according to the real-time conditions of the roads and how the signals depend on each other at the intersection. We modeled our system using various diagrams, such as use case and Sequences.

Different types of diagrams are designed, and the details are given below:

Use cases are a set of different types of scenarios that define the interaction between a system and a user. The two major components of a use case include actors and use cases.

Sequence diagrams model the behavior of systems by defining the way in which multiple objects interact with each other to achieve the goals. The sequence diagrams are read in ascending and descending order. In a traffic system, all the modules are required to work online. As such, any system can send requests at any time. An information system always has a strong behavior. Therefore, some behavior of this work is complete in the sequence direction. Thus, this kind of diagram is known as the sequence diagram.

Figure 3 displays the extended use case diagram and defines all the details of this system, which includes five actors. They are all detectors that are detecting the current situation on the traffic signals. Traffic controllers are continuously monitoring and taking decisions based on the current traffic flow. Traffic detectors detect all situations on the road and pass information to the controller. Storehouse stores the details about the detectors, vehicles, pedestrians, and emergency vehicles. Pedestrians and primary vehicle drivers will know the real-time road condition of signals and then decide whether to pass over the lane and/or wait for the other signals.

Figure 3. Extended use case.

Figure 4 shows an object of primary vehicles that crosses the detector. The detector will detect all vehicles and count the vehicles at every lane. Subsequently, the detector sends the current traffic situation to the traffic controller for future actions. Sensors are sending and receiving information at the parallel time. In this way, it identifies the current flow of traffic with the help of detector sensors.

Figure 4. Sequence Diagram for Primary Vehicles.

The traffic controller collects all the information, analyzes this received information, and sends the traffic flow to the traffic optimizer. After completing all processes, the traffic controller sets the signal and responsive time at numerous vehicles’ lane. Primary vehicles check the signal and follow the time to cross the road. According to dynamic time, two lanes can possibly have different times to cross the vehicles by counting the vehicles at every lane, and the remaining lane must be stopped.

Figure 5 shows when objects of primary and emergency vehicles cross the detector. The detector detects the emergency vehicle lane at this time and will send data to the controller for further actions. The controller collects all information from detectors and passes current traffic information to the optimizer, which optimizes and sends the received data back to the controller. The traffic controller sets the responsive time on the signalized intersection at a specific lane. Priority is awarded to emergency vehicles, such as fire brigades, police, and ambulance, by turning signals in nearly all vehicle lanes, except lanes where emergency vehicles are crossing, into red. Other primary vehicles must stop because the emergency vehicle may pass in any lanes.

Figure 5. Sequence Diagram for Emergency Vehicle.

Figure 6 shows when the pedestrians will reach the footpath; detectors will act as cameras and sensors that detect the pedestrians, send information to the traffic controller, detect all pedestrians, and count the pedestrians at every lane. Next, the detectors send the current traffic situation to the traffic optimizer for future actions.

Figure 6. Sequence Diagram for Pedestrians.

To increase efficiency, detectors will send and receive information in real-time. The traffic controller collects all the information after analysis and sets the pedestrian signals according to responsive time. In this way, the efficiency of the system will be improved. Pedestrians can check the specific lane signal to cross the road by following the responsive time. When pedestrians are crossing, primary vehicles must wait until they finish.

2.2. Graph Theory Model

Initially, we present the real traffic environment in graph theory. Graph theory represents the entire traffic signal network that acts as nodes, and the connectivity of signals is represented as edges to build a network, and through this network, the appropriate routes have been found. For signal dependency, the speed efficiency of vehicles between traffic signal intersections must be improved with graph-based topology. As a result, every vehicle will reach its destination smoothly without wasting time, stops, and fuel consumption. In Figure 7, the speed efficiency of vehicles between traffic signal intersections is improved with graph-based topology so that every vehicle reaches its destination smoothly without wasting time, stops, and fuel consumption.

Figure 7. Graph-based Topology using WSANs.

Information collection and vehicle detection can be easily performed using WSANs because of its advantages in wireless distribution, flexibility without cables, and low energy consumption. The use of wireless sensor networks can solve many difficulties in traffic information collection systems [10]. Using WSANs, the communication of one intersection to another intersection about road information will be provided with a group of sensors, cameras, and devices. WSANs work along with different nodes to perform multiple tasks for collecting information, monitoring traffic, and analyzing collected data at specific regions.