Building a smart traffic light system based on Internet of Things using π‐calculus.

Traffic is very terrible in most big cities. These cities need many traffic police to control traffic congestion. They can change the duration of traffic lights to reduce levels of congestion of corners. However, the time changed by them is determined just only the feeling of themselves. Making decisions suitable for current congestion at that moment is not trivial. The resistant questions are how to define the logical time of traffic lights or how is an effect of this corner to the consecutive one. Maybe we need to increase the time of the green light at the next corner because of the traffic jam at this corner. The link between two corners is interaction inside concurrent processes. Besides, some exceptional cases also need to be handled, for instance, ambulances or fire trucks. The green light needs to be turned on when they come, and turn back the red light state later. This article proposes a tentative approach that uses context types, including locations, priorities of cars, velocity, and remaining time (the car comes to the corner) to determine traffic light periods. The context‐aware is applied in the infrastructure of the Internet of Things when transferring information to the corner. Maybe, in the future, the other systems such as Arduino, Raspberry pi, or other embedded systems will be joined in the designs as acting part (turn the traffic lights on/off) and communicating role (connecting to the Internet via wifi) to control the duration of the traffic lights. [ABSTRACT FROM AUTHOR]