自動運転車(AV)はセンサーによって成り立っています。カメラ、LiDAR、レーダーは車両の“目と耳”として機能し、環境理解のために必要なデータを認識システムへ提供します。もしセンサーが誤作動したり、車載ソフトウェアがそれを誤解したりすれば、安全性が危険にさらされます。センサー性能やセンサーデータの(機能)安全性を現実世界のテストだけで保証するのはコストが非常に高くつきます。だからこそ、高忠実度なセンサーシミュレーションはもはや“オプション”ではありません。AV/ADAS システムを検証するための業界標準となっています。

センサーシミュレーションが不可欠な理由

長年、自動車業界は実走行テストにほぼ全面的に依存してきました。多様な天候、光、交通状況を収集するために、冬のテストにはドイツからフィンランド、またはデトロイトからカナダへ、暑い天候のてすとにはスペインやアリゾナへと何台もの車両が走行を行いました。この方法は、時間がかかり、費用が高く、不完全です。重要なシナリオの多くは発生頻度が低く、テスト車両では十分に収集できないこともあります。

この問題は、Tesla や Wayve が取り組むようなエンドツーエンド AI モデルの普及に伴いさらに大きくなっています。こうしたモデルはコンポーネントごとに検証することができず、センサーを含むフルスタックでのトレーニングとテストが必要になります。コストと開発期間を現実的に保つには、トレーニングとテストの大部分をシミュレーションに移行する必要があります。

従来のトレーニング/テストデータの限界

現実の走行データには多くの隠れた非効率性が伴います。

  • センサーの種類や取付位置が変わると、それまでのデータが無効になる
  • “LiDAR をルーフに載せる?” “バンパーに隠す?” といった議論が根拠不足で停滞
  • 変更のたびに同様の高コストの走行距離を再収集する必要がある

一方、シミュレーションであれば 同じシナリオを新しい条件で即座に再実行 できます。これは開発スピードを加速させ、設計上のトレードオフを迅速に解決するために極めて重要です。

センサーシミュレーションの優位性

高忠実度センサーシミュレーションは実走行では不可能な優位性を提供します:

  • 早期検証:フロントエンド設計が固まる前に仮想センサー配置を検証
  • テスト再利用:センサー構成が変わっても同じシナリオで再テスト可能
  • 設計の柔軟性:取付位置をバーチャルに比較して技術・デザイン要件の両立を支援
  • スケーラビリティ:低コストで圧倒的なテスト量を実現し、開発期間を短縮

最も重要なのは、センサーシミュレーションは単なる代替手段ではなく、現代の開発に必要なスピードと規模を唯一実現できる方法だということです。

センサー毎の相違(シミュレーションを困難にする要因)

各センサーは全く異なる動作特性を持ち、それがシミュレーションの難しさにつながります。

カメラ

  • 比較的シミュレーションしやすいが、リアリズムと計算性能が鍵
  • 眩光、霧、雨、反射などを“自然に”表現しなければ CV モデルは騙せない

LiDAR

  • 時間 flight / FMCW により高密度点群を生成
  • ノイズ・雨雪・波長依存の挙動の忠実再現が必要

レーダー

  • 最も複雑
  • ガードレール、濡れた路面、壁による多重反射が“ゴーストターゲット”を生成
  • これが追跡アルゴリズムを混乱させる
  • 高忠実度レーダーシミュレーションには極めて深いセンサーモデルが必要

Foretellix + NVIDIA:完全なツールチェーン

Foretellix の Foretify プラットフォームは、AI 駆動 AV スタックのトレーニング・検証・安全性評価のための Physical AI ツールチェーン です。

  • Foretify Generate:ODD をまたぐエッジケースを含む大規模な合成データ生成
  • Foretify Evaluate:現実世界の走行データとシミュレーション結果を統合し、カバレッジギャップを特定

さらに:

  • NVIDIA Omniverse、NuRec、Cosmos と統合
    → カメラ、LiDAR、レーダーの高忠実度センサーモデル
    → ログ走行データの“神経再構成(neural reconstruction)”により
    編集・再利用可能な仮想シーンへ変換
    → 天候、周囲車両、センサー配置などを変化させて再シミュレーション可能

これらを組み合わせることで、AV 開発者は トレーニングとテストを統合したデータ駆動型開発 を実現できます。

今後の展望

センサーシミュレーションはまだ普及初期ですが、
5 年以内にすべての自動車メーカーが日常的に利用するようになる と予測されます。

忠実度も急速に向上しており、多くのエッジケースが既にシミュレーション可能です。物理走行が完全になくなることはありませんが、訓練と検証の大部分は仮想空間へ移行するでしょう。

コスト圧力の増大、開発期間の短縮、エンドツーエンド AI への移行を背景に、
高忠実度センサーシミュレーションは不可欠な技術 となりました。

著者について

Sebastian Klaas – Foretellix プロダクトマネジメントディレクター
 Audi、Luminar、Samsung Semiconductor にて上級技術職を歴任。
KIT(カールスルーエ工科大学)でコンピュータサイエンスを専攻。

 

 

自動運転業界では、高精度地図(HDマップ)からリアルタイムの知覚ベース・ナビゲーションへの移行が進んでいます。しかし、この変化は開発チームにとって重要な課題をもたらしています。というのも、現在使用されているシミュレーションやバリデーションのツールは依然として詳細なマップを必要とする一方で、それらのマップは維持コストが高く、実用性を失いつつあるからです。

 

本記事では、車両認識データからのマップを自動生成する技術が、この課題をどのように解決できるのかを探ります。この技術により、AV チームは従来の HD マッピング運用の負荷をかけずに、走行ログから高品質なマップを直接生成できます。マップレス走行を可能にするのと同じ認識データを活用することで、実際の自動運転と開発環境のインフラ要件とのギャップを埋めることが可能になります。

 

HD マップからの移行

 

これまで、自動運転アプリケーションは高精度地図(HDマップ)に大きく依存していました。HD マップは AV 車両のフリート間で共有され、走行中に取得したデータによって更新されることもありました。

 

現在、AV 業界では HD マップからの脱却を進めています。代わりに、AV のセンサーと知覚パイプラインが車両周辺を詳細に表現する一時的な“ローカルマップ”を生成します。これには、走行可能領域、レーンライン、車線標示、交通標識などが含まれます。このマップは車両が走行するたびに繰り返し生成されます。そして重要な点として、この方式はリアルタイムネットワーク、フリート、リモートサーバーの存在を前提としません。

 

この傾向には複数の要因があります:

 

・AV センサーと認識アルゴリズムの精度が向上し、一時的なローカルマップを十分に生成できるようになった

 

・HD マップの作成・維持・共有はコストが高く、展開地域の拡大とともに経済的に持続困難となった

 

・HD マップ情報と認識データの融合は特に end-to-end ML スタックでは困難

 

AV は HD マップなしでも走行できるようになったが、開発環境では依然としてマップが必要

 

シミュレーター、監視ツール、検索・評価ツールはマップを必要とします。そのため AV 開発チームは、テスト走行が行われる地域のマップを作り続けていますが、これはコストと時間がかかり、縮小しつつあります。

 

高精度地図が不足するという問題

 

マップが必要である以上、自動で“十分に詳細なマップ”を生成できないだろうか?

自動運転に使用される認識データが十分高品質なら、そのデータから AV のルートの詳細マップを生成できるはずです。

 

Foretellix はまさにそのための技術を開発しました。

 

