English
Related papers

Related papers: On Scenario Formalisms for Automated Driving

200 papers

The development of new assessment methods for the performance of automated vehicles is essential to enable the deployment of automated driving technologies, due to the complex operational domain of automated vehicles. One contributing…

Artificial Intelligence · Computer Science 2024-08-28 E. de Gelder , J. -P. Paardekooper , A. Khabbaz Saberi , H. Elrofai , O. Op den Camp. , S. Kraines , J. Ploeg , B. De Schutter

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

We propose a formal treatment of scenarios in the context of a dialectical argumentation formalism for qualitative reasoning about uncertain propositions. Our formalism extends prior work in which arguments for and against uncertain…

Artificial Intelligence · Computer Science 2013-01-07 Peter McBurney , Simon Parsons

Ensuring and validating the safe operation of automated vehicles are key challenges for their market launch. Scenario-based development and test approaches are currently being pursued as possible solutions. An essential prerequisite for…

Software Engineering · Computer Science 2021-11-23 Markus Steimle , Till Menzel , Markus Maurer

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

Scenario-based approaches for the validation of highly automated driving functions are based on the search for safety-critical characteristics of driving scenarios using software-in-the-loop simulations. This search requires information…

Over recent decades, scenarios and scenario-based software/system engineering have been actively employed as essential tools to handle intricate problems, validate requirements, and support stakeholders' communication. However, despite the…

Software Engineering · Computer Science 2022-05-18 Young-Min Baek , Esther Cho , Donghwan Shin , Doo-Hwan Bae

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

Scenario-based testing has become a promising approach to overcome the complexity of real-world traffic for safety assurance of automated vehicles. Within scenario-based testing, a system under test is confronted with a set of predefined…

Software Engineering · Computer Science 2024-04-03 Christoph Glasmacher , Hendrik Weber , Lutz Eckstein

To test automated driving systems, we present a case study for finding critical scenarios in driving environments guided by formal specifications. To that aim, we devise a framework for critical scenario identification, which we base on…

Optimization and Control · Mathematics 2023-03-10 Adam Molin , Edgar A. Aguilar , Dejan Ničković , Mengjia Zhu , Alberto Bemporad , Hasan Esen

The introduction of automated vehicles without permanent human supervision demands a functional system description, including functional system boundaries and a comprehensive safety analysis. These inputs to the technical development can be…

Artificial Intelligence · Computer Science 2018-04-25 Gerrit Bagschik , Till Menzel , Markus Maurer

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

Verification and validation are major challenges for developing automated driving systems. A concept that gets more and more recognized for testing in automated driving is scenario-based testing. However, it introduces the problem of what…

Software Engineering · Computer Science 2022-05-18 Barbara Schütt , Marc Heinrich , Sonja Marahrens , J. Marius Zöllner , Eric Sax

Scenario generation is one of the essential steps in scenario-based testing and, therefore, a significant part of the verification and validation of driver assistance functions and autonomous driving systems. However, the term scenario…

Robotics · Computer Science 2023-07-25 Barbara Schütt , Joshua Ransiek , Thilo Braun , Eric Sax

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

For autonomous vehicles, safe navigation in complex environments depends on handling a broad range of diverse and rare driving scenarios. Simulation- and scenario-based testing have emerged as key approaches to development and validation of…

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 core obstacle towards a large-scale deployment of autonomous vehicles currently lies in the long tail of rare events. These are extremely challenging since they do not occur often in the utilized training data for deep neural networks.…

Robotics · Computer Science 2023-07-18 Daniel Bogdoll , Stefani Guneshka , J. Marius Zöllner

Ensuring the functional correctness and safety of autonomous vehicles is a major challenge for the automotive industry. However, exhaustive physical test drives are not feasible, as billions of driven kilometers would be required to obtain…

Software Engineering · Computer Science 2021-02-09 Barbara Schuett , Thilo Braun , Stefan Otten , Eric Sax

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