English
Related papers

Related papers: Declarative Scenario-based Testing with RoadLogic

200 papers

The homologation of automated vehicles, being safety-critical complex systems, requires sound evidence for their safe operability. Traditionally, verification and validation activities are guided by a combination of ISO 26262 and ISO/PAS…

Software Engineering · Computer Science 2020-05-12 Christian Neurohr , Lukas Westhofen , Tabea Henning , Thies de Graaff , Eike Möhlmann , Eckard Böde

The verification and validation of autonomous driving vehicles remains a major challenge due to the high complexity of autonomous driving functions. Scenario-based testing is a promising method for validating such a complex system.…

Robotics · Computer Science 2023-04-24 Maximilian Zipfl , Nina Koch , J. Marius Zöllner

Scenario-based development and test processes are a promising approach for verifying and validating automated driving functions. For this purpose, scenarios have to be generated during the development process in a traceable manner. In early…

Software Engineering · Computer Science 2019-05-13 Till Menzel , Gerrit Bagschik , Leon Isensee , Andre Schomburg , Markus Maurer

The development of software components for autonomous driving functions should always include an extensive and rigorous evaluation. Since real-world testing is expensive and safety-critical -- especially when facing dynamic racing scenarios…

Robotics · Computer Science 2020-06-18 Tim Stahl , Johannes Betz

Scenario-based testing is envisioned as a key approach for the safety assurance of autonomous vehicles. In scenario-based testing, relevant (driving) scenarios are the basis of tests. Many recent works focus on specification, variation,…

Software Engineering · Computer Science 2023-07-12 Till Schallau , Stefan Naujokat , Fiona Kullmann , Falk Howar

Automated Driving Systems (ADSs) have seen rapid progress in recent years. To ensure the safety and reliability of these systems, extensive testings are being conducted before their future mass deployment. Testing the system on the road is…

Software Engineering · Computer Science 2021-12-03 Ziyuan Zhong , Yun Tang , Yuan Zhou , Vania de Oliveira Neves , Yang Liu , Baishakhi Ray

The development of Autonomous Vehicles (AVs) has made significant progress in the last years. An important aspect in the development of AVs is the assessment of their safety. New approaches need to be worked out. Among these, real-world…

Robotics · Computer Science 2020-12-03 Erwin de Gelder , Olaf Op den Camp

We present a new approach to automated scenario-based testing of the safety of autonomous vehicles, especially those using advanced artificial intelligence-based components, spanning both simulation-based evaluation as well as testing in…

Systems and Control · Electrical Eng. & Systems 2020-07-14 Daniel J. Fremont , Edward Kim , Yash Vardhan Pant , Sanjit A. Seshia , Atul Acharya , Xantha Bruso , Paul Wells , Steve Lemke , Qiang Lu , Shalin Mehta

The safety and reliability of Automated Driving Systems (ADSs) must be validated prior to large-scale deployment. Among existing validation approaches, scenario-based testing has been regarded as a promising method to improve testing…

Software Engineering · Computer Science 2026-01-05 Yongqi Zhao , Ji Zhou , Dong Bi , Tomislav Mihalj , Jia Hu , Arno Eichberger

Simulation is essential to validate autonomous driving systems. However, a simple simulation, even for an extremely high number of simulated miles or hours, is not sufficient. We need well-founded criteria showing that simulation does…

Software Engineering · Computer Science 2023-01-24 Changwen Li , Joseph Sifakis , Qiang Wang , Rongjie Yan , Jian Zhang

This paper summarizes our formal approach to testing autonomous vehicles (AVs) in simulation for the IEEE AV Test Challenge. We demonstrate a systematic testing framework leveraging our previous work on formally-driven simulation for…

Software Engineering · Computer Science 2021-09-01 Kesav Viswanadha , Francis Indaheng , Justin Wong , Edward Kim , Ellen Kalvan , Yash Pant , Daniel J. Fremont , Sanjit A. Seshia

The selection of relevant test scenarios for the scenario-based testing and safety validation of automated driving systems (ADSs) remains challenging. An important aspect of the relevance of a scenario is the challenge it poses for an ADS.…

Software Engineering · Computer Science 2024-04-17 Lennart Vater , Sven Tarlowski , Michael Schuldes , Lutz Eckstein

Behavior prediction remains one of the most challenging tasks in the autonomous vehicle (AV) software stack. Forecasting the future trajectories of nearby agents plays a critical role in ensuring road safety, as it equips AVs with the…

Artificial Intelligence · Computer Science 2021-11-16 Francis Indaheng , Edward Kim , Kesav Viswanadha , Jay Shenoy , Jinkyu Kim , Daniel J. Fremont , Sanjit A. Seshia

Ensuring the safety and reliability of Automated Driving Systems (ADS) remains a critical challenge, as traditional verification methods such as large-scale on-road testing are prohibitively costly and time-consuming.To address…

Software Engineering · Computer Science 2025-12-18 Ji Zhou , Yongqi Zhao , Yixian Hu , Hexuan Li , Zhengguo Gu , Nan Xu , Arno Eichberger

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

Autonomous driving (AD) testing constitutes a critical methodology for assessing performance benchmarks prior to product deployment. The creation of segmented scenarios within a simulated environment is acknowledged as a robust and…

Software Engineering · Computer Science 2025-03-06 Xuan Cai , Xuesong Bai , Zhiyong Cui , Danmu Xie , Daocheng Fu , Haiyang Yu , Yilong Ren

Autonomous vehicles (AVs) require extensive testing in simulation, but test case generation for driving scenarios is laborious. The desired scenarios are often out-of-distribution and have precise requirements on interactions with the AV…

Robotics · Computer Science 2026-05-11 Frieda Rong , Chris Zhang , Kelvin Wong , Raquel Urtasun

Autonomous Driving (AD) systems demand the high levels of safety assurance. Despite significant advancements in AD demonstrated on open-source benchmarks like Longest6 and Bench2Drive, existing datasets still lack regulatory-compliant…

Robotics · Computer Science 2025-05-21 Jingzheng Li , Tiancheng Wang , Xingyu Peng , Jiacheng Chen , Zhijun Chen , Bing Li , Xianglong Liu

Testing autonomous vehicles (AVs) requires complex oracles to determine if the AVs behavior conforms with specifications and humans' expectations. Available open source oracles are tightly embedded in the AV simulation software and are…

Software Engineering · Computer Science 2020-06-19 Ana Nora Evans , Mary Lou Soffa , Sebastian Elbaum

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
‹ Prev 1 2 3 10 Next ›