We consider the problem of collaborative driving systems in which the vehicles share sensor information and make joint decisions on vehicle control. Such a 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 a 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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    The Fail-Safe Operation of Collaborative Driving Systems


    Contributors:

    Published in:

    Publication date :

    2016-01-02


    Size :

    14 pages




    Type of media :

    Article (Journal)


    Type of material :

    Electronic Resource


    Language :

    English




    Safe Halt as Fail-safe Concept for Automated Driving Systems

    Ackermann, Stefan Martin | DataCite | 2023

    Free access

    Fail-safe EE architecture for automated driving

    HOGENMUELLER THOMAS / HUCK THORSTEN / KERSKEN ULRICH et al. | European Patent Office | 2017

    Free access

    Fail safe or fail dead?

    Davis,A. | Automotive engineering | 1988


    FAIL SAFE OPERATIONAL STEERING SYSTEM FOR AUTONOMOUS DRIVING

    European Patent Office | 2017

    Free access

    Fail-safe handling system for autonomous driving vehicle

    GONG GUOHAO / ZHU FAN / WANG YUE et al. | European Patent Office | 2023

    Free access