Validating the safety of self-driving vehicles requires an enormous amount of testing. By applying formal verification methods, we can prove the correctness of the vehicles' behavior, which at the same time reduces remaining risks and the need for extensive testing. However, current safety approaches do not consider liabilities of traffic participants if a collision occurs. Utilizing formalized traffic rules to verify motion plans allows this problem to be solved. We present a novel approach for verifying the safety of lane change maneuvers, using formalized traffic rules according to the Vienna Convention on Road Traffic. This allows us to provide additional guarantees that if a collision occurs, the self-driving vehicle is not responsible. Furthermore, we consider misbehavior of other traffic participants during lane changes and propose feasible solutions to avoid or mitigate a potential collision. The approach has been evaluated using real traffic data provided by the NGSIM project as well as simulated lane changes.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Verifying the safety of lane change maneuvers of self-driving vehicles based on formalized traffic rules


    Beteiligte:
    Pek, Christian (Autor:in) / Zahn, Peter (Autor:in) / Althoff, Matthias (Autor:in)


    Erscheinungsdatum :

    01.06.2017


    Format / Umfang :

    1006629 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Verifying the Safety of Lane Change Maneuvers of Self-Driving Vehicles Based on Formalized Traffic Rules

    Pek, Christian / Zahn, Peter / Althoff, Matthias | British Library Conference Proceedings | 2017


    Lane Change Maneuvers for Automated Vehicles

    Nilsson, Julia / Brannstrom, Mattias / Coelingh, Erik et al. | IEEE | 2017


    Lane Change Maneuvers for Automated Vehicles

    Nilsson, Julia | Online Contents | 2017


    Lane Change Maneuvers for Automated Vehicles

    Nilsson, Julia | Online Contents | 2016


    Fully automatic lane change maneuvers for advanced safety systems in complex traffic situations

    Ardelt, Michael / Waldmann, Peter / Kämpchen, Nico et al. | Tema Archiv | 2010