Grundt, Dominik und Köhne, Anna und Saxena, Ishan und Stemmer, Ralf und Westphal, Bernd und Möhlmann, Eike (2022) Towards Runtime Monitoring of Complex System Requirements for Autonomous Driving Functions. In: 4th International Workshop on Formal Methods for Autonomous Systems, FMAS 2022 and 4th International Workshop on Automated and Verifiable Software sYstem DEvelopment, ASYDE 2022 (371), Seiten 53-61. Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS), 2022-09-26 - 2022-09-27, Berlin, Deutschland. doi: 10.4204/EPTCS.371.4. ISSN 2075-2180.
![]() |
PDF
1MB |
Offizielle URL: https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?FMAS2022.4
Kurzfassung
Autonomous driving functions (ADFs) in public traffic have to comply with complex system requirements that are based on knowledge of experts from different disciplines, e.g., lawyers, safety experts, psychologists. In this paper, we present a research preview regarding the validation of ADFs with respect to such requirements. We investigate the suitability of Traffic Sequence Charts (TSCs) for the formalization of such requirements and present a concept for monitoring system compliance during validation runs. We find TSCs, with their intuitive visual syntax over symbols from the traffic domain, to be a promising choice for the collaborative formalization of such requirements. For an example TSC, we describe the construction of a runtime monitor according to our novel concept that exploits the separation of spatial and temporal aspects in TSCs, and successfully apply the monitor on exemplary runs. The monitor continuously provides verdicts at runtime, which is particularly beneficial in ADF validation, where validation runs are expensive. The next open research questions concern the generalization of our monitor construction, the identification of the limits of TSC monitorability, and the investigation of the monitor's performance in practical applications. Perspectively, TSC runtime monitoring could provide a useful technique in other emerging application areas such as AI training, safeguarding ADFs during operation, and gathering meaningful traffic data in the field.
elib-URL des Eintrags: | https://elib.dlr.de/188561/ | ||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Dokumentart: | Konferenzbeitrag (Vortrag) | ||||||||||||||||||||||||||||
Titel: | Towards Runtime Monitoring of Complex System Requirements for Autonomous Driving Functions | ||||||||||||||||||||||||||||
Autoren: |
| ||||||||||||||||||||||||||||
Datum: | 27 September 2022 | ||||||||||||||||||||||||||||
Erschienen in: | 4th International Workshop on Formal Methods for Autonomous Systems, FMAS 2022 and 4th International Workshop on Automated and Verifiable Software sYstem DEvelopment, ASYDE 2022 | ||||||||||||||||||||||||||||
Referierte Publikation: | Ja | ||||||||||||||||||||||||||||
Open Access: | Ja | ||||||||||||||||||||||||||||
Gold Open Access: | Nein | ||||||||||||||||||||||||||||
In SCOPUS: | Ja | ||||||||||||||||||||||||||||
In ISI Web of Science: | Nein | ||||||||||||||||||||||||||||
DOI: | 10.4204/EPTCS.371.4 | ||||||||||||||||||||||||||||
Seitenbereich: | Seiten 53-61 | ||||||||||||||||||||||||||||
Herausgeber: |
| ||||||||||||||||||||||||||||
Name der Reihe: | Electronic Proceedings in Theoretical Computer Science, EPTCS | ||||||||||||||||||||||||||||
ISSN: | 2075-2180 | ||||||||||||||||||||||||||||
Status: | veröffentlicht | ||||||||||||||||||||||||||||
Stichwörter: | Autonomous Driving Formal Methods Verification & Validation Complex System Requirements | ||||||||||||||||||||||||||||
Veranstaltungstitel: | Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) | ||||||||||||||||||||||||||||
Veranstaltungsort: | Berlin, Deutschland | ||||||||||||||||||||||||||||
Veranstaltungsart: | Workshop | ||||||||||||||||||||||||||||
Veranstaltungsbeginn: | 26 September 2022 | ||||||||||||||||||||||||||||
Veranstaltungsende: | 27 September 2022 | ||||||||||||||||||||||||||||
HGF - Forschungsbereich: | Luftfahrt, Raumfahrt und Verkehr | ||||||||||||||||||||||||||||
HGF - Programm: | Verkehr | ||||||||||||||||||||||||||||
HGF - Programmthema: | Straßenverkehr | ||||||||||||||||||||||||||||
DLR - Schwerpunkt: | Verkehr | ||||||||||||||||||||||||||||
DLR - Forschungsgebiet: | V ST Straßenverkehr | ||||||||||||||||||||||||||||
DLR - Teilgebiet (Projekt, Vorhaben): | V - V&V4NGC - Methoden, Prozesse und Werkzeugketten für die Validierung & Verifikation von NGC, V - FuturePorts | ||||||||||||||||||||||||||||
Standort: | Oldenburg | ||||||||||||||||||||||||||||
Institute & Einrichtungen: | Institut für Systems Engineering für zukünftige Mobilität Institut für Systems Engineering für zukünftige Mobilität > Systems Theory and Design | ||||||||||||||||||||||||||||
Hinterlegt von: | Grundt, Dominik | ||||||||||||||||||||||||||||
Hinterlegt am: | 25 Okt 2022 11:40 | ||||||||||||||||||||||||||||
Letzte Änderung: | 24 Apr 2024 20:49 |
Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags