Address Resolution in One Lane Automated Highway Systems

Soheila V. Bana and Pravin Varaiya

Institute of Transportation Studies, Research Reports, Working Papers, Proceedings from Institute of Transportation Studies, UC Berkeley

Abstract: 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.

Keywords: Engineering; Motor vehicles--Automatic location systems; Highway communications; automated highways; intelligent transportation systems (search for similar items in EconPapers)
Date: 1999-07-01
References: View complete reference list from CitEc
Citations: View citations in EconPapers (1)

Downloads: (external link)
https://www.escholarship.org/uc/item/6jw2n9m8.pdf;origin=repeccitec (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:cdl:itsrrp:qt6jw2n9m8

Access Statistics for this paper

More papers in Institute of Transportation Studies, Research Reports, Working Papers, Proceedings from Institute of Transportation Studies, UC Berkeley Contact information at EDIRC.
Bibliographic data for series maintained by Lisa Schiff ().