This paper proposes a novel method for position location by automated vehicles in AHS. The proposed positioning system meets the desired accuracy for AHS and is economically feasible because it takes advantage of the infrastructure and characteristics of the automated roads. This positioning system is very similar to GPS in the sense of using pseudo-noise codes for range measurement. The phase of a pseudo-noise signal can be mapped to the receiver's range from a reference point where the signal correlation properties in sure accurate phase estimation. The magnetic markers that are installed on the road for vehicles' lateral control are proposed as the medium to carry the signal. A magnetic pseudo-noise signal that is unique for each lane in the network of automated roads allows a vehicle to resolve its absolute position on the road by estimating the signal phase. The system can detect positioning errors with relatively short delays and correct them.

Address Resolution Protocols (ARP) are used in Automated Highway Systems (AHS) to establish communication among vehicles. The purpose of the ARP is to determine the network address of neighboring vehicles. We are proposing an innovative solution that takes advantage of the automated road infrastructure. For providing addresses initially and uses the communication network itself for updating the network communication addresses in a one lane automated highway system. The protocol has been modeled using PROMELA [1], and simulated and verified by SPIN [2]. SPIN is a tool for analyzing the logical consistency of concurrent systems, specifically of data communication protocols. The verification results show that automated vehicles in a single lane remain accurately informed about the communication addresses of their neighbors despite maneuvers (dynamics) on the road.