Die Einführung hochautomatisierter Fahrfunktionen verspricht einen Sicherheits- und Komfortgewinn, doch die Sicherheitsfreigabe bleibt weiterhin eine ungelöste Herausforderung. Hierbei besteht die Anforderung, dass die Einführung die Sicherheit im öffentlichen Straßenverkehr nicht mindert. Diese Dissertation befasst sich mit einem Hauptaspekt der Verkehrssicherheit: der Verkehrsregel\-konformität. Auch ein automatisiertes Fahrzeug muss sich an die bestehenden Verkehrsregeln halten. Die entwickelte Methode ermöglicht die automatisierte Prüfung der Verkehrsregelkonformität von automatisierten Fahrfunktionen.

Im ersten Teil der Arbeit wird der Stand der Technik zur Beschreibung und Formalisierung von Verhaltensvorgaben analysiert. Eine besondere Herausforderung stellen hierbei die, je nach Verkehrsregion, unterschiedlichen Verkehrsregeln dar. Mit bestehenden Ansätzen ist für jede Verkehrsregion bzw. sogar für einzelne Verkehrsbereiche eine eigene Beschreibung und Formalisierung der Verhaltensregeln nötig. Dies zeigt die Notwendigkeit, neue Ansätze zur Abstraktion und Übertragbarkeit der Verhaltensvorgaben zu entwickeln, um den Aufwand der Prüfung der Verkehrsregelkonformität zu senken. Die Kriterien der Regelkonformität sind in die Verhaltensvorgabe innerhalb der Funktionsspezifikation zu integrieren. Das Ziel dieser Arbeit ist die Entwicklung einer Methode zur Formalisierung von Grenzen der Verkehrsregelkonformität, um basierend darauf Versagenskriterien für Gesamtsystemtests zu definieren und anzuwenden.

Hierfür werden als Grundlage bestehende Verkehrsregeln analysiert, um zu identifizieren, welche Verhaltensvorgaben vom statischen Verkehrsumfeld vorgegeben werden. Darauf aufbauend wird eine zwischen Verkehrsbereichen übertragbare, semantische Beschreibung, welche die Grenzen der Verkehrsregelkonformität an das statische Verkehrsumfeld knüpft, entwickelt. Die Methode umfasst die Ableitung von Verhaltensattributen, aus denen die semantische Verhaltensbeschreibung aufgebaut wird. Diese Verhaltensattribute konstruieren den Verhaltensraum, der die Grenzen des gesetzlich legalen Verhaltens beschreibt. Weiterhin werden Verfahren zur automatisierten Ableitung von Verhaltensattributen aus hochgenauen Karten entwickelt, um somit die Verhaltensanforderung aus einer Operational Design Domain zu extrahieren. Es wird untersucht, welche Funktionalitäten ein automatisiertes Fahrzeug zum Einhalten von Verkehrsregeln bereitstellen muss. Die Verhaltensattribute werden formalisiert, um quantifizierbare Versagenskriterien der Verkehrsregelkonformität zu erhalten, die in automatisierten Tests verwendet werden können. Abschließend wird aufbauend auf dem Stand der Technik eine Teststrategie für den Nachweis der Verkehrsregelkonformität vorgestellt. Durch die explizite Verfügbarkeit der Verhaltensgrenzen ergibt sich ein Vorteil in der Einflussanalyse möglicher Eingangsparameter für Tests.

Abschließend wird die entwickelte Methode auf bestehendes Kartenmaterial sowie auf Versuchsfahrten mit einem automatisierten Fahrzeugprototyp angewendet, um die praktische Anwendbarkeit des Ansatzes sowie den resultierenden Erkenntnisgewinn über die Prüfung der Verkehrsregelkonformität zu untersuchen. Der entwickelte Ansatz ermöglicht, die Verhaltensvorgabe hinsichtlich Verkehrsregelkonformität als wesentlichen Bestandteil der Funktionsspezifikation unabhängig vom Einsatzgebiet zu beschreiben. Es wird belegt, dass der Ansatz in der Lage ist, die Verkehrsregelkonformität eines automatisierten Fahrzeuges in verschiedenen Testszenarien innerhalb eines Anwendungsgebietes zu prüfen. Durch die Anwendung der entwickelten Methodik konnten Unzulänglichkeiten im untersuchten Versuchsträger hinsichtlich Regelverständnis und -einhaltung identifiziert werden.