The determination of safety assurances for automated driving vehicles is one of the most critical challenges in the industry today. Several behavioral safety models for automated driving have been proposed recently and standards discussions are on the way. In this paper we present a method to automatically explore the performance of automated vehicle (AV) safety models utilizing robustness of Metric Temporal Logic (MTL) specifications as a continuous metric of safety. We present a case study of the Responsibility Sensitive Safety model (RSS), introducing a safety evaluation pipeline based on the CARLA driving simulator, RSS and a set of safety-critical driving scenarios. Our method automatically extracts safety relevant profiles for these scenarios providing practical parametric boundaries for implementation. Furthermore, we evaluate the trade-offs between safety and utility within the safe RSS parameter space through a proposed naturalistic benchmark challenge that we open-sourced. We analyze different RSS parameter configurations including assertive and more conservative settings, extracted by our specification-driven framework. Our results show that while maintaining the safety boundaries, the extracted RSS configuration for assertive driving behavior achieves the highest utility.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    How safe is safe enough? Automatic Safety Constraints Boundary Estimation for Decision-Making in Automated Vehicles


    Contributors:


    Publication date :

    2020-10-19


    Size :

    2105580 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    HOW SAFE IS SAFE ENOUGH? AUTOMATIC SAFETY CONSTRAINTS BOUNDARY ESTIMATION FOR DECISION-MAKING IN AUTOMATED VEHICLES

    Rodionova, Alëna / Alvarez, Ignacio / Elli, Maria Soledad et al. | British Library Conference Proceedings | 2020


    Is ‘Safe’ Safe Enough?

    Passmore, James | SAE Technical Papers | 2001


    Safe Cooperation of Automated Vehicles

    Heß, Daniel / Löper, Christian / Hesse, Tobias | German Aerospace Center (DLR) | 2017

    Free access


    Drive and manoeuvring units: How safe is safe enough?

    British Library Online Contents | 1998