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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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


    Contributors:


    Publication date :

    2017-06-01


    Size :

    1006629 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    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 Archive | 2010