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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    The Fail-Safe Operation of Collaborative Driving Systems


    Beteiligte:

    Erschienen in:

    Erscheinungsdatum :

    2016-01-02


    Format / Umfang :

    14 pages




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    Safe Halt as Fail-safe Concept for Automated Driving Systems

    Ackermann, Stefan Martin | DataCite | 2023

    Freier Zugriff

    Fail-safe EE architecture for automated driving

    HOGENMUELLER THOMAS / HUCK THORSTEN / KERSKEN ULRICH et al. | Europäisches Patentamt | 2017

    Freier Zugriff

    Fail safe or fail dead?

    Davis,A. | Kraftfahrwesen | 1988


    FAIL SAFE OPERATIONAL STEERING SYSTEM FOR AUTONOMOUS DRIVING

    Europäisches Patentamt | 2017

    Freier Zugriff

    FAIL-SAFE CONTROL DEVICE AND FAIL-SAFE CONTROL METHOD

    OKUBO YOICHI / SUGIYAMA AKINOBU | Europäisches Patentamt | 2019

    Freier Zugriff