安全な自動運転に向けて：動作計画アルゴリズムのためのリアルタイム安全監視機構

- 自動運転車の motion planning モジュールの機能安全を目的とした、runtime での safeguarding 概念の提案。 - 既存の online verification を embedded real-time 環境へ統合する試み。 - 特に time safeguard を導入し、計画出力の時間的一貫性を監視する点が特徴。 - real-time operating system 上の prototypical implementation を提示。 - 軌道候補を constraint-based feasibility checks と cost-based plausibility metrics で評価する。

- 既存手法は geometric および dynamic feasibility の検証に焦点を当てている。 - 本研究はそれに加えて time safeguard を導入し、計画出力の temporal consistency を監視する。 - これにより timely system response の確保を狙う点が先行研究との差分。 - online verification の embedded real-time 環境への統合が限られていた点に対し、実装可能性を示す。 - modular かつ extensible な framework として位置づけている。

- motion planning の軌道候補に対し constraint-based feasibility checks を実施。 - 併せて cost-based plausibility metrics で軌道を評価。 - time safeguard により planning outputs の temporal consistency を監視。 - real-time operating system 上に prototypical implementation を構築。 - 安全性監視モジュールを modular で拡張可能な構成として設計。

- real-time operating system 上の prototypical implementation で評価。 - 軌道候補を constraint-based feasibility checks と cost-based plausibility metrics で評価。 - preliminary results として、safeguarding module が real-time bounds 内で動作することを確認。 - unsafe trajectories を効果的に検出できることを示した。 - time safeguard logic と fallback strategies の完全統合は進行中であり、今後の検証課題。

- time safeguard logic と fallback strategies の完全統合は未完了と明記。 - 現段階の結果は preliminary であり、限定的な評価。 - 今後の hardware-in-the-loop simulations および vehicle-based testing による有効性検証が必要。 - automotive-grade hardware への deployment に向けた要点を提示。 - 学習ベースを含む複雑なソフトウェアの安全性確保という課題に対する枠組みの議論。

- 本研究が拡張対象とする prior approaches（geometric/dynamic feasibility に基づく online verification 手法）。 - online verification に関する既存研究（要旨では個別論文名は不明）。 - hardware-in-the-loop simulation を用いた検証研究。 - vehicle-based testing による実車評価研究。 - 公開コード: https://github.com/TUM-AVS/motion-planning-supervisor に関連する実装・文献。