English
Related papers

Related papers: Declarative Scenario-based Testing with RoadLogic

200 papers

Search-based software testing (SBT) is an effective and efficient approach for testing automated driving systems (ADS). However, testing pipelines for ADS testing are particularly challenging as they involve integrating complex driving…

Software Engineering · Computer Science 2023-11-03 Lev Sorokin , Tiziano Munaro , Damir Safin , Brian Hsuan-Cheng Liao , Adam Molin

Search-based testing is critical for evaluating the safety and reliability of autonomous driving systems (ADSs). However, existing approaches are often built on heterogeneous frameworks (e.g., distinct scenario spaces, simulators, and…

Software Engineering · Computer Science 2026-01-12 Mingfei Cheng , Lionel Briand , Yuan Zhou

Automated Vehicles (AVs) are rapidly maturing in the transportation domain. However, the complexity of the AV design problem is such that no single technique is sufficient to provide adequate validation of key properties such as safety,…

Software Engineering · Computer Science 2022-08-11 Maike Schwammberger , Christopher Harper , Gleifer Vaz Alves , Greg Chance , Tony Pipe , Kerstin Eder

Sampling critical testing scenarios is an essential step in intelligence testing for Automated Vehicles (AVs). However, due to the lack of prior knowledge on the distribution of critical scenarios in sampling space, we can hardly…

Robotics · Computer Science 2024-05-03 Jingwei Ge , Pengbo Wang , Cheng Chang , Yi Zhang , Danya Yao , Li Li

The development and deployment of Autonomous Vehicles (AVs) on our roads is not only realistic in the near future but can also bring significant benefits. In particular, it can potentially solve several problems relating to vehicles and…

Logic in Computer Science · Computer Science 2017-09-11 Lucas E. R. Fernandes , Vinicius Custodio , Gleifer V. Alves , Michael Fisher

Large vision-language models (VLMs) have garnered increasing interest in autonomous driving areas, due to their advanced capabilities in complex reasoning tasks essential for highly autonomous vehicle behavior. Despite their potential,…

Computer Vision and Pattern Recognition · Computer Science 2024-07-23 Ming Nie , Renyuan Peng , Chunwei Wang , Xinyue Cai , Jianhua Han , Hang Xu , Li Zhang

Scenario-based testing is a promising approach to solve the challenge of proving the safe behavior of vehicles equipped with automated driving systems. Since an infinite number of concrete scenarios can theoretically occur in real-world…

Software Engineering · Computer Science 2023-04-24 Nico Weber , Christoph Thiem , Ulrich Konigorski

To improve the security and robustness of autonomous driving models, this paper presents SMET, a scenariobased metamorphic testing tool for autonomous driving models. The metamorphic relationship is divided into three dimensions (time,…

Robotics · Computer Science 2021-04-09 Haiyang Ao , Ya Pan

With the rapid development of autonomous vehicles, there is an increasing demand for scenario-based testing to simulate diverse driving scenarios. However, as the base of any driving scenarios, road scenarios (e.g., road topology and…

Software Engineering · Computer Science 2024-12-02 Fan Yang , You Lu , Bihuan Chen , Peng Qin , Xin Peng

Approval of ADS depends on evaluating its behavior within representative real-world traffic scenarios. A common way to obtain such scenarios is to extract them from real-world data recordings. These can then be grouped and serve as basis on…

Computer Vision and Pattern Recognition · Computer Science 2026-05-12 Niklas Roßberg , Sinan Hasirlioglu , Mohamed Essayed Bouzouraa , Wolfgang Utschick , Michael Botsch

Many players in the automotive field support scenario-based assessment of automated vehicles (AVs), where individual traffic situations can be tested and, thus, facilitate concluding on the performance of AVs in different situations. Since…

Robotics · Computer Science 2024-08-28 Detian Guo , Manuel Muñoz Sánchez , Erwin de Gelder , Tom P. J. van der Sande

The research field of Agent-Oriented Software Engineering (AOSE) aims to find abstractions, languages, methodologies and toolkits for modeling, verifying, validating and prototyping complex applications conceptualized as Multiagent Systems…

Artificial Intelligence · Computer Science 2007-05-23 Viviana Mascardi , Maurizio Martelli , Leon Sterling

As self-driving systems become better, simulating scenarios where the autonomy stack may fail becomes more important. Traditionally, those scenarios are generated for a few scenes with respect to the planning module that takes ground-truth…

To operate safely, an automated vehicle (AV) must anticipate how the environment around it will evolve. For that purpose, it is important to know which prediction models are most appropriate for every situation. Currently, assessment of…

Artificial Intelligence · Computer Science 2022-10-14 Manuel Muñoz Sánchez , Jos Elfring , Emilia Silvas , René van de Molengraft

Currently, most existing approaches for the design of Automated Driving System (ADS) scenarios focus on the description at one particular abstraction level typically the most detailed one. This practice often removes information at higher…

Software Engineering · Computer Science 2021-09-14 Stefan Klikovits , Paolo Arcaini

The increasing levels of software- and data-intensive driving automation call for an evolution of automotive software testing. As a recommended practice of the Verification and Validation (V&V) process of ISO/PAS 21448, a candidate standard…

Software Engineering · Computer Science 2021-01-29 Markus Borg , Raja Ben Abdessalem , Shiva Nejati , Francois-Xavier Jegeden , Donghwan Shin

Closed-loop simulation environments play a crucial role in the validation and enhancement of autonomous driving systems (ADS). However, certain challenges warrant significant attention, including balancing simulation accuracy with duration,…

Robotics · Computer Science 2025-02-14 Daocheng Fu , Naiting Zhong , Xu Han , Pinlong Cai , Licheng Wen , Song Mao , Botian Shi , Yu Qiao

Simulative and scenario-based testing are crucial methods in the safety assurance for automated driving systems. To ensure that simulation results are reliable, the real world must be modeled with sufficient fidelity, including not only the…

Robotics · Computer Science 2026-05-14 Christian Geller , Daniel Becker , Jobst Beckmann , Lutz Eckstein

Real-world autonomous driving, particularly in urban environments with numerous corner cases, requires rigorous testing to ensure product safety and robustness. However, few studies have explored integrating adversarial scenario generation…

Robotics · Computer Science 2026-05-18 Chuancheng Zhang , Zhenhao Wang , Kaizheng Li , Yaran Lin , Qiang Guo , Bin Jiang

Scenario-based testing is becoming increasingly important in safety assurance for automated driving. However, comprehensive and sufficiently complete coverage of the scenario space requires significant effort and resources if using only…

Software Engineering · Computer Science 2023-07-24 Christoph Glasmacher , Michael Schuldes , Hendrik Weber , Nicolas Wagener , Lutz Eckstein