Key points are not available for this paper at this time.
Ein Ansatz zur formalen Überprüfung der Sicherheit automatisierter Fahrzeuge wird vorgeschlagen. Aufgrund der Einzigartigkeit jeder Verkehrssituation überprüfen wir die Sicherheit online, d.h. während des Betriebs des Fahrzeugs. Die Überprüfung erfolgt durch die Vorhersage der Menge aller möglichen Belegungen des automatisierten Fahrzeugs und anderer Verkehrsteilnehmer auf der Straße. Um alle möglichen zukünftigen Szenarien zu erfassen, wenden wir die Erreichbarkeitsanalyse an, um alle möglichen Verhaltensweisen mathematischer Modelle unter Berücksichtigung unsicherer Eingaben (z.B. Sensorausfälle, Störungen) und teilweise unbekannter Anfangszustände zu berücksichtigen. Die Sicherheit wird in Bezug auf die modellierten Unsicherheiten und Verhaltensweisen garantiert, wenn die Belegung des automatisierten Fahrzeugs zu keiner Zeit die der anderen Verkehrsteilnehmer überschneidet. Die Anwendbarkeit des Ansatzes wird durch Testfahrten mit einem automatisierten Fahrzeug am Robotics Institute der Carnegie Mellon University demonstriert.
Althoff et al. (Tue,) untersuchten diese Frage.