Simulation-based Adversarial Test Generation for Autonomous Vehicles with Machine Learning Components
- 1 June 2018
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 1555-1562
Abstract
Many organizations are developing autonomous driving systems, which are expected to be deployed at a large scale in the near future. Despite this, there is a lack of agreement on appropriate methods to test, debug, and certify the performance of these systems. One of the main challenges is that many autonomous driving systems have machine learning (ML) components, such as deep neural networks, for which formal properties are difficult to characterize. We present a testing framework that is compatible with test case generation and automatic falsification methods, which are used to evaluate cyber-physical systems. We demonstrate how the framework can be used to evaluate closed-loop properties of an autonomous driving system model that includes the ML components, all within a virtual environment. We demonstrate how to use test case generation methods, such as covering arrays, as well as requirement falsification methods to automatically identify problematic test scenarios. The resulting framework can be used to increase the reliability of autonomous driving systems.Keywords
All Related Versions
This publication has 17 references indexed in Scilit:
- Practical Black-Box Attacks against Machine Learning2017
- Testing Autonomous Vehicle Software in the Virtual Prototyping EnvironmentIEEE Embedded Systems Letters, 2016
- Simulation-Based Approaches for Verification of Embedded Control Systems: An Overview of Traditional and Advanced Modeling, Testing, and Verification TechniquesIEEE Control Systems, 2016
- Utilizing S-TaLiRo as an automatic test generation framework for autonomous vehicles2016
- The Limitations of Deep Learning in Adversarial Settings2016
- Probabilistic Temporal Logic Falsification of Cyber-Physical SystemsACM Transactions on Embedded Computing Systems, 2013
- Robust Satisfaction of Temporal Logic over Real-Valued Signals2010
- Robustness of Temporal Logic Specifications2006
- Software and Hardware Testing Using Combinatorial Covering Suites2005
- Cyberbotics Ltd. Webots ™ : Professional Mobile Robot SimulationInternational Journal of Advanced Robotic Systems, 2004