Verification and Validation of a Vision-Based Landing System for Autonomous VTOL Air Taxis

要約

自動運転エアタクシーは都市の大量輸送に革命を起こそうとしていますが、その安全性と信頼性を確保することは未解決の課題のままです。
現実世界でのエアタクシーの自律性ソリューションを検証するには、この課題をさらに複雑にする複雑さ、リスク、コストが伴います。
検証と検証 (V&V) フレームワークは、安全特性を正式に検証し、さまざまな運用シナリオ全体でアルゴリズムの動作を検証することにより、信頼性の高いシステムの設計と開発において重要な役割を果たします。
高忠実度シミュレーターの進歩により、現実世界の状況をエミュレートする機能が大幅に強化され、特に開発の初期段階での自律型エアタクシー ソリューションの検証での使用が促進されています。
この進化は、現実世界のテストを補完するツールとしてだけでなく、制御され、再現可能でスケーラブルな方法でアルゴリズムを評価するための不可欠なプラットフォームとして、シミュレーション環境の重要性が高まっていることを浮き彫りにしています。
この研究では、垂直離着陸 (VTOL) 機能を備えたエア タクシー用のビジョンベースの着陸システムのための V&V フレームワークを紹介します。
具体的には、形式検証用ツールである Verse を使用して、到達可能なセットを取得して分析することでシステムの安全性をモデル化および検証します。
この分析を行うために、フォトリアリスティックなシミュレーション環境を利用します。
Unreal Engine 上に構築されたシミュレーション環境は、現実的な地形、天候、センサー特性を提供し、現実世界の状況を高い忠実度でエミュレートします。
安全性解析結果を検証するために、私たちは広範なシナリオベースのテストを実施して、さまざまな条件における着陸アルゴリズムの到達可能性セットと堅牢性を評価します。
このアプローチは、高忠実度シミュレーターの代表性を示し、実際の展開前にアルゴリズムを分析および改良するための効果的な手段を提供します。

要約(オリジナル)

Autonomous air taxis are poised to revolutionize urban mass transportation, however, ensuring their safety and reliability remains an open challenge. Validating autonomy solutions on air taxis in the real world presents complexities, risks, and costs that further convolute this challenge. Verification and Validation (V&V) frameworks play a crucial role in the design and development of highly reliable systems by formally verifying safety properties and validating algorithm behavior across diverse operational scenarios. Advancements in high-fidelity simulators have significantly enhanced their capability to emulate real-world conditions, encouraging their use for validating autonomous air taxi solutions, especially during early development stages. This evolution underscores the growing importance of simulation environments, not only as complementary tools to real-world testing but as essential platforms for evaluating algorithms in a controlled, reproducible, and scalable manner. This work presents a V&V framework for a vision-based landing system for air taxis with vertical take-off and landing (VTOL) capabilities. Specifically, we use Verse, a tool for formal verification, to model and verify the safety of the system by obtaining and analyzing the reachable sets. To conduct this analysis, we utilize a photorealistic simulation environment. The simulation environment, built on Unreal Engine, provides realistic terrain, weather, and sensor characteristics to emulate real-world conditions with high fidelity. To validate the safety analysis results, we conduct extensive scenario-based testing to assess the reachability set and robustness of the landing algorithm in various conditions. This approach showcases the representativeness of high-fidelity simulators, offering an effective means to analyze and refine algorithms before real-world deployment.

arxiv情報

提供元, 利用サービス

arxiv.jp, Google