Formalisierung von Szenario-Klassen zur Absicherung automatisierter Fahrfunktionen

Um die Sicherheit automatisierter Fahrfunktion nachzuweisen, ist es erforderlich, systematisch alle potentiell kritischen Situationen zu erfassen, in welcher die Fahrfunktion im Betrieb zuverlässig agieren muss. Die hohe Anzahl der relevanten Situationen macht eine maschinelle Behandlung erforderlich. Deshalb müssen sie formalisiert beschrieben werden, so dass Testfälle automatisch abgeleitet werden können. Diese Arbeit stellt einen Ansatz für eine solche Formalisierung vor. Basis der Beschreibungen sind Manöver von Verkehrsteilnehmern, die zu Ablaufstrukturen zusammengesetzt werden. Die verschiedenen konkreten Ausprägungen der Ablaufstrukturen ergeben die Testfälle