重要ミッションにおけるフェイルオペレーショナルなドローン群のための安全性駆動アーキテクチャフレームワーク

本論文は、安全重視のミッションにおけるUAVスウォーム（群）のフェイルオペレーショナル運用を可能にする、混合クリティカリティ（mixed-criticality）アーキテクチャフレームワークを提案している。SAE ARP4754Bの手法をスウォーム再構成に適用し、ハードウェア分離されたSafety MonitorをRun-Time Assurance (RTA)ゲートウェイとして機能させることで、飛行クリティカルなコアと非決定的なSwarm Managerを分離する。Safety MonitorはFunctional Hazard Assessment (FHA)から体系的に導出されたエージェントのHealth Vectorに基づく形式的な安全契約を強制し、これを集団プランナーに伝播してフェイルオペレーショナルなタスク再割り当てをトリガーする。これにより、飛行クリティカルな分離を損なわずにインテリジェントなスウォーム行動を実現する。

先行研究では、マルチエージェント協調アルゴリズムの非決定的な性質と、航空機の耐空性基準が要求する決定的な信頼性の間にギャップがあった。本フレームワークは、SAE ARP4754Bの認証手法をスウォーム再構成に適用し、Safety MonitorによるRTAゲートウェイを導入することで、非決定的なスウォーム管理を飛行クリティカルなコアから分離し、認証可能性を高めている点が新しい。また、Health Vectorを形式的な安全契約として用い、FHAから体系的に導出することで、安全性の保証を強化している。

手法の核は、(1) ハードウェア分離されたSafety MonitorがRTAゲートウェイとして機能し、飛行クリティカルなコアと非決定的なSwarm Managerを分離する点、(2) Safety MonitorがFHAから導出されたエージェントのHealth Vectorに基づく形式的な安全契約を強制する点、(3) Health Vectorを集団プランナーに伝播してフェイルオペレーショナルなタスク再割り当てをトリガーする点である。これにより、スウォームのインテリジェントな行動を維持しつつ、飛行クリティカルな分離を保証する。

Markov reliability modelingを用いて、SAIL IVシナリオにおいてHazardous目標である10^-7 failures per flight hourが理論的に達成可能であることを示した。ただし、Safety Monitorの信頼性C_monitorが0.9991以上であることが条件であり、これはDAL B CMD/MON実装と整合する。

要旨からは、提案フレームワークの実装詳細や実機での検証結果は不明である。また、Safety Monitorの信頼性要件（C_monitor>0.9991）は高いが、DAL B実装で達成可能としている。しかし、実際のスウォームの動的環境でのHealth Vectorの更新や、Safety Monitor自体のフォールトトレランスについての議論は要旨からは不明。

要旨で参照されているSAE ARP4754B、Run-Time Assurance (RTA)、Functional Hazard Assessment (FHA)に関する論文や、マルチエージェント協調アルゴリズムの安全性検証に関する研究が関連する。具体的には、SAE ARP4754Bの公式文書や、RTAの応用研究、FHAの事例研究などが挙げられる。