私たちのマッピングパイプラインへの入力は 記録された走行ログ です。ただし、すべてのセンサーデータや AV スタックの信号を完全に記録するのではなく、知覚パイプラインが生成した抽象化された情報を使用します。これには以下が含まれます:

 

・AV のグローバル位置

 

・走行可能領域の境界、道路線形、レーン標示

 

・道路標識、信号機、停止線や矢印などの路面標示

 

・その他の道路属性(例)

 

‐レーン用途:自転車レーン、一般車レーン、歩道など

 

‐路面素材:アスファルト、コンクリート、砂利など

 

‐アクセス制限:有料道路、私道など

 

これらの情報は AV スタックの各サイクル(通常 20〜100 ミリ秒ごと)で取得されます。

理論上、この情報を時間方向に統合すれば AV の走行ルートの詳細マップが生成できるはずです。

 

しかし、実際にはマップとして利用する前に解決すべき課題が多数あります。

 

入力データの品質課題

 

入力データは常に正確とは限らず、利用できない場合もあります。品質を左右する要因には以下があります:

 

センサーノイズ、誤差、干渉(例:光の反射)

 

遮蔽によりシーンの一部が欠落

 

不十分または存在しない道路標示

 

認識誤り(例:路面の影を停止線と誤認)

 

時系列での不整合(例:あるフレームで認識された標識が他のフレームで消える)

 

データ品質を補正する技術

 

マッピングパイプラインは複数の戦略を用いてこれらの問題を克服します。

 

  1. 時間統合による補完

 

データは時間方向に積み重なるため、シーン内の多くの要素は何度も観測されます。

レーン境界線はほとんどのフレームに存在するため、欠落部分があっても補間により埋めることができます。

 

  1. 不完全な知覚データへの補正アルゴリズム

 

システムは構造的不変量や文脈的推論を利用して欠損を補います。

 

例:

 

車線標示が欠落した区間では、隣接区間を分析して車線数や車線幅を推測し、欠落部分を補間

 

大型車両が長時間視界を遮る場合でも、

→「その車が走行しているという事実」から車線の存在を推論

 

図 1:走行ログから詳細マップへの構築パイプライン

 

(※原文に図あり)

 

走行範囲の拡張と地図統合

 

走行ログは AV が実際に走行した範囲のみをカバーします。しかし、シミュレーションにおいては、交差点に他車両を追加するなど、ログの周辺領域が必要になる場合があります。

 

Foretellix の Smart Replay はシーンのバリエーションを生成でき、そのためには交差道路などより広いマップが必要です。

 

幸い、多くの AV テストは複数車両で同一地域を複数回走行します。マッピングパイプラインは以下の利点を持つ マップ統合(フュージョン) を行います:

 

  1. マップ品質の向上

 

複数の走行が重なることで情報が強化され、1 回の走行の欠陥が他の走行データで補われます。

結果として、より完全で信頼性の高いマップが得られます。

 

  1. 広域マップの生成

 

複数の走行マップを縫い合わせることで広範囲の統合マップが生成され、

必要に応じて ROI(関心領域)に切り出して利用できます。

 

図 2:ドライブログの融合によりマップ範囲と精度を向上させるマップサービス

 

(※原文に図あり)

 

まとめ

 

AV 開発ツールが詳細なマップを必要とする一方、そのマップはもはや AV の走行には使われていません。また ODD(運行設計領域)は地図が存在しない領域へと拡大しています。

 

このギャップを埋めるためには、不完全な走行ログから高品質マップを生成する技術が不可欠 です。このアプローチにより、評価・検証・バリデーションのすべてで利用可能な高品質マップを得ることができます。

 

もし AV チームの開発プロセスがマップ不足により問題に直面している場合、

ぜひお問い合わせいただき、情報交換を続けてください。

 

著者について

 

Yaron Kashai – Foretellix フェロー

先端研究、技術革新、全社的なエンジニアリング活動を主導。

Cadence、Verisity、National Semiconductor で上級エンジニア/研究職を歴任。

10 件以上の特許を保有し、Technion とテルアビブ大学でコンピュータ工学・電気工学を専攻。

今日、多くの先進的な車両は 5 つ星の NCAP 安全評価を誇らしげに表示しています。これには、もっともな理由があります。これらの標準化されたテストは、業界全体の安全性向上を大きく推進し、AEB(自動緊急ブレーキ)や衝突回避などの機能に対して信頼できる基準を提供してきました。

 

しかし、NCAP に合格したからといって、必ずしもそのシステムが現実世界に対応できるとは限りません。歩行者の外見、道路形状、車速などのわずかな違いが、5 つ星システムであっても検知漏れ、遅延、または応答の失敗という結果を招くリスクがあります。

 

このギャップは、ADAS 機能が制御された条件だけでなく、現実の道路の多様性や予測不可能性においても確実に機能する必要性が高まっていることを示しています。このギャップを埋めるには、シナリオテストの定義、実行、拡張方法を見直す必要があります。

 

NCAP の具体シナリオの限界

 

NCAP(新車アセスメントプログラム)のプロトコルは、非常に厳密に定義された安全クリティカルなシナリオにおける車両性能を評価するためのものです。これらのテストは極めて具体的で、固定されたレイアウト、正確な車速(例:10、15、20 kph)、限られたターゲット(成人歩行者、自転車、オートバイ)、あらかじめ決められた軌道となります。この標準化により再現性とスコアリングが可能になりますが、現実世界の多様性を反映しているとは言えません。

 

CMFtap シナリオにおける VUT と EMT の軌跡

 

ISO 34505 は次のように述べています:「数学的観点から見ると、具体的なシナリオ(連続パラメータの特定の値)の確率はゼロである」。つまり、NCAP のシナリオが仕様どおりに完全に発生する確率は実質的にゼロです。交差点の角度は一定ではなく、歩行者は必ずしも直線では歩きません。車両は異なる速度や横位置で接近します。わずかな違いでも結果は大きく変わり、システムが完全に機能しなくなることもあります。

 

このことは、Luminar Technologies が 2022 年および 2023 年のラスベガス CES で実施したテストでも確認されています。Tesla、BMW、Audi、Mercedes、Lexus を含む複数の Euro NCAP 5 つ星車両が、NCAP 仕様からわずかに逸脱したシナリオでテストされました。歩行者が大人ではなく子どもだったり、直角ではなく斜めに横断したりといった状況です。多くの場合、車両はまったくブレーキをかけなかったり、ブレーキが遅れて重大な衝突を防げない結果になりました。

 

それにもかかわらず、多くの OEM は依然として ADAS システムをこれらのテストに合格するように最適化しています。ここでのリスクは 過剰適合 です。NCAP では良い成績を収めても、プロトコルで明示されていないほぼ同一の状況では、失敗する可能性があります。

 

Foretellix が抽象シナリオでチームをより前進させる

 

現実世界での ADAS の安全性を実現するには、単なる規格準拠を超え、NCAP の制約されたテスト空間の外側まで広げる必要があります。Foretellix のシナリオベース手法は、公式 NCAP テストケースの実行と KPI・カバレッジ収集、さらに大規模な抽象テストによる現実世界の変動性の捕捉を両立させます。

 

例えば、NCAP が規定する 3 つの自車速度と 3 つの対向車速度で左折横断(LTAP)シナリオをテストする代わりに、Foretellix では速度、角度、アクターの種類、到達タイミングなどをランダム化した数百のテストを自動生成して実行できます。これらの抽象シナリオ空間において一貫した性能が確認できれば、NCAP に合格するだけでなく、現実世界にも対応できるという高い信頼性を得ることができます。

 

