elib
DLR-Header
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
233kB

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

Abstract

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
Authors:
AuthorsInstitution or Email of AuthorsAuthor's ORCID iD
Hungar, HardiHardi.Hungar (at) dlr.dehttps://orcid.org/0000-0001-6777-0614
Date:2020
Refereed publication:Yes
Open Access:Yes
Gold Open Access:No
In SCOPUS:No
In ISI Web of Science:No
Volume:12478
DOI :10.1007/978-3-030-61467-6
Page Range:pp. 293-306
Editors:
EditorsEmailEditor's ORCID iD
Margaria, TizianaUNSPECIFIEDUNSPECIFIED
Steffen, BernhardUNSPECIFIEDUNSPECIFIED
Publisher:Springer
Series Name:Lecture Notes in Computer Science
ISBN:978-3-030-61467-6
Status:Published
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

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