Towards Safe Autonomous Driving: A Real-Time Safeguarding Concept for Motion Planning Algorithms
Korbinian Moller, Rafael Neher, Marvin Seegert, Johannes Betz

TL;DR
This paper introduces a real-time safeguarding framework for autonomous vehicle motion planning that monitors temporal consistency and feasibility to ensure safety, operating within embedded systems and real-time constraints.
Contribution
It extends existing verification methods by adding a time safeguard that monitors temporal aspects of planning outputs for improved safety assurance.
Findings
Safeguarding module operates within real-time bounds.
Effectively detects unsafe trajectories.
Framework is modular and extensible for automotive hardware.
Abstract
Ensuring the functional safety of motion planning modules in autonomous vehicles remains a critical challenge, especially when dealing with complex or learning-based software. Online verification has emerged as a promising approach to monitor such systems at runtime, yet its integration into embedded real-time environments remains limited. This work presents a safeguarding concept for motion planning that extends prior approaches by introducing a time safeguard. While existing methods focus on geometric and dynamic feasibility, our approach additionally monitors the temporal consistency of planning outputs to ensure timely system response. A prototypical implementation on a real-time operating system evaluates trajectory candidates using constraint-based feasibility checks and cost-based plausibility metrics. Preliminary results show that the safeguarding module operates within…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAutonomous Vehicle Technology and Safety · Real-Time Systems Scheduling · Formal Methods in Verification