このアプローチは、低頻度条件にのみ現れる見落としや誤検知を回避するのにも役立ちます。

 

例:対向車ありの車線維持支援システム(LSS)

 

実践的な具体例として、対向車を伴う車線維持支援システム(LSS)テストのシナリオを見てみましょう。

 

NCAP が定義する緊急車線逸脱防止(ELK)対向車シナリオのパラメータ例:

 

・道路曲率:0(直線)

 

・対向車(GVT)のレーンオフセット:1.5 m

 

・衝突オーバーラップ:自車前部の 10%

 

・回避方向:左側(運転者側)

 

・横方向速度:0.2、0.3、0.4、0.5、0.6 m/s

 

これらは非常に特定の条件下でのシステム反応を評価するためのパラメータですが、現実の道路はもっと複雑です。

 

Foretellix の抽象テストではより広範で現実的なパラメータ設定が可能です:

 

・自車速度:50〜130 kph

 

・対向車速度:50〜130 kph

 

・対向車オフセット:0〜3 m

 

・回避開始タイミング:衝突の 5〜20 秒前

 

・回避量:1〜1.5 m

 

・シミュレーションの実行:多様な道路曲率や地図の形状にわたって実行

 

このようなカバレッジ駆動型で、洞察に富んだワークフローにより、チームは初期段階で問題を発見し、パフォーマンスのロバスト性を向上させ、データに基づいた安全性の主張を自信をもって行うことが可能になります。

 

・何百もの抽象シナリオを自動生成し実行

 

・結果に基づく自動フィルタリング(例:最大レーン逸脱量)

 

・以下のような集計されたメトリクスの分析

 

  • 横加速度
  • 目標物との最小距離
  • 重要タイミングでの横偏位

 

・NCAP では見えない脆弱な挙動や回帰を早期に検出

 

1 つのプラットフォームで複数の検証モードに対応

 

Foretellix のツールチェーンは、抽象・具体・実世界のすべてのテストタイプをサポートします。

 

Foretify Evaluate は、開発とテストの進捗状況を可視化し、抽象・具体シナリオのカバレッジ分析、トリアージ、KPI 追跡を実施します。テスト入力がシンセティック、実走行ログ、NCAP の再現のいずれであっても同じ指標を適用し、テスト済み領域と未カバー領域を明確化します。

 

Smart Replay(Foretify Generate の一部)は、NCAP テストを正確に再現したり、バリエーションを与えたりできます。例えば、自車がセンターラインから 10 cm ずれていたり、2 kph 速かったりと、現実では普通に起こりうる状況を再現できます。これにより脆弱な挙動を早期に把握し、性能の堅牢性を高められます。

 

さらに、Foretellix の抽象シナリオ技術により、NCAP 初期設定周辺のパラメータ空間を系統的にカバーする数千の具体テストが自動生成可能となり、同一のインフラで法令順守と堅牢性を検証できます。

 

規制動向との整合

 

Euro NCAP 2026 では、より広範な安全性検証に向けてシフトしています。新プロトコルでは、速度やオフセットのわずかな変化を許容する「ロバストネス層」が導入され、物理テストが難しい場合にシミュレーションで検証することも正式に認められています。

 

UN DCAS 提案などその他の標準も同じ方向に進んでいます。規制当局は、現実世界の安全性が厳格な試験場テストだけでは保証できないことを認識し、スケーラブルで説明可能なシナリオベースの検証を求めています。

 

Foretellix は、現在の要件を満たしながら将来の期待にも備えられる柔軟性とカバレッジを提供します。

 

法令へのチェックボックス的な適合から、現実の信頼性へ

 

現在、多くの OEM が「適合性のためのテスト」を行い、その先の一般化を「期待」しています。しかし、「期待」は安全戦略ではありません。シミュレーションの信頼性が向上し、規制の期待が変わる中、業界は大規模なカバレッジベースの検証へ向かいつつあります。

 

Foretellix は、ADAS チームが余分な作業なく、透明性を失うことなく、広範に検証し、有意義に測定し、自信を持って行動できるよう支援します。NCAP の具体テスト、具体・抽象シナリオを用いたシミュレーションテストとがよく融合されます。このハイブリッドアプローチにより、開発コストの低減と加速が可能で、NCAP 適合と現実世界の安全性向上を両立させます。

 

NCAP の準備中でも、現実世界検証を拡大していても、あるいはその両方を同時に進めていても、Foretellix はよりスマートで拡張性のあるテストワークフローで支援します。詳細についてはぜひお問い合わせください。

 

著者について

 

Sebastian Klaas – Foretellix プロダクトマネジメントディレクター

Foretify プラットフォームの戦略的開発を主導。Audi、Luminar、Samsung Semiconductor でシニア技術職を歴任。

ドイツ・カールスルーエ工科大学(KIT)にてコンピュータサイエンスの学位取得。

序論:自動運転システムにおけるデータ駆動評価の重要性

高度なADASが運転の多くを担い、完全自動運転車がセーフティドライバーなしで公道を走るようになるにつれ(例:Waymoのロボタクシー、Auroraの自動運転トラック etc)、問われるのは「作れるか?」ではなく「信頼できるか?」です。AIの飛躍的進歩によりADS開発は加速しましたが、そのブラックボックス性により、人間が解釈可能な形での性能・安全性評価の必要性がこれまで以上に高まっています。

シミュレーションや走行ログから得られる膨大なデータを前に、安全性を確保するには高度に自動化され、スケーラブルな評価パイプラインが不可欠です。さらに、フリートオペレーターや物流企業が自動運転システム活用によるビジネス最適化を検討する中、彼らは透明性のあるメトリクスとKPIを強く求めています。WaymoのSafety Impactダッシュボードや「Determining Absence of Unreasonable Risk: Approval Guidelines for an Automated Driving System Deployment」といった発表は、スケーラブルでデータ駆動かつ透明性のある安全性・性能評価がADSプロジェクトの成否を分ける鍵であることを示しています。

ADS評価における主要な問題(テストプラットフォーム横断)

評価パイプラインは従来からADS開発を支えてきましたが、自社開発の「内製」ソリューションはSAE L3やL4といった高レベル自動化に対応する際に限界に直面します。主な問題は次の通りです:

  • テストデータの量と多様性
    SIL/HIL/VILシミュレーション、テストコース、公道走行ログなど、多様なプラットフォームから得られる膨大なデータを集約・評価・分析し、安全性と性能のメトリクスやKPIと照合する必要があります。しかしデータ形式は多岐にわたり、統一的処理は困難です。
  • エンジニアリング効率とスケーラビリティ
    数百万マイル分の走行ログから興味深いシナリオやイベントを抽出・整理し、問題をトリアージし、シナリオの発生確率や重大度を分析するには膨大な工数が必要です。さらに実走ログとシミュレーションなど、異なるプラットフォームを使用するチーム間では評価メトリクスやKPIを共有できず、再利用性が低下し、作業の重複や解釈の不一致が生じます。
  • 必要な評価コンテンツの開発
    ADSの評価器(Evaluator:KPI、チェック、カバレッジメトリクス)を再利用可能かつ拡張可能な形で作成するには大きな工数がかかります。また、十分に抽象度の高い形式で定義されなければ、人間がその意図を解釈することが困難になります。

