DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Privacy Policy | Contact | Deutsch
Fontsize: [-] Text [+]

A Concept of Scenario Space Exploration with Criticality Coverage Guarantees - Extended Abstract

Hungar, Hardi (2020) A Concept of Scenario Space Exploration with Criticality Coverage Guarantees - Extended Abstract. Springer. 9th Int. Symp. on Leveraging Applications of Formal Methods, ISoLA 2020, 20.-30. Okt. 2020, Rhodos, Griechenland. doi: 10.1007/978-3-030-61467-6. ISBN 978-3-030-61467-6.

[img] PDF

Official URL: https://doi.org/10.1007/978-3-030-61467-6\_19


Assuring the safety of an automated driving system is difficult, because a large, heterogeneous set of traffic situations has to be handled by the system. Systematic testing of the full system at the end of the development seems necessary to be able to reach the required level of assurance. In our approach, the set of potentially relevant, concrete test cases result by parameter instantiation from finitely many more abstract, so called logical scenarios. For nearly all interesting automation systems, even virtual testing via simulation can cover only a tiny fraction of this set of concrete test cases. Here we present an approach by which a selection of test cases can be shown to be sufficient to assert the system's safety. For that, we make reasonable assumptions about the system's inner workings, and about the way safety of a traffic situation can be captured mathematically. Based on these assumptions a criterion for test coverage is derived. This criterion can be used in a simulation procedure exploring the scenario space as a stop condition. If some additional conditions are met, the criterion is shown to imply sufficient coverage to assert safety of the system under test. We discuss the extent and limitation of the resulting guarantee. We plan to elaborate, implement, and demonstrate this procedure in the context of research projects which develop and apply simulation tools for the verification and validation of automated driving systems.

Item URL in elib:https://elib.dlr.de/137353/
Document Type:Conference or Workshop Item (Speech)
Additional Information:https://www.springerprofessional.de/a-concept-of-scenario-space-exploration-with-criticality-coverag/18522602
Title:A Concept of Scenario Space Exploration with Criticality Coverage Guarantees - Extended Abstract
AuthorsInstitution or Email of AuthorsAuthor's ORCID iD
Hungar, HardiHardi.Hungar (at) dlr.dehttps://orcid.org/0000-0001-6777-0614
Refereed publication:Yes
Open Access:Yes
Gold Open Access:No
In ISI Web of Science:No
DOI :10.1007/978-3-030-61467-6
Page Range:pp. 293-306
EditorsEmailEditor's ORCID iD
Series Name:Lecture Notes in Computer Science
Keywords:Safety testing, Automated driving system, Simulation, Scenario exploration
Event Title:9th Int. Symp. on Leveraging Applications of Formal Methods, ISoLA 2020
Event Location:Rhodos, Griechenland
Event Type:international Conference
Event Dates:20.-30. Okt. 2020
HGF - Research field:Aeronautics, Space and Transport
HGF - Program:Transport
HGF - Program Themes:Road Transport
DLR - Research area:Transport
DLR - Program:V ST Straßenverkehr
DLR - Research theme (Project):V - NGC KoFiF
Location: Braunschweig
Institutes and Institutions:Institute of Transportation Systems > Verification and Validation
Deposited By: Hungar, PD Dr. Hardi
Deposited On:16 Nov 2020 10:19
Last Modified:01 Dec 2021 03:00

Repository Staff Only: item control page

Help & Contact
electronic library is running on EPrints 3.3.12
Copyright © 2008-2017 German Aerospace Center (DLR). All rights reserved.