The objective of this project has been to apply the techniques developed for communications networks to collaborative, intelligent vehicles. The techniques are applied to a lane merge protocol that assists a driver who is merging between two vehicles in an adjacent lane.
The previous work that has been reported on this project includes: a multiple stack, layered architecture; a strategy for using synchronized clocks; and the probabilistic verification of protocols.