ODD内でのテスト完了度の測定
ODD(運行設計領域)の要求事項やリスクに基づいたカバレッジメトリクスが欠如しているため、すべてのプラットフォーム横断でテスト結果を集約・評価・報告し、テストが「十分に完了した」と判断する基準を設けるのは困難です。

 

新しいアプローチの可能性 ― Foretify Evaluate

Foretellixはこれらの問題を、プラットフォーム非依存で自動化され、スケーラブルかつ説明可能な評価フレームワーク「Foretify Evaluate」で解決します。これは技術チームとマネジメント双方に実用的なインサイトを提供します。

Foretify Evaluateが際立つ理由

Foretify データ駆動型ADS開発プラットフォーム

自動運転技術の世界では、走行1マイルごとに新しい学びとリスクが伴います。Foretify Evaluateはそれらを抽出するために設計されています。

  • 実走行ログからのシナリオ抽出
    AIとルールベース自動化を組み合わせ、膨大な実走行ログからシナリオを抽出・タグ付・評価します。これにより性能や安全性メトリクスを重要なシナリオの文脈で分析でき、テストに単なる理論モデルではなく現実の複雑性を反映します。
  • 豊富な評価ライブラリ
    「Evaluation V-Suite」に含まれる拡張し続けるライブラリから、すぐに使える評価ライブラリを活用可能です。幅広いAVの挙動、メトリクス、KPIを評価でき、インサイト取得とデプロイの準備を加速します。
  • 現実と仮想を網羅した包括的分析
    都市部の公道でもシンセティックシミュレーションでも、Foretify Evaluateは評価結果を構造化された、意味のある分析情報として提供します。同一の分析ツールで詳細なシナリオ分析から集約されたメトリクスダッシュボードに至るまで、実世界データとシミュレーションデータの両方に使用できます。これにより見落とされがちな性能・安全性のギャップ、および重要な問題を可視化します。
  • 統一されたODDカバレッジメトリクス
    OpenSCENARIO DSLカバレッジメトリクスを活用し、ターゲットODDにおけるテスト進捗度を客観的に確認できます。実車走行・シミュレーション双方のテスト結果を横断的に集約し追跡可能です。
  • 重要箇所への集中
    高度な検索とトリアージ機能により、最もリスクの高い状況やクリティカルな問題に優先付を行い、エンジニアリングリソースを最も効果のある部分に集中可能です。

Foretify Evaluateで安全性や性能のギャップ、ODDテストカバレッジの不足を明らかにした後、Foretify Generateを用いてターゲットシナリオを自動生成し、検証を閉ループ化し、インサイトからアクションへと移行することができます。これらすべてが、一つのプラットフォーム上で完結します。

今後のブログシリーズ予定

このシリーズでは、Foretify Evaluateソリューションの各側面を掘り下げ、スケーラブルでデータ駆動かつ透明性のある安全性・性能評価をどのように実現するかを紹介していきます。

参考文献

  1. AIベースの自動運転システム評価における形式的抽象化の必要性については、Foretellix CTO Yoav Hollanderによる最近のブログ投稿をご覧ください。

ニューラルリコンストラクションとは

ニューラルリコンストラクションは有望な技術として注目されており、実走行データから現実的な3Dシミュレーションを生成し、希少なエッジケースを含む膨大なシナリオにわたり、開発スケジュールを守りながら安全性を損なうことなく、複雑化するシステムの検証を可能にします。

本ブログでは、Foretellixが提供する強力なソリューションを紹介します。Foretifyのオープンアーキテクチャプラットフォームを活用し、NVIDIA NuRecParallel Domain Replicaといったニューラルリコンストラクション技術をAV開発者が統合できるように設計されています。さらに、Foretellixのシナリオベース検証・自動化ツールチェーン、特にSmart Replay技術と組み合わせることで、開発者は再構築されたシーンを大規模に生成・再生・変化させることができます。

Neural rendering of a reconstructed scene with NVIDIA’s NuRec orchestrated by Foretellix Foretify Toolchain

ニューラルリコンストラクションが不可欠になる理由

AV開発において、エンド・ツー・エンドモデルやAIを活用した自律走行がこれまで以上に多様で豊富なデータを要求する時代に突入しました。しかし、実車走行テストだけではこのニーズを満たせません。希少な状況や危険なケースを検証するには、時間がかかりすぎ、費用も高すぎます。

ニューラルリコンストラクションは、生のセンサーログを完全にレンダリングされたシミュレーション対応環境に変換し、高リアリティ、条件変更の柔軟性、そして開発・テストパイプライン全体での再利用性を提供します。

ニューラルリコンストラクションにおける一般的な問題

多くのAVチームが直面している典型的な問題は以下の通りです:

  • スニペット探索:膨大なログデータから特定のイベント(例:時速30~40マイルで対向車が接近してくる状況で自車が左折する)を探す作業は依然として時間のかかる手作業
  • テストケースの定義と保守:再構築されたシーンを基に堅牢なテストを定義・検証・保守するのは困難
  • 動的なシナリオ変更:再構築されたシーンでアクターの挙動や環境パラメータを変更する作業は、手間がかかり、エラーの温床
  • ハイブリッドシナリオの作成:実世界のスニペットに合成されたアクター(例:割り込み車両)を追加するには精緻な制御が必要

カバレッジの可視化:再構築シナリオがカバレッジ目標を満たしているのか、あるいは安全性の欠落を残しているのか、チームが把握困難

Foretifyによる統合ワークフロー  ログからセーフティドリブン・シミュレーション

こうした問題に対応するため、Foretellixのデータ自動化プラットフォームForetifyは、イベント検出からシナリオ変更・シミュレーションまでを一貫して行えるクローズドループの統合ワークフローを提供します。

ワークフローの概要

スニペット探索と選択
Foretify Evaluateを用いて、大規模シナリオデータからシナリオの意図(例:右側から一定速度で出現する歩行者横断)に基づいて関連する実走行イベントを検索し、再構築・修正・リプレイ用のスニペットを抽出

Selection of an interesting snippet, and extraction of the corresponding scenario file – ready for modifications

シーン再構築
抽出したスニペットをNVIDIA NuRecやParallel Domain Replicaに渡し、センサーレベルの精度を持つ3Dデジタルツインを生成し、修正や新しいシーンのレンダリングが可能

A reconstructed scene with Parallel Domain

シーン変更とシナリオ作成
Foretellixツールチェーンを用いて、再構築シーンを変更し、タイミング、アクター挙動、環境条件を調整

 

  • Smart Replayにより、各アクターを以下のように制御可能:
    • 実走イベントの軌跡・挙動をそのまま再現
    • 軌跡をわずかに修正し、バリエーションを探る
    • リアクティブな行動モデルを使用し、シナリオ内で動的に応答
    • 特定アクターを削除して、相互作用を単純化

さらに、V-Suiteライブラリを活用して:

  • 新しいアクターを挿入(他シーンから抽出したものや合成アクター)
  • 挿入アクターを用いた新規シナリオ作成
  • オリジナルから大きく逸脱した挙動を試し、仮定条件やエッジケースを検証

Narrow oncoming scenario rendered in a neurally reconstructed scene with inserted synthetic actors

検証とカバレッジフィードバック
Foretify Evaluateは再構築シナリオと既存ログを取り込み、安全性KPIとODDカバレッジメトリクスに統合し、ダッシュボードを通じてギャップを可視化し、検証の完了度を保証

ODD Coverage Dashboard 

ユースケースと応用例

