Skip to main content
main-content

Tipp

Weitere Kapitel dieses Buchs durch Wischen aufrufen

2018 | OriginalPaper | Buchkapitel

Efficient Splitting of Test and Simulation Cases for the Verification of Highly Automated Driving Functions

verfasst von: Eckard Böde, Matthias Büker, Ulrich Eberle, Martin Fränzle, Sebastian Gerwinn, Birte Kramer

Erschienen in: Computer Safety, Reliability, and Security

Verlag: Springer International Publishing

share
TEILEN

Abstract

We address the question of feasibility of tests to verify highly automated driving functions by optimizing the trade-off between virtual tests for verifying safety properties and physical tests for validating the models used for such verification. We follow a quantitative approach based on a probabilistic treatment of the different quantities in question. That is, we quantify the accuracy of a model in terms of its probabilistic prediction ability. Similarly, we quantify the compliance of a system with its requirements in terms of the probability of satisfying these requirements. Depending on the costs of an individual virtual and physical test we are then able to calculate an optimal trade-off between physical and virtual tests, yet guaranteeing a probability of satisfying all requirements.
Fußnoten
1
Besides the prohibitively large computational complexity, this also requires an accurate, formal description of possible environments.
 
Literatur
2.
Zurück zum Zitat Kalra, N., Paddock, S.M.: Driving to safety: How many miles of driving would it take to demonstrate autonomous vehicle reliability? RAND Corp. 94, 182–193 (2016) Kalra, N., Paddock, S.M.: Driving to safety: How many miles of driving would it take to demonstrate autonomous vehicle reliability? RAND Corp. 94, 182–193 (2016)
3.
Zurück zum Zitat Stellet, J.E., Zofka, M.R., Schumacher, J., Schamm, T., Niewels, F., Zollner, J.M.: Testing of advanced driver assistance towards automated driving: a survey and taxonomy on existing approaches and open questions. In: 2015 IEEE 18th International Conference on Intelligent Transportation Systems (ITSC), pp. 1455–1462. IEEE (2015) Stellet, J.E., Zofka, M.R., Schumacher, J., Schamm, T., Niewels, F., Zollner, J.M.: Testing of advanced driver assistance towards automated driving: a survey and taxonomy on existing approaches and open questions. In: 2015 IEEE 18th International Conference on Intelligent Transportation Systems (ITSC), pp. 1455–1462. IEEE (2015)
4.
Zurück zum Zitat Hallerbach, S., Eberle, U., Köster, F.: Absicherungs- und Bewertungsmethoden für kooperative hochautomatisierte Fahrzeuge. In: AAET 2017, Braunschweig (2017) 369 Hallerbach, S., Eberle, U., Köster, F.: Absicherungs- und Bewertungsmethoden für kooperative hochautomatisierte Fahrzeuge. In: AAET 2017, Braunschweig (2017) 369
6.
Zurück zum Zitat Nentwig, M.: Untersuchungen zur Anwendung von computergenerierten Kamerabildern für die Entwicklung und den Test von Fahrerassistenzsystemen. Ph.D. thesis, Friedrich-Alexander-Universität Erlangen-Nürnberg (2014) Nentwig, M.: Untersuchungen zur Anwendung von computergenerierten Kamerabildern für die Entwicklung und den Test von Fahrerassistenzsystemen. Ph.D. thesis, Friedrich-Alexander-Universität Erlangen-Nürnberg (2014)
7.
Zurück zum Zitat Mauritz, M., Rausch, A., Schaefer, I.: Dependable ADAS by combining design time testing and runtime monitoring. In: 10th International Symposium on Formal Methods, FORMS/FORMAT 2014, pp. 28–37 (2014) Mauritz, M., Rausch, A., Schaefer, I.: Dependable ADAS by combining design time testing and runtime monitoring. In: 10th International Symposium on Formal Methods, FORMS/FORMAT 2014, pp. 28–37 (2014)
8.
Zurück zum Zitat Schuldt, F., Menzel, T., Maurer, M.: Eine Methode für die Zuordnung von Testfällen für automatisierte Fahrfunktionen auf X-in-the-Loop Verfahren im modularen virtuellen Testbaukasten. In: 10. Workshop Fahrerassistenzsysteme, p. 171 (2015) Schuldt, F., Menzel, T., Maurer, M.: Eine Methode für die Zuordnung von Testfällen für automatisierte Fahrfunktionen auf X-in-the-Loop Verfahren im modularen virtuellen Testbaukasten. In: 10. Workshop Fahrerassistenzsysteme, p. 171 (2015)
9.
Zurück zum Zitat Clopper, C.J., Pearson, E.S.: The use of confidence or fiducial limits illustrated in the case of the binomial. Biometrika 26(4), 404–413 (1934) CrossRef Clopper, C.J., Pearson, E.S.: The use of confidence or fiducial limits illustrated in the case of the binomial. Biometrika 26(4), 404–413 (1934) CrossRef
10.
Zurück zum Zitat Ammersbach, C., Winner, H.: Functional decomposition: an approach to reduce the approval effort for highly automated driving. In: 8. Tagung Fahrerassistenz (2017) Ammersbach, C., Winner, H.: Functional decomposition: an approach to reduce the approval effort for highly automated driving. In: 8. Tagung Fahrerassistenz (2017)
11.
Zurück zum Zitat Hallerbach, S., Xia, Y., Eberle, U., Koester, F.: Simulation-based identification of critical scenarios for cooperative and automated vehicles. In: SAE International WCX World Congress Experience, April 2018 Hallerbach, S., Xia, Y., Eberle, U., Koester, F.: Simulation-based identification of critical scenarios for cooperative and automated vehicles. In: SAE International WCX World Congress Experience, April 2018
Metadaten
Titel
Efficient Splitting of Test and Simulation Cases for the Verification of Highly Automated Driving Functions
verfasst von
Eckard Böde
Matthias Büker
Ulrich Eberle
Martin Fränzle
Sebastian Gerwinn
Birte Kramer
Copyright-Jahr
2018
DOI
https://doi.org/10.1007/978-3-319-99130-6_10

Premium Partner