Abstract
This paper presents a new approach for safety verification of self-driving systems. A statistical approach to verification is often prohibitive, so a recent trend has been to consider synthetically generated scenarios based on predefined parameters. Instead of covering a large fraction of the parameter space, however, this paper proposes an approach that searches the parameter space systematically by means of an optimization procedure. The main goal is to find worst-case scenarios, also known as corner cases, as quickly as possible (‘pessimizer’). This may lead to a significant speed up of the safety verification process, and it may help with the identification of appropriate safety goals during the development process. To this end, a finite-horizon optimization problem is formulated in which a safety-critical performance measure is minimized. The optimization problem is strongly non-convex and high-dimensional and thus difficult to solve, as it may possess multiple local minima. A tailored evolutionary algorithm is described that iterates towards these local minima, which represent the desired corner cases. The working of the algorithm and the effectiveness of the pessimizer approach are demonstrated in a simulation study for a trajectory following controller. The underlying idea, however, generalizes to many control applications and other functions for safety-critical systems.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Amersbach, C., Winner, H.: Defining required and feasible test coverage for scenario-based validation of highly automated vehicles. In: IEEE Intelligent Transportation Systems Conference. Auckland, New Zealand (2019). https://doi.org/10.1109/ITSC.2019.8917534
Böhlander, M.: Design and Safety Analysis of an Emergency Brake System for an Autonomous Formula Car. Masters thesis, KTH Royal Insitute of Technology, Stockholm, Sweden (2018)
Boyd, S., Vandenberghe, L.: Convex Optimization. Cambridge University Press, Cambridge, United Kingdom (2004)
Br¨uggemann, H., Bremer, P.: Grundlagen Qualit¨atsmanagement. Springer, Berlin, Germany, 3rd edn. (2020)
Elishakoff, I., Haftka, R.T., Fang, J.: Structural design under bounded uncertainty – optimization with anti-optimization. Computers & Structures 53(6), 1401–1405 (1994). https://doi.org/10.1016/0045-7949(94)90405-7
Elishakoff, I., Ohsaki, M. (eds.): Optimization and Anti-Optimization of Structures under Uncertainty. Imperial College Press, London, United Kingdom (2010). https://doi.org/10.1142/p678
Gleirscher, M., Kugele, S.: Assurance of safety systems: A survey of design and argument patterns (2019), http://arxiv.org/abs/1902.05537
International Organization for Standardization: ISO 26262: Road Vehicles – Functional Safety – Parts 1-10 (2011)
International Organization for Standardization: ISO PAS 21448: Road vehicles – Safety of the Intended Functionality (2017)
Koopman, P., Wagner, M.: Challenges in autonomous vehicle testing and validation. SAE International Journal of Transportation Safety 4(1), 15–24 (2016). https://doi.org/10.4271/2016-01-0128
Koopman, P.,Wagner, M.: Toward a framework for highly automated vehicle safety validation. SAE Technical Paper (2018). https://doi.org/10.4271/2018-01-1071
Kramer, O., Ciaurri, D.E., Koziel, S.: Derivative-free optimization. In: et al., S.K. (ed.) Computational Optimization, Methods and Algorithms, pp. 61–83. Springer, Berlin, Germany (2011). https://doi.org/10.1007/978-3-642-20859-1 4
Mitschke, M., Wallentowitz, H.: Dynamik der Kraftfahrzeuge. Springer, Berlin, Germany, 4th edn. (2004)
Nocedal, J., Wright, S.J.: Numerical Optimization. Springer, New York (NY), United States, 2nd edn. (2006)
Obermaier, C., Riebl, R., Al-Bayati, A.H., Facchi, C., Khan, S.: Limitations of HIL test architectures for car2x communication devices and applications. In: ACM Computer Science in Cars Symposium. pp. 1–9. Kaiserslautern, Germany (2019). https://doi.org/10.1145/3359999.3360493
Rios, L.M., Sahinidis, N.V.: Derivative-free optimization: A review of algorithms and comparison of software implementations. Journal of Global Optimization 56(3), 1247–1293 (2017). https://doi.org/10.1007/s10898-012-9951-y
Schildbach, G.: On the application of ISO 26262 in control design for automated vehicles. In: Workshop on Safe Control of Autonomous Vehicles. pp. 74–82. Porto, Portugal (2018). https://doi.org/10.4204/EPTCS.269.7
Schmid, T.: Safety analysis for highly automated driving. In: IEEE International Symposium on Software Reliability Engineering. pp. 154–157. Memphis (TN), United States (2018). https://doi.org/10.1109/ISSREW.2018.000-7
Schuldt, F., Saust, F., Lichte, B., Maurer, M., Scholz, S.: Effiziente systematische Testgenerierung f¨ur Fahrerassistenzsysteme in virtuellen umgebungen. In: Automatisierungssysteme, Assistenzsysteme und eingebettete Systeme f¨ur Transportmittel. pp. 114–133. Braunschweig, Germany (2013)
Schwammberger, M.: An abstract model for proving safety of autonomous urban traffic. Theoretical Computer Science 744(5), 143–169 (2018). https://doi.org/10.1016/j.tcs.2018.05.028
Smirnov, F.: Design and Evaluation of Ethernet-based E/E-architectures for Latency- and Safety-critical Applications. Ph.D. dissertation, Friedrich-Alexander-Universität Erlangen-N¨urnberg, Erlangen, Germany (2019)
Society of Automotive Engineers (SAE): Taxonomy and definitions for terms related to driving automation systems for on-road motor vehicles. Available at https://www.sae.org/standards/content/j3016 201609/, Troy (MI), United States (September 2016)
Spanfelner, B., Richter, D., Ebel, S., Wilhelm, U., Branz, W., Patz, C.: Challenges in applying the ISO 26262 for driver assistance systems. available at http://www.ftm.mw.tum.de/uploads/media/28 Spanfelner.pdf (2013)
Talbi, E.G.: Metaheuristics – From Design to Implementation. John Wiley & Sons, Hoboken (NJ), United States (2009)
Wachenfeld, W., Winner, H.: The release of autonomous vehicles. In: et al., M.M. (ed.) Autonomous Driving – Technical, Legal, and Social Aspects, pp. 39–50. Springer, Berlin, Germany (2016). https://doi.org/10.1007/978-3-662-48847-8 21
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2021 Springer Fachmedien Wiesbaden GmbH, ein Teil von Springer Nature
About this paper
Cite this paper
Lubiniecki, T., Beer, S., Meisinger, A., Sellmann, F., Spannaus, P., Schildbach, G. (2021). Concept and Implementation of an Optimization-based Safety Verification Strategy for a Trajectory Following Controller. In: Bertram, T. (eds) Automatisiertes Fahren 2020. Proceedings. Springer Vieweg, Wiesbaden. https://doi.org/10.1007/978-3-658-34752-9_10
Download citation
DOI: https://doi.org/10.1007/978-3-658-34752-9_10
Published:
Publisher Name: Springer Vieweg, Wiesbaden
Print ISBN: 978-3-658-34751-2
Online ISBN: 978-3-658-34752-9
eBook Packages: Computer Science and Engineering (German Language)