この統合ワークフローにより、以下の活用が可能になります:

  • AIモデル学習:MLエンジニアは、希少なシナリオを再構築し、安全なバリエーションを生成して多様な学習データセットを構築
  • クローズドループシミュレーション:V&Vチームが実走のエッジケースを再生し、新しいアクター挙動を追加して安全性応答を評価
  • ハイブリッドシナリオ作成:既存シーンに新しいエージェントを追加し、複雑な相互作用下での堅牢性を検証
  • 安全性証拠の生成:各テストをシナリオカバレッジダッシュボードやKPIにリンクし、自動で安全証拠を確立

AVチームが得られるメリット

ForetellixとNVIDIA、Parallel Domainの統合ソリューションにより、以下が可能になります:

  • 実走ログからのシナリオ生成を劇的に高速化
  • 再構築データの再利用性向上で物理テスト依存を削減
  • エッジケースの大規模変化により堅牢なAI学習と安全性検証を実現
  • カバレッジ追跡を改善し、希少シナリオから日常的ケースまで信頼性を確保

より安全なAI自動運転の基盤へ

AVスタックがAI駆動型へ移行する中、開発のペースと複雑性に合致するシミュレーションワークフローが求められています。Foretellixのデータ自動化プラットフォームと、NVIDIAおよびParallel Domainのニューラルリコンストラクション技術を組み合わせることで、実走行ログから検証済みシナリオまでをかつてないスピードと制御で実現できます。

これは、安全で効率的なAI自動運転開発への大きな一歩です。

???? この統合を実際にご覧になりたい方は、ぜひお問い合わせください。

自動運転車(AV)スタックを現実世界で安全に走行できるように開発するには、膨大で現実的なシナリオに対する厳格なトレーニング、テスト、バリデーションが必要です。各シナリオは多数のバリエーションで表現され、AVスタックの安全性と性能を包括的に評価・保証する必要があります。この複雑性が、AV開発プロセスにおける体系的なシナリオバリエーションとその管理の重要性を浮き彫りにしています。

効果的なシナリオバリエーションは、天候の小さな変化といった単純な調整をはるかに超えるものです。現実の走行を忠実にリプレイする場合や、危険なレアケースを完全に合成してシミュレーション環境で再現する場合でも、開発者は行動ダイナミクスと環境条件の両方を含む、多様で現実的なバリエーションを生成しなければなりません。このレベルの多様性を達成するには、インテリジェントな自動化と高度なシミュレーション技術が不可欠であり、特に人間の介入なしに動作する必要があるハイレベル自動化や都市型ODD(運行設計領域)においては必須です。

以下では、シナリオバリエーションにおいて不可欠な10のカテゴリーを例示し、AV開発者が堅牢な安全性と性能バリデーションを実現するための要点を示します。

1. 他車両の数と種類

AVスタックを徹底的に検証するには、多様な車両が様々な方向に移動するシナリオが必要です。

  • AVと並走する車両や対向車両の追加
  • バイク、乗用車、トラック、SUV、自転車、さらにはトラクターや馬車などの非典型的な車両も含む

2. 操縦・車両ダイナミクスのバリエーション

現実的な車両挙動のバリエーションは重要です。

  • 割り込み、追い越し、合流、右左折、交差、車線変更
  • 速度や車間距離の多様化
  • 非現実的なイベントを排除(例:大型トレーラーが時速300マイルでAVの直前に割り込むなど)

3. 他車両の運転行動

人間ドライバーの行動は多様で、AVの挙動に大きく影響します。

  • 慎重すぎる、攻撃的、注意散漫、酩酊など
  • 飲酒運転、ながら運転、突発的で不安定な操作を含む

4. 歩行者数と多様性

歩行者(VRU:Vulnerable Road Users)は複雑で多様な相互作用を伴います。

  • 単独歩行者から集団、ペット連れ、子供、老人同行者など
  • 年齢、性別、体格、人種、服装(暗色・反射材付き・伝統衣装など)、バッグやフード付き衣服の有無

5. 歩行者行動のバリエーション

歩行者の行動はAVの意思決定に大きな影響を与えます。

  • 走る、立ち止まる、急停止、突然の横断
  • 駐車車両の間から飛び出す子供など、予測困難な行動

6. 動物との遭遇

動物はさらなる予測不能性をもたらします。

  • 犬・猫などのペット、馬・牛などの家畜、シカ・クマ・ゾウなど野生動物
  • 大きさ、速度、行動の違いを反映
  • 見落とされがちな例:「鳥の群れ」—都市で鳩の群れが一斉に飛び立つ場合、AVは文字通りの“shit-storm”に直面します????

7. 道路上の静止物

静止障害物は認識上の問題をもたらします。

  • 駐車車両、工事機材、標識、広告板、ゲートやバリケード
  • ビニール袋、岩、トラックから落下したソファなど、形状・大きさ・色・反射特性が異なる物体

8. 車線構成

道路設計はAV性能に大きく影響します。

  • 1車線の田舎道、多車線高速道路、複雑な都市交差点、動的に変化する車線
  • ODDマップ内の複数地点での右折バリエーション
  • 不完全または欠如した道路標示

9. 天候と視界条件

環境条件はセンサーと意思決定に直接影響します。

  • 晴天から大雨、雪、霧、砂塵、まぶしさ、薄明かり、夜間まで
  • センサー性能と物体認識の堅牢性を検証

10. 環境多様性

環境文脈の違いも不可欠です。

  • 都市部、郊外、農村、工業地域
  • 樹木、建物、フェンス、商業看板などのランドスケープ要素
  • 陰影や光源の違いによるセンサー検証

まとめ

この複雑性から明らかなように、既存走行ログから意味のあるシナリオバリエーションを生成するのは容易ではありません。手作業での作成や表面的な変更では、先進的なAVスタックを適切に検証するには全く不十分です。特にAI駆動のAVスタックに現実的な学習データが必要な場合、この問題は指数的に増大します。

これに対応するには、クローズドループのツールチェーンが不可欠です。ForetellixのForetifyツールチェーンは、ODDカバレッジプランを定義し、既存ログを評価して現状のODDカバレッジの充足率を測定、安全性ギャップを明らかにします。その上で、高度なシナリオ生成技術を適用しギャップを埋めます。インテリジェントな制約付ソルバーを組み込むことで、実世界の走行ログや完全シンセティックシミュレーションから、多様かつ現実的で物理的に妥当なシナリオバリエーションを体系的に生成できます。

こうして生成されたシナリオは、AVスタックの検証やAI駆動スタックの学習データとして活用され、開発期間を大幅に短縮し、ODDを包括的にカバーします。ForetellixのForetifyを活用することで、AV開発者やメーカーはトレーニング・テスト・バリデーションを包括的に行い、安全で信頼できる自動運転の実現に自信を持って取り組むことができます。

???? デモをご希望の方は、ぜひお問い合わせください。

Foretellixは、マルチモーダルかつファウンデーションモデルベースのV&Vアシスタントによるプロセス自動化に特に注力しています。これにより、従来V&Vエンジニアが担っていた作業の多くの自動化が可能です。。エンジニアが作業フローを中断することなく迅速に作業を進められるよう、Foretellixは新たに、Claude Desktop、Cursor、そしてForetellix独自のForetify AI-Assistantなど、お気に入りのAI開発アシスタントに直接テスト機能を統合できる方法を提供します。

このアプローチを可能にしているのが ”Model Context Protocol(MCP)” です。MCPは、AIクライアントやAIエージェントを外部ツールへ安全かつ柔軟に接続できる新しい標準規格です。

