Benutzer: Gast  Login
Titel:

Computationally Efficient Safety Falsification of Adaptive Cruise Control Systems

Dokumenttyp:
Konferenzbeitrag
Autor(en):
Markus Koschi, Christian Pek, Sebastian Maierhofer, and Matthias Althoff
Abstract:
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 dr...     »
Kongress- / Buchtitel:
Proc. of the IEEE Int. Conf. on Intelligent Transportation Systems
Jahr:
2019
Seiten:
2879-2886
Volltext / DOI:
doi:10.1109/ITSC.2019.8917287
 BibTeX