Research papers · 2022.09.27
Towards Runtime Monitoring of Complex System Requirements for Autonomous Driving Functions
Towards Runtime Monitoring of Complex System Requirements for Autonomous Driving Functions
Overview
This research preview formalizes complex driving requirements with Traffic Sequence Charts and separates spatial from temporal monitoring. Example runs demonstrate runtime verdicts, while generalized construction and practical performance remain open research questions.
Author-supplied source information
Author-supplied information on arXiv.
EPTCS 371, 2022, pp. 53-61
In Proceedings FMAS2022 ASYDE2022, arXiv:2209.13181
Version: arXiv v1 — manuscript revision