Although the technology of Internet of Vehicles (IoV) is developing rapidly, it will still take a long time to realize its overall popularization. Aimed at this transition phase, this paper proposes to set up an IoV lane on the urban road, which is specially designed for the connected vehicles, to provide a better driving environment for the connected vehicles. Considering the operation characteristics of traffic flow under traditional and IoV environment, this paper establishes a three-lane cellular automata model for urban road traffic flow considering IoV lane, modified on the basis of the Modified Comfortable Driving (MCD) model and symmetric two-lane cellular automata (STCA) model, and then takes simulation by MATLAB and makes analysis. The result shows that the setting of IoV lane can improve the velocity of networked vehicles to a great extent with no or just a bit decline in the ordinary vehicles’ speed, and it has a great effect on the mixture traffic flow, including the increase in both traffic volume and the average speed. What’s more, when the networking proportion is between 0.2 and 0.76, and the space occupation ranges from 0.18 to 0.56, the traffic benefit of IoV special lane can reach the best.
An Innovative Approach for Modelling Urban Road Traffic Using Timed Automata and Formal Methods
