Formalisation and algorithmic approach to the automated driving validation problem

Stellet, Jan Erik; Brade, Tino; Poddey, Alexander; Jesenski, Stefan; Branz, Wolfgang

doi:10.1109/ivs.2019.8813894

Cited by 11 publications

(5 citation statements)

References 1 publication

Supporting

Mentioning

Contrasting

Order By: Relevance

“…However, there is no reference to a method addressing specification insufficiencies. Such insufficiencies can be caused by missing knowledge of required behavior in the operational environment [52] and as a result can contribute to unreasonable risk inherited by the system. In this section, we propose such a method in order to contribute to a riskbased refinement of the functional specification and show the application of this method in an example scenario.…”

Section: Application Of the Risk Management Core To Specifying Behavi...mentioning

confidence: 99%

Risk Management Core—Toward an Explicit Representation of Risk in Automated Driving

Salem,

Kirschbaum,

Nolte

et al. 2024

IEEE Access

View full text Add to dashboard Cite

This work was supported by the German Federal Ministry for Economic Affairs and Climate Action within the PEGASUS Family project ''Verifikations-und Validierungsmethoden automatisierter Fahrzeuge im urbanen Umfeld (VVMethods)'', a Successor Project to the project ''Projekt zur Etablierung von generell akzeptierten Gütekriterien, Werkzeugen und Methoden sowie Szenarien und Situationen zur Freigabe hochautomatisierter Fahrfunktionen (PEGASUS)'' and ''Automatisierter Transport zwischen Logistikzentren auf Schnellstraßen im Level 4 (ATLAS-L4)''.

show abstract

Section: Application Of the Risk Management Core To Specifying Behavi...mentioning

confidence: 99%

Risk Management Core—Toward an Explicit Representation of Risk in Automated Driving

Salem,

Kirschbaum,

Nolte

et al. 2024

IEEE Access

View full text Add to dashboard Cite

show abstract

“…For example, some influential factors might be missing, or the models of some influential factors might be too simplified (e.g., using a constant speed model to represent the behavior of another vehicle). blueThis misalignment is part of the specification gap defined by Stellet et al [174]. Section 8.5 briefly discusses how to find and formulate influential factors.…”

Section: Coveragementioning

confidence: 99%

Finding Critical Scenarios for Automated Driving Systems: A Systematic Mapping Study

Zhang¹,

Tao²,

Tan

et al. 2023

IIEEE Trans. Software Eng.

View full text Add to dashboard Cite

Scenario-based approaches have been receiving a huge amount of attention in research and engineering of automated driving systems. Due to the complexity and uncertainty of the driving environment, and the complexity of the driving task itself, the number of possible driving scenarios that an Automated Driving System or Advanced Driving-Assistance System may encounter is virtually infinite. Therefore it is essential to be able to reason about the identification of scenarios and in particular critical ones that may impose unacceptable risk if not considered. Critical scenarios are particularly important to support design, verification and validation efforts, and as a basis for a safety case. In this paper, we present the results of a systematic mapping study in the context of autonomous driving. The main contributions are: (i) introducing a comprehensive taxonomy for critical scenario identification methods; (ii) giving an overview of the state-of-the-art research based on the taxonomy encompassing 86 papers between 2017 and 2020; and (iii) identifying open issues and directions for further research. The provided taxonomy comprises three main perspectives encompassing the problem definition (the why), the solution (the methods to derive scenarios), and the assessment of the established scenarios. In addition, we discuss open research issues considering the perspectives of coverage, practicability, and scenario space explosion.

show abstract

“…Thus, the primary challenge is to identify which scenarios are worth simulating. Existing approaches to scenario selection involve either hand-crafted databases of safetycritical situations or data-driven scenario generators trained on large amounts of passively collected real-world traffic data [32].…”

Section: Related Workmentioning

confidence: 99%

Anticipating Accidents through Reasoned Simulation

Innes

Ireland

Lin

et al. 2023

Proceedings of the First International Symposium on Trustworthy Autonomous Systems

View full text Add to dashboard Cite

A key goal of the System-Theoretic Process Analysis (STPA) hazard analysis technique is the identification of loss scenarios -causal factors that could potentially lead to an accident. We propose an approach that aims to assist engineers in identifying potential loss scenarios that are associated with flawed assumptions about a system's intended operational environment. Our approach combines aspects of STPA with formal modelling and simulation. Currently, we are at a proof-of-concept stage and illustrate the approach using a case study based upon a simple car door locking system. In terms of the formal modelling, we use Extended Logic Programming (ELP) and on the simulation side, we use the CARLA simulator for autonomous driving. We make use of the problem frames approach to requirements engineering to bridge between the informal aspects of STPA and our formal modelling. CCS CONCEPTS• Theory of computation → Logic and verification; Automated reasoning; • Computing methodologies → Model verification and validation.

show abstract

Formalisation and algorithmic approach to the automated driving validation problem

Cited by 11 publications

References 1 publication

Risk Management Core—Toward an Explicit Representation of Risk in Automated Driving

Risk Management Core—Toward an Explicit Representation of Risk in Automated Driving

Finding Critical Scenarios for Automated Driving Systems: A Systematic Mapping Study

Anticipating Accidents through Reasoned Simulation

Contact Info

Product

Resources

About