エンジニアは環境を切り替える必要なく、既に利用しているAIアシスタント内でシンプルなプロンプトを通じてForetifyやV-SuitesといったForetellixプラットフォームとやり取りができます。関連するシナリオ検索、特定テストの実行、結果分析を自然言語で指示できます。

アシスタントはMCPサーバー経由でリクエストを処理し、顧客インフラ上で稼働しているForetellixツールに接続します。既存ツールを置き換えるのではなく、それらを新しい形で活用・拡張できる仕組みであり、エンジニアの日常の作業スタイルに自然に適合します。

AIネイティブエンジニアリングへの広がりの一部

MCPサーバーは、エンジニアと複雑なシステムとのやり取りが進化していることを反映しています。AIアシスタントが開発ツールキットの自然な一部になるにつれ、チームは日常的に使うツールとアシスタントを接続する方法を求めています。

Foretellixはその最前線に立っています。新しいUIを学ぶ必要も、新しいワークフローに適応する必要もなく、既存の開発環境にテスト機能を持ち込めるのです。このアプローチにより、リスクや負担、複雑さを増やすことなくAIを採用できます。

MCPは、ソフトウェアツールとAIの統合の標準として開発コミュニティで急速に普及しています。より多くのAIクライアントやエージェントフレームワークがMCPに対応する中、Foretellixツールも拡張するエコシステムとの互換性を維持し続けます。

これは、インテリジェントアシスタントと会話しながらテストや分析、さらにはシナリオ生成が可能になる未来への一歩です。

MCPブリッジでできること

MCPサーバーを利用すると、エンジニアは開発環境を離れることなくAIアシスタント経由で多くのタスクを実行できます。

例えば、開発者がAIアシスタントに「歩行者横断を伴う車両割り込みのシナリオを探して」と依頼すると、アシスタントはForetifyシナリオライブラリを検索し、候補を提示してテスト実行を可能にします。

テスト完了後、アシスタントは結果を取得し、分析を支援します。エンジニアは「衝突までの時間に影響した要因は?」「この実行で衝突はあった?」といった質問を自然言語で投げかけられます。アシスタントはメトリクスを取得し、計算を行い、可視化まで生成します。スクリプトや手動コーディングは不要です。

このアプローチはアドホックな分析やトリアージを行う際に特に有効です。従来のダッシュボードは硬直的すぎたり、スコープが狭すぎたりするため、その瞬間に抱く具体的な質問に対応できません。シミュレーションの実行結果を分析するにあたって、万能な解決策というものはなく、チームは調査対象に応じて、カスタムビューやインサイトを必要とすることが頻繁にあります。

MCPブリッジにより、AIアシスタントが分析のコ・パイロットとなり、結果へのアプローチ方法、検証すべきメトリクス、主要な発見の可視化方法を提案します。エンジニアは異常調査やエッジケース挙動の検討を迅速に行い、数分でカスタムダッシュボードを生成できます。

これによりテストや分析に関わるステップが削減され、エンジニアはツール管理ではなく高付加価値の問題解決に集中できます。高度な抽象度で作業できるため、複雑な問いを探求し、自由に実験し、ツール設定やスクリプト作成に時間を取られることなくアイデアを実行に移せます。

さらに、追加チームに依頼する前に、エンジニアが自らシミュレーションを実行・分析・可視化できるため、開発ライフサイクル全体における新しい可能性が開かれます。これにより、早期探索・迅速な反復・自信ある意思決定が各フェーズで実現します。

MCP Bridge for AI AV Development

ワークフローの成長に合わせて拡張

MCPサーバーは既に幅広いタスクを可能にしていますが、その設計はさらに拡張できるようになっています。Foretellixはこの統合を通じた機能拡張を続け、より高度な分析やテストワークフローをサポートしていきます。

  • カバレッジギャップ検出 
  • 完全なテスト計画の生成 
  • シナリオカバレッジ改善に関するAIガイド 
  • OpenSCENARIO 2.0 DSL(OSC 2.0)対応:自然言語でOSCコードの説明や生成が可能に 

インターフェースが成熟するにつれ、Foretellix独自のForetify AI Assistantはさらに多くのタスクを実行できるようになり、MCP接続によって外部AIアシスタントからForetifyのAPIへのアクセスも拡大します。これにより、シミュレーション結果の傾向把握、長期比較、テストパイプラインの自動化なども、すべて同じアシスタントインターフェース内で可能になります。

これは、実用的なユースケースを今すぐ利用できるだけでなく、将来的にさらに高度な機能を実現するための長期的基盤を築きます。

MCP統合を試してAVテストワークフローを効率化

MCPサーバーは既存の開発・バリデーションプロセスを強化します。この統合により、エンジニアはより速く作業し、より良い質問を投げかけ、既存ツールからより多くの価値を引き出せます。しかも機密データの制御を損なうことはありません。

Claude Desktop、Cursor、その他MCP対応AIアシスタントを利用しているチームで、詳細を知りたい・意見を共有したい場合は、ぜひお問い合わせください。

ForetellixのForetify AI Assistantは現在ベータテスト中であり、AIアシスト型テストの可能性を広げたいチームと積極的にパートナーシップを組んでいます。ぜひお問い合わせください。

本ブログでは、AIベースの自律システムの近未来について、以下を取り上げます。

  • AIベース自律システムのトレンド(例:「エンドツーエンド」への移行)
  • 自律システムにおけるV&Vの役割拡大 ― AIベースシステムの「実装」と「V&V」の双方に共通して使えるツールの必要性
  • AIがV&Vをどう支援するか ― センサーシミュレーション、行動モデル、テキスト→シナリオ生成、AIアシスタント等
  • V&Vにおける抽象化が常に必要な理由 ― それをどう表現すべきか

その前に、「近未来」「AIベース自律」「抽象化」「V&V」の意味を明確にしておきます。これは学術論文ではなくブログです。多少のくだけた表現はご容赦ください。

定義

「近未来」:最近は未来の到来が非常に速く、タイムラインの確実性は低いですが、ここでは今後5年程度(ただし多くは今後2年で起こると想定)を指します。

「AIベース自律システム」:ここでの「自律システム」は、安全クリティカルで具現化(物理実体)を持つ自律を指します。自動(半自動)車両、ロボット、船舶、ドローン等。例としてはADS(自動運転システム)、特にAV(自動運転車)を用いますが、議論は上記すべてに当てはまります。安全クリティカルな非具現化の自律システムにも当てはまる点はありますが、ここでは扱いません。
「AIベース自律システム」は、機械学習の比重が高まる自律システム全般を指し、完全エンドツーエンドのシステムも、複合AI(Compound AI Systems)のようにMLが主要役割を担うアーキテクチャも含みます。

「抽象化(アブストラクション)」:ここでは形式的抽象化を意味します。数学・物理・交通ルール等の人間の知識を明示かつ正確に定義/符号化したものです。たとえば「衝突までの時間(TTC)」や「四方向一時停止(four-way stop)」は形式的抽象化です。
一方で非形式的抽象化も存在し、これは後で別途扱います。

「V&V」(Verification & Validation):システムの安全性・品質に対する信頼を獲得し、バグを発見・修正する反復プロセスです。以下で述べるデータ自動化機能を用います。

「データ自動化」:V&Vで用いる “仕組み(装置・手法・コンテンツ)” を指します。カバレッジ空間・KPI・チェックの定義、シナリオ生成/マッチング、メトリクス評価、要求管理、トリアージ、バグ修正などを含みます。
「V&Vのための機能」に留まらず、実装(例:ML学習の指針)にも極めて有用であるため、ここではデータ自動化機能と呼びます。

