Towards Runtime Monitoring of Complex System Requirements for Autonomous Driving Functions

09/28/2022
by   Dominik Grundt, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
01/10/2023

Simulation-based Validation for Autonomous Driving Systems

Simulation is essential to validate autonomous driving systems. However,...
research
08/06/2019

Runtime Monitoring of Real time Safety Requirements in Smart Cities

There is an increasing need for the runtime monitoring of real time safe...
research
07/12/2023

Connected Dependability Cage Approach for Safe Automated Driving

Automated driving systems can be helpful in a wide range of societal cha...
research
05/22/2022

Monitoring of Perception Systems: Deterministic, Probabilistic, and Learning-based Fault Detection and Identification

This paper investigates runtime monitoring of perception systems. Percep...
research
11/24/2020

Provably-Robust Runtime Monitoring of Neuron Activation Patterns

For deep neural networks (DNNs) to be used in safety-critical autonomous...
research
07/07/2020

Monitoring Robotic Systems using CSP: From Safety Designs to Safety Monitors

Runtime Verification (RV) involves monitoring a system to check if it sa...
research
11/09/2021

RTLola on Board: Testing Real Driving Emissions on your Phone

This paper is about shipping runtime verification to the masses. It pres...

Please sign up or login with your details

Forgot password? Click here to reset