IMDEA Networks Institute Publications Repository

A safe driver assisted merge protocol

Kim, Bo Hyun J. and Maxemchuk, Nicholas F. (2012) A safe driver assisted merge protocol. In: The 6th IEEE International Systems Conference (IEEE SysCon 2012), 19-22 March 2012, Vancouver, British Columbia, Canada.

Full text not available from this repository.


We present a cooperative driving protocol that assists drivers in merging with other vehicles. We develop a modular architecture that is based upon the multiple hardware and communications platforms that must participate in this type of system. The architecture isolates the lower level functions related to the hardware from the application, and simplifies writing the merge protocol. We specify the protocol as an Extended Finite State Machine and validate it using Probabilistic Verification [1]. We demonstrate that for a wide range of hardware failures, communications failures, and unresponsive drivers, the protocol will not cause an accident. We also show that there may be situations with a very low probability, where the protocol will leave a vehicle in a state where it cannot participate in future merge operations without being reset.

Item Type: Conference or Workshop Papers (Paper)
Subjects: Q Science > Q Science (General)
Q Science > QA Mathematics > QA75 Electronic computers. Computer science
T Technology > T Technology (General)
T Technology > TA Engineering (General). Civil engineering (General)
T Technology > TK Electrical engineering. Electronics Nuclear engineering
Divisions: Faculty of Engineering, Science and Mathematics > School of Electronics and Computer Science
Depositing User: Rebeca De Miguel
Date Deposited: 20 May 2012 06:50
Last Modified: 09 Dec 2014 11:13

Actions (login required)

View Item View Item