User: Guest  Login
Document type:
Konferenzbeitrag 
Author(s):
Markus Koschi, Christian Pek, Sebastian Maierhofer, and Matthias Althoff 
Title:
Computationally Efficient Safety Falsification of Adaptive Cruise Control Systems 
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...    »
 
Book / Congress title:
Proc. of the IEEE Int. Conf. on Intelligent Transportation Systems 
Year:
2019 
Notes:
To appear.