Falsification aims to disprove the safety of systems by providing counter-examples that lead to a violation of safety properties. In this work, we present two novel falsification methods to reveal safety flaws in adaptive cruise control (ACC) systems of automated vehicles. Our methods use rapidly-exploring random trees to generate motions for a leading vehicle such that the ACC under test causes a rear-end collision. By considering unsafe states and searching backward in time, we are able to drastically improve computation times and falsify even sophisticated ACC systems. The obtained collision scenarios reveal safety flaws of the ACC under test and can be directly used to improve the system’s design. We demonstrate the benefits of our methods by successfully falsifying the safety of state-of-the-art ACC systems and comparing the results to that of existing approaches.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Computationally Efficient Safety Falsification of Adaptive Cruise Control Systems


    Beteiligte:


    Erscheinungsdatum :

    2019-10-01


    Format / Umfang :

    448748 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    A computationally efficient stereo vision algorithm for adaptive cruise control

    Bergendahl, Jason Robert | DSpace@MIT | 1997

    Freier Zugriff

    From Adaptive Cruise Control to Active Safety Systems

    Freixa, Antoni / Sánchez, Francisco / Sochaski, Klaus et al. | SAE Technical Papers | 2001


    From adaptive cruise control to active safety systems

    Sanchez, F. / Seguer, M. / Freixa, A. et al. | Tema Archiv | 2001


    From adaptive cruise control to active safety systems

    Sanchez,F. / Seguer,M. / Freixa,A. et al. | Kraftfahrwesen | 2001


    Safety, Energy, and Emissions Impacts of Adaptive Cruise Control and Cooperative Adaptive Cruise Control

    Mahdinia, Iman / Arvin, Ramin / Khattak, Asad J. et al. | Transportation Research Record | 2020