English
Related papers

Related papers: Simulation-based Validation for Autonomous Driving…

200 papers

Software-in-the-loop (SIL) simulation is a widely used method for the rapid development and testing of autonomous vehicles because of its flexibility and efficiency. This paper presents a case study on the validation of an in-house…

Software Engineering · Computer Science 2024-06-06 Zhennan Fei , Mikael Andersson , Andreas Tingberg

Simulation-based testing has become a standard approach to validating autonomous driving agents prior to real-world deployment. A high-quality validation campaign will exercise an agent in diverse contexts comprised of varying static…

Software Engineering · Computer Science 2026-03-12 Joy Saha , Trey Woodlief , Sebastian Elbaum , Matthew B. Dwyer

The safety of automated driving systems must be justified by convincing arguments and supported by compelling evidence to persuade certification agencies, regulatory entities, and the general public to allow the systems on public roads.…

Software Engineering · Computer Science 2024-10-28 Jonas Krook , Yuvaraj Selvaraj , Wolfgang Ahrendt , Martin Fabian

Simulation-based testing of autonomous vehicles (AVs) has become an essential complement to road testing to ensure safety. Consequently, substantial research has focused on searching for failure scenarios in simulation. However, a…

Computer Vision and Pattern Recognition · Computer Science 2021-12-02 Edward Kim , Jay Shenoy , Sebastian Junges , Daniel Fremont , Alberto Sangiovanni-Vincentelli , Sanjit Seshia

Automated driving functions (ADFs) have become increasingly popular in recent years. However, their safety must be assured. Thus, the verification and validation of these functions is still an important open issue in research and…

Software Engineering · Computer Science 2023-08-10 Daniel Becker , Guido Küppers , Lutz Eckstein

While recent developments in autonomous vehicle (AV) technology highlight substantial progress, we lack tools for rigorous and scalable testing. Real-world testing, the $\textit{de facto}$ evaluation environment, places the public in…

Machine Learning · Computer Science 2019-01-15 Matthew O'Kelly , Aman Sinha , Hongseok Namkoong , John Duchi , Russ Tedrake

With an increasing use of data-driven models to control robotic systems, it has become important to develop a methodology for validating such models before they can be deployed to design a controller for the actual system. Specifically, it…

Systems and Control · Computer Science 2018-03-28 Somil Bansal , Shromona Ghosh , Alberto Sangiovanni-Vincentelli , Sanjit A. Seshia , Claire J. Tomlin

Recent advances in deep learning have enabled the development of autonomous systems that use deep neural networks for perception. Formal verification of these systems is challenging due to the size and complexity of the perception DNNs as…

Machine Learning · Computer Science 2025-04-30 Christopher Watson , Rajeev Alur , Divya Gopinath , Ravi Mangal , Corina S. Pasareanu

Pedestrians' safety is a crucial factor in assessing autonomous driving scenarios. However, pedestrian safety evaluation is rarely considered by existing autonomous driving simulation platforms. This paper proposes a pedestrian safety…

Artificial Intelligence · Computer Science 2024-07-31 Lin Ma , Longrui Chen , Yan Zhang , Mengdi Chu , Wenjie Jiang , Jiahao Shen , Chuxuan Li , Yifeng Shi , Nairui Luo , Jirui Yuan , Guyue Zhou , Jiangtao Gong

The widescale deployment of Autonomous Vehicles (AV) appears to be imminent despite many safety challenges that are yet to be resolved. It is well-known that there are no universally agreed Verification and Validation (VV) methodologies…

Robotics · Computer Science 2020-11-17 Dhanoop Karunakaran , Stewart Worrall , Eduardo Nebot

Simulation systems have become an essential component in the development and validation of autonomous driving technologies. The prevailing state-of-the-art approach for simulation is to use game engines or high-fidelity computer graphics…

Computer Vision and Pattern Recognition · Computer Science 2020-10-30 Wei Li , Chengwei Pan , Rong Zhang , Jiaping Ren , Yuexin Ma , Jin Fang , Feilong Yan , Qichuan Geng , Xinyu Huang , Huajun Gong , Weiwei Xu , Guoping Wang , Dinesh Manocha , Ruigang Yang

Autonomous vehicles (AVs) are being rapidly introduced into our lives. However, public misunderstanding and mistrust have become prominent issues hindering the acceptance of these driverless technologies. The primary objective of this study…

Human-Computer Interaction · Computer Science 2023-02-20 Zhijie Qiao , Helen Loeb , Venkata Gurrla , Matt Lebermann , Johannes Betz , Rahul Mangharam

This article summarizes the research progress of scenario-based testing and development technology for autonomous vehicles. We systematically analyzed previous research works and proposed the definition of scenario, the elements of the…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-11-09 Xiaoyi Li

The most common method to validate a DEVS model against the requirements is to simulate it several times under different conditions, with some simulation tool. The behavior of the model is compared with what the system is supposed to do.…

Software Engineering · Computer Science 2015-04-10 Diego A. Hollmann , Maximiliano Cristiá , Claudia Frydman

As industrial autonomous ground vehicles are increasingly deployed in safety-critical environments, ensuring their safe operation under diverse conditions is paramount. This paper presents a novel approach for their safety verification…

Robotics · Computer Science 2025-07-17 Nawshin Mannan Proma , Gricel Vázquez , Sepeedeh Shahbeigi , Arjun Badyal , Victoria Hodge

Scenario-based testing is a promising method to develop, verify and validate automated driving systems (ADS) since pure on-road testing seems inefficient for complex traffic environments. A major challenge for this approach is the provision…

Software Engineering · Computer Science 2024-04-22 Michael Schuldes , Christoph Glasmacher , Lutz Eckstein

Scenario-based testing using simulations is a cornerstone of Autonomous Vehicles (AVs) software validation. So far, developers needed to choose between low-fidelity 2D simulators to explore the scenario space efficiently, and high-fidelity…

Robotics · Computer Science 2025-05-21 Marc Kaufeld , Korbinian Moller , Alessio Gambi , Paolo Arcaini , Johannes Betz

The spread of autonomous systems into safety-critical areas has increased the demand for their formal verification, not only due to stronger certification requirements but also to public uncertainty over these new technologies. However, the…

Artificial Intelligence · Computer Science 2018-04-19 Maryam Kamali , Sven Linker , Michael Fisher

Discovering potential failures of an autonomous system is important prior to deployment. Falsification-based methods are often used to assess the safety of such systems, but the cost of running many accurate simulation can be high. The…

Robotics · Computer Science 2023-10-03 Marc R. Schlichting , Nina V. Boord , Anthony L. Corso , Mykel J. Kochenderfer

Current autonomous vehicle (AV) simulators are built to provide large-scale testing required to prove capabilities under varied conditions in controlled, repeatable fashion. However, they have certain failings including the need for user…

Robotics · Computer Science 2021-09-27 Arpan Kusari , Pei Li , Hanzhi Yang , Nikhil Punshi , Mich Rasulis , Scott Bogard , David J. LeBlanc