予想されるトレンド

今後数年で、次のような傾向が見られると考えます(詳細は後述):

  • 自律はますますAIベースになる
  • 完全エンドツーエンドか、よりML比重が高まるのかは不明確
  • 自律の市場は急速に拡大
    • 汎用・マルチタスクのFMベースのロボティクス基盤に取り組む動きは既にある
  • デプロイの努力はデータ自動化中心
  • AIはデータ自動化そのものにもますます寄与
  • ただし、データ自動化には透明性と抽象化が不可欠

いずれの時点でも、開発者は目標安全度を最も効率よく達成する手段を選びます。そのため、実装におけるAIデータ自動化におけるAI非AI要素の「その時点に最適な組み合わせ」が用いられます。

AIベース自律システムにおけるデータ自動化の役割拡大

古くから「開発とはV&Vである。空っぽのシステムから始め、V&Vが“何も動かない”バグを見つける」と冗談があるほど、V&Vは中心的です。
安全クリティカルなAIベース自律システムでは、データ自動化の重要性がさらに高まります。AIは複雑なシステムを作りやすくしますが、不具合が入りやすく(LLMのハルシネーションなど)、かつブラックボックスのため検証が困難です。結果として求められるV&V比率(実装に対するV&Vの比重)は増加します。

さらに、実装プロセス自体もデータ自動化機能を必要とします。AIベース自律システムの設計の多くはML学習であり、対象となる「空間」全体を探索して、良い/悪い挙動を明確に規定しなければなりません。これはカバレッジとチェックに非常に近い概念です。
バグ修正や機能追加は、主に学習データへの(是正・否定的)事例追加で行われ、探索・バグ事例発見にはV&Vとほぼ同じデータ自動化機能が要ります(AI訓練の世界ではデータ・フライホイールと呼ばれる部分)。

端的に言えば、こうしたシステムの構築・展開の大半はデータ自動化に関わると言っても過言ではありません。

Data-Automation for AI-Centric AVs

Data Automation for AI Autonomy

実装プロセスでのデータ自動化の使い方

エンドツーエンドAVを例にします。機能させ、十分に安全にするための多くはML学習であり、データ自動化は二つの側面で関わります:

  1. 「領域」を列挙し、その事例で学習
  2. 現行システムのバグを発見し、追加学習で修正

まず2)(実務では後段になることも)から:

  • 現行の学習済みシステムを用意
  • 高品質なV&Vを実施
  • ODDに適合した**詳細なVPlan(検証計画)**を使用
  • 実走ログ評価+合成テスト生成でカバレッジを充足
  • チェック、失敗トリアージ等を実施
  • バグを見つけたら
    • 問題領域へ一般化
    • 十分な事例を収集/生成
    • 是正・否定例として学習データに反映
  • 安全・合法性・快適性等の目標に達するまで反復

同時に1)も必要です。2)だけでは非効率だからです:

  • 思いつく限りの「領域」(難所を含む)を列挙
    • 例:「他アクターの違法行為を扱う」
  • それに応じたVPlanを作成
  • 実走ログ評価+合成生成で「十分な」事例を作成
  • 学習に用いる

実際には両手法を反復的に用い、必要とするデータ自動化機能はほぼ同じです。

V&Vと実装に共通のデータ自動化機能

両者に必要な共通機能の例:

  • 実走行ログからの事例探索(シナリオマッチング)
  • 実走行ログの拡張(スマートリプレイ+バリエーション)
  • 完全シンセティックシナリオ生成(抽象シナリオに基づく制約付きランダム)
  • 形式的抽象言語でシナリオ定義・カバレッジ目標・KPIを表現
    • 標準DSL(例:OpenSCENARIO DSL)による抽象定義・評価・生成
  • トリアージとデバッグ

データ自動化におけるAIの役割拡大

AIベース自律システムはデータ自動化の巧拙に依存しますが、幸いAIはデータ自動化そのものにも大いに役立ちます:

  • AIベースの高度なセンサーシミュレーション(ニューラルリコン等)
  • AIベースの行動モデル(より自然な挙動)
  • テキスト→シナリオ/テキスト→マッチング事例(しばしば視覚言語FMに基づく)
  • AIベースのV&Vアシスタント

特に、マルチモーダルFMベースのV&Vアシスタントには大きな期待があります。完全ではなくとも、例えば8割超で正答できるタスク集合に対しては非常に有用になります。
例:トリアージ&分析アシスタントが夜間の大規模テスト実行と並走し、異常ランを停止・是正、トリアージを自動実施。誤りうるため、以下が重要:

  • 何をなぜ行ったかの詳細で構造化されたログを残す
  • ログの任意の詳細について対話できる
  • その「決定」(失敗クラスタリング・分類等)が取り消し可能(例:Gitで管理しリバート可)

時間と共に、アシスタントはテスト自動生成等も行えるようになります。

V&VはAIだけで完結するか? ― 答えはNo。
「AIがOKと言ったからOK」では人々は納得しません。規制当局や健全な常識は、人間が定めたルール(シナリオ、カバレッジ定義、チェック等)に基づく検証を要求します。ここで抽象化が本質になります。

アセッサ(評価者)が必要とするもの

AIベース自律もAIアシストV&Vも段階的に進化します。どの段階でも、人が「正しく行われたか」を確認する必要があります。
ここでは広義のアセッサ(評価者)を想定します:

  • 規制当局
  • AV事故訴訟の陪審
  • フリート事業者(AVベンダー選定前)
  • OEM(外部AVスタック採用前)
  • AV企業の経営陣(デプロイ判断前)
  • AV企業のV&Vチーム(変更受け入れ前) など

アセスの要諦:

  • 必要な状況を十分に**テスト(カバレッジ)**したか
  • 状況に応じた**適切な基準(チェック)**を適用したか
  • 結果が目標安全度を満たすほど十分か

良い出発点は安全ケースであり、そこには対象状況(カバレッジ)、行ったチェック、結果が示されます。
情報(安全ケース、VPlan/カバレッジ結果、KPI/チェック、トリアージ結果等)を任意の深さまで掘り下げ、信頼性を確認できる必要があります。AIアシスタントによるディベート(賛否両論)支援も有用でしょう。
最終的には、透明性、人間の用語、明確な抽象化が不可欠です。

抽象化(アブストラクション)の役割

アセスには抽象化が必要です。状況・チェック・結果を直感的だが形式的に定義された用語で表す必要があります(例:TTC、無保護右左折、ローリングストップ、左側通行国、最小リスク操作)。
実装がこれらの抽象に限定される必要はありません(曖昧なケースも扱えるため望ましい)。ただし挙動の評価や、学習への影響には抽象化が必要です。
非形式的抽象化(例:テキスト→シナリオ)も有用ですが、精密ではないため、形式的抽象化の代替にはなりません。

カバレッジ抽象化

ODDのカバレッジマップを定義するには、操舵・天候・故障など多くを考慮します。
例えば操舵空間をシナリオ(無保護右左折、四方向停止等)に分割し、さらにケース(カバレッジビン)に細分化します(例:左/右の無保護右左折、黄信号から進入までの時間レンジ、交差時の最接近車両速度レンジ、PET<N秒のニアミス等)。
これらの用語(無保護左折、PET等)は全て厳密定義が必要です。さらに、他の抽象(「パンク」「センサー無効」「緊急車両進入」等)と合成する場合もあります。
したがって、どのシナリオが起きたかの評価、どのビンに分類するか、PET等の測定を行う形式言語が必要で、解釈の齟齬がない透明性が求められます。

