Skip to main content
main-content
Top

Hint

Swipe to navigate through the chapters of this book

2018 | OriginalPaper | Chapter

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

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

Published in: Computer Safety, Reliability, and Security

Publisher: Springer International Publishing

share
SHARE

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.
Footnotes
1
Besides the prohibitively large computational complexity, this also requires an accurate, formal description of possible environments.
 
Literature
2.
go back to reference 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.
go back to reference 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.
go back to reference 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.
go back to reference 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.
go back to reference 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.
go back to reference 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.
go back to reference 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.
go back to reference 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.
go back to reference 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
Metadata
Title
Efficient Splitting of Test and Simulation Cases for the Verification of Highly Automated Driving Functions
Authors
Eckard Böde
Matthias Büker
Ulrich Eberle
Martin Fränzle
Sebastian Gerwinn
Birte Kramer
Copyright Year
2018
DOI
https://doi.org/10.1007/978-3-319-99130-6_10

Premium Partner