elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Privacy Policy | Contact | Deutsch
Fontsize: [-] Text [+]

Towards Runtime Monitoring of Complex System Requirements for Autonomous Driving Functions

Grundt, Dominik and Köhne, Anna and Saxena, Ishan and Stemmer, Ralf and Westphal, Bernd and 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), pp. 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.

[img] PDF
1MB

Official URL: https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?FMAS2022.4

Abstract

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.

Item URL in elib:https://elib.dlr.de/188561/
Document Type:Conference or Workshop Item (Speech)
Title:Towards Runtime Monitoring of Complex System Requirements for Autonomous Driving Functions
Authors:
AuthorsInstitution or Email of AuthorsAuthor's ORCID iDORCID Put Code
Grundt, DominikUNSPECIFIEDhttps://orcid.org/0000-0002-8233-7429UNSPECIFIED
Köhne, AnnaUNSPECIFIEDhttps://orcid.org/0000-0002-8120-4915UNSPECIFIED
Saxena, IshanUNSPECIFIEDhttps://orcid.org/0000-0003-0575-4402141472021
Stemmer, RalfUNSPECIFIEDhttps://orcid.org/0000-0002-8302-7713UNSPECIFIED
Westphal, BerndUNSPECIFIEDhttps://orcid.org/0000-0002-6824-0567UNSPECIFIED
Möhlmann, EikeUNSPECIFIEDhttps://orcid.org/0000-0003-3815-6353UNSPECIFIED
Date:27 September 2022
Journal or Publication Title:4th International Workshop on Formal Methods for Autonomous Systems, FMAS 2022 and 4th International Workshop on Automated and Verifiable Software sYstem DEvelopment, ASYDE 2022
Refereed publication:Yes
Open Access:Yes
Gold Open Access:No
In SCOPUS:Yes
In ISI Web of Science:No
DOI:10.4204/EPTCS.371.4
Page Range:pp. 53-61
Editors:
EditorsEmailEditor's ORCID iDORCID Put Code
Luckcuck, MattUNSPECIFIEDUNSPECIFIEDUNSPECIFIED
Farrell, MarieUNSPECIFIEDUNSPECIFIEDUNSPECIFIED
Series Name:Electronic Proceedings in Theoretical Computer Science, EPTCS
ISSN:2075-2180
Status:Published
Keywords:Autonomous Driving Formal Methods Verification & Validation Complex System Requirements
Event Title:Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS)
Event Location:Berlin, Deutschland
Event Type:Workshop
Event Start Date:26 September 2022
Event End Date:27 September 2022
HGF - Research field:Aeronautics, Space and Transport
HGF - Program:Transport
HGF - Program Themes:Road Transport
DLR - Research area:Transport
DLR - Program:V ST Straßenverkehr
DLR - Research theme (Project):V - V&V4NGC - Methoden, Prozesse und Werkzeugketten für die Validierung & Verifikation von NGC, V - FuturePorts
Location: Oldenburg
Institutes and Institutions:Institute of Systems Engineering for Future Mobility
Institute of Systems Engineering for Future Mobility > Systems Theory and Design
Deposited By: Grundt, Dominik
Deposited On:25 Oct 2022 11:40
Last Modified:24 Apr 2024 20:49

Repository Staff Only: item control page

Browse
Search
Help & Contact
Information
electronic library is running on EPrints 3.3.12
Website and database design: Copyright © German Aerospace Center (DLR). All rights reserved.