Overtaking vehicles is a risky task and could cause serious accidents, especially on two-lane highways. There are various efforts in order to make this a safer task. An alternative to this is the use of communication between vehicles and advanced techniques to decide the safest time for overtaking. Thus, in this paper we propose a driver assistance service that uses real-time information transmitted among vehicles and formal methods to calculate the trajectories and to assign the optimal behavior to overtake. For this, we used Probabilistic Model Checking (PMC), which explores all the possibilities of the system indicating the correct configuration to the vehicles involved. In the evaluated study case, the results showed that it is possible to find a secure configuration in a scenario with three vehicles and a collision's probability of 98%.
展开▼
