IMDEA Networks Institute Publications Repository

The Fail-Safe Operation of Collaborative Driving Systems

Lin, Shou-pon and Maxemchuk, Nicholas F. (2016) The Fail-Safe Operation of Collaborative Driving Systems. [Journal Articles]

Full text not available from this repository.


We consider the problem of collaborative driving systems in which the vehicles share sensor information and make joint decisions on vehicle control. Such system involves vehicular control, communications links and environment sensing. We propose a multiple stack architecture that is based on the nature of collaborative driving systems. The architecture facilitates the design, implementation, verification and testing of collaborative driving protocol. The advantage of using absolute time in a distributed system is also demonstrated. Specifically, we propose a merge protocol that assists a driver in merging with other vehicles based on the proposed architecture. We create a lock protocol and specify it as an extended finite state machine as a subroutine of the merge protocol. Absolute time simplifies a deadlock-free lock protocol. The lock protocol is verified using probabilistic verification.

Item Type: Journal Articles
Additional Information: Published online December 2014.
Uncontrolled Keywords: Absolute Time, Collaborative Driving Systems, Multiple Stack Architecture, Protocol Verification.
Depositing User: Rebeca De Miguel
Date Deposited: 14 Oct 2014 11:28
Last Modified: 18 Oct 2016 13:50

Actions (login required)

View Item View Item