Konferenzbeitrag
Beweisbare Eigenschaften autonomer Fahrmanöver im Stadtverkehr
Lade...
Volltext URI
Dokumententyp
Text/Conference Paper
Zusatzinformation
Datum
2021
Autor:innen
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Verlag
Gesellschaft für Informatik e.V.
Zusammenfassung
Seit einigen Jahren erobern (teil-) autonome Fahrzeuge oder Fahrassistenzsysteme zunehmend die Märkte. Um Fehlfunktionen und Unfällen mit autonomen Fahrzeugen vorzubeugen, ist es von großer Bedeutung die korrekte Funktionsweise solcher Systeme sicherzustellen. In meiner Dissertation untersuche ich daher eine Formalisierung wünschenswerter und gesellschaftlich geforderter Eigenschaften autonomer Fahrmanöver im Stadtverkehr. Eine solche Eigenschaft ist beispielsweise die Sicherheit eines Abbiegemanövers an einer Kreuzung. Um diese Eigenschaften beweisbar zu machen, schlage ich eine Abstraktion realer Straßenverkehrssituationen vor, welche möglichst viele verschiedene Situationen abdecken kann. In diesem abstrakten Modell weise ich durch logische Schluss- folgerungen und mit Hilfe einer Implementierung die wünschenswerten Eigenschaften der von mir entwickelten Kreuzungs-Controller nach.