チェックとKPIの抽象化

チェックはさらに複雑で、より多くの抽象化を必要とします:

  • 各種KPIの計算(PET、TTC等)
  • ルール/慣行の遵守(例:ローリングストップ禁止)
  • 文脈依存のチェック(例:実行必須の場合を除き実線越え禁止) → 文脈シナリオの定義が必要
  • 国・ODD依存(例:四方向停止がない国、雨非対応時の最小リスク操作の確認)

**未知の危険(SOTIF)**発見も抽象化が不要に見えるかもしれませんが、実際には:

  • 既知の抽象次元を賢く混合しつつ、パラメータをランダム化した新データ生成が有効
  • ランダム化しても妥当性を保つには抽象化が必要(例:PET<3秒の無保護左折)
  • 悪化兆候(低TTC等)を抽象的に指標化 → データ駆動探索で問題に迫る → 未知を既知化

非形式的抽象化の役割

非形式的(マルチモーダルFMベース等)抽象化は極めて有用です。重要なのは使い所と形式的抽象化との組み合わせとなります。

  • テキスト→生成シナリオ:厳密な制御は難しくても、迅速で直観的な誘導に有用。形式的抽象化で結果を評価できることが前提
  • テキスト→マッチング事例:やや曖昧な概念(「譲るべき」「歩行者に配慮」等)が必要な場合に有効

多くの状況で、「正しさ」は非形式的抽象化に部分的に依存します。しばしば、抽象には明確な形式的サブセットがあり(単純なルールで判定)、その周囲に曖昧な領域が存在します(違反しても警告に留める等)。

まとめ ― 4つの要点

  1. AIベース自律は急速に前進している
  2. その結果、V&Vの相対的重要性が上昇している
  3. 実装とV&Vの双方でデータ自動化の重要性が高まっている

     4.形式的抽象化はその中心的要素である

エンドツーエンドの計画モデルを備えたAI駆動AVスタックを学習させるには、現実的で信頼性の高い走行データが不可欠です。しかし、実世界データには多様性と規模の面で限界があります。解決策は、スケーラブルかつ制御可能な合成データの生成です。

本ブログでは、ForetellixのForetify開発ツールチェーンをCARLAおよびNVIDIA Cosmosと統合し、合成センサーデータ生成を目的として高品質な「優先通行違反」シナリオを作成・選定・レンダリングしたプロセスを概説します。このデータはエンドツーエンドAVスタック向けの模倣学習パイプラインへ投入され、多様性・意図の保持・スケーラビリティを兼ね備えた学習シナリオにより、性能と安全性の向上に寄与します。

動機:重要なデータギャップへの対応

この取り組みは、バリデーション中にAVスタックの性能ギャップが特定されたことに端を発します。システムが苦手としていたのは、**「交差点での優先通行違反」**という特定の交通シナリオでした。

分析の結果:

  • 実走行ログにはこのシナリオの十分な事例が存在せず、特にEGO(被試験自動運転車)が適切に応答しているケースが不足
  • とりわけ安全クリティカルなシナリオにおけるデータ不足により、記録されたフリートデータだけでは学習・評価が不可能

そこで、こうした相互作用を表す合成センサーデータを生成するプロセスを実行。もっともらしいが稀な違反を系統的にシミュレーションし、高品質・多様・意図整合な合成データで模倣学習させることを目標としました。

 

1. 要求分析

まず自然言語の要求ドキュメントで「優先通行違反」シナリオクラスを記述します。

内容は:

  • シナリオの機能目的
  • EGOの期待挙動(減速、停止、回避操作など)
  • 違反アクターの行動(停止/譲れの無視・違反 など)

ここからシナリオの意図、アクターの役割・挙動、期待される結果を抽出します。人が読める要求を形式シナリオ化の土台にしました。

2. Foretify Developer と V-Suite ライブラリによる抽象シナリオの形式化と実装

OpenSCENARIO DSLを用い、英語要求を地図非依存の形式シナリオへ翻訳:

  • 宣言的なアクター役割(例:「違反者」「被害者」「その他アクター」)
  • 時間関係・制約(例:「違反者がEGOより0.5秒早く進入」)
  • 望ましいEGOの反応(例:「TTCが閾値未満なら減速度 X で制動」)

Foretify V-Suites(再利用可能なシナリオライブラリ)を活用:

  • 交差点系シナリオを出発点に
  • それらを優先通行違反へ合わせて改変・合成
  • 検証済みパターンの再利用で、開発を加速し一貫性を確保

ドメインモデルに基づく制約で正しさ・物理的妥当性を保証:

  • 交通規則、幾何制約、アクター能力などの基礎制約を適用
  • 様々なマップでも生成バリエーションが有効で現実的となるよう担保

抽象表現により、ロジック地理レイアウトを分離し、柔軟でスケーラブルな再利用を可能にしました。

実装にはForetify Developerツールを使用します。キーとなったのは制御可能なドライバーモデルです。EGOには衝突回避の適切な行動(減速・譲る等)を行う構成を、違反アクターには交差点ルール無視(停止/譲れ標識を無視)を設定します。二重ドライバー構成で、機能的忠実度と表現力を両立しました。

(動画参照リンク:省略)

Click here to watch the entire video

3. CARLA+Foretify によるランタイム実行

ランタイムでは、CARLA(オープンソースAVシミュレータ)と統合し、車両ダイナミクスをコシミュレーションに追加しました。構成は:

  • Foretifyがランタイム中のシナリオ実行をオーケストレーション
  • CARLAが車両物理、路面摩擦、慣性、微細な運動をシミュレート

このハイブリッド実行により、意図を保持しつつ、現実的なダイナミクスと物理制約を付与し、指定シナリオロジックの下で、合成センサーデータが実世界の走行挙動に整合するようにしました。

4. 制約充足と大規模生成

Foretellixの制約ソルバーを用い、意図を保持した6,000件超の有効インスタンスを生成:

  • 違反アクターは常に優先通行権へ挑戦
  • EGOは常に時間的プレッシャーの下で評価・行動を強いられる
  • 他交通条件・マップ要素(交差点形状差)・タイミングは定義境界内でランダム化

これにより、意味的一貫性を損なわずに多様性を確保しました。

(動画参照リンク:省略)

Click here to watch the entire video

5. 多様性分析と実行選定

ビッグデータ分析基盤で生成群を詳細分析:

  • 主要メトリクスの分布(違反者速度、EGO反応時間、衝突率 など)を検証
  • コーナーケースやエッジ条件への広範なカバレッジを確認
  • シナリオ意図を最適に満たし、かつ代表的で・多様性の高い実行を模倣学習のベースとして選定

このデータ駆動アプローチにより、過学習を避けつつ、下流モデルの汎化性能を最大化しました。

6. NVIDIA Cosmos によるセンサーシミュレーション

選択された実行は、 ” Cosmos Transfer(multicontrol WFM)” を通じて処理され、物理ベースで超写実的なセンサーシミュレーションシナリオを生成します。プロンプト・アップサンプリング技術を用いて、下記の要素にわたってデータセットを拡張:

  • 天候(霧、雨、グレア など)
  • 地理(都市グリッド状道路、郊外道路、高速道路のランプ)
  • 照明(薄明、夜間、黎明 など)

(動画参照リンク:省略)

Click here to watch the entire video

(動画参照リンク:省略)