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.
This research was partially funded by the German Federal Ministry for Economic Affairs and Energy, Grant No. 19A18017 B (SET Level 4 to 5), based on a decision by the Parliament of the Federal Republic of Germany. The responsibility for the content lies with the author.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
It may be noted that the validity of the simulation results themselves is outside the scope of the guarantee. A fortiori, the assumption on simulation adequacy is even strengthening the validity requirement.
References
ASAM e. V.: Von OpenDRIVE 1.6.0. https://www.asam.net/standards/detail/opendrive/abgerufen
ASAM e. V.: OpenSCENARIO 1.0.0. https://www.asam.net/standards/detail/openscenario/. Accessed 13 Mar 2020
Hungar, H.: Scenario-based validation of automated driving systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11246, pp. 449–460. Springer, Cham (2018). https://doi.org/10.1007/978-3-030-03424-5_30
PEGASUS Project. (kein Datum). Abgerufen. https://www.pegasusprojekt.de/. Accessed 15 June 2020
SAE International: Surface Vehicle Recommended Practice: Taxonomy and Definitions for Terms Related to Driving Automation Systems for On_Road Motor Vehicles J3016-Jun2018 (2018)
Ulbrich, S., Menzel, T., Reschka, A., Schuldt, F., Maurer, M.: Defining and substantiating the terms scene, situation and scenario for automated driving. In: IEEE International Annual Conference on Intelligent Transportation Systems (ITSC) (2015)
Várhelyi, A., Laureshyn, A.: The SwedishTraffic Conflict Technique v. 1.0. (Lund University, Hrsg.) Von http://www.tft.lth.se/fileadmin/tft/images/Update_2018/Swedish_TCT_Manual.pdf. Accessed Apr 2018
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Hungar, H. (2020). A Concept of Scenario Space Exploration with Criticality Coverage Guarantees. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation: Applications. ISoLA 2020. Lecture Notes in Computer Science(), vol 12478. Springer, Cham. https://doi.org/10.1007/978-3-030-61467-6_19
Download citation
DOI: https://doi.org/10.1007/978-3-030-61467-6_19
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-61466-9
Online ISBN: 978-3-030-61467-6
eBook Packages: Computer ScienceComputer Science (R0)