SysML駆動の自律UAV設計のためのモデルベースシステムズエンジニアリングフレームワーク

本論文は、自律UAVのSysML駆動開発のためのModel-Based Systems Engineering (MBSE)設計フレームワークを提案している。提案フレームワークは、SysMLを形式的な設計基盤として用い、UAV開発をステークホルダー要件、機能分解、論理アーキテクチャ、物理/ソフトウェア割り当ての4つの接続されたレイヤーで構造化する。SysMLのrequirement diagrams、activity diagrams、block definition diagrams、internal block diagrams、state machine diagrams、parametric diagramsを用いて、UAVシステムの機能的、構造的、行動的、インターフェース、性能の各側面を捕捉する。論理アーキテクチャは、SysMLブロックをROS 2ノードに、フローポートとコネクタをトピックに、要求応答インタラクションをサービスに、目標指向行動をアクションに対応付けることで、ROS 2ソフトウェアアーキテクチャに体系的にマッピングされる。

従来の自律UAV開発ワークフローは、ドキュメント中心の要件、分離されたアーキテクチャ記述、ソフトウェア実装アーティファクトに依存することが多く、初期設計における曖昧さ、インターフェースの不整合、トレーサビリティの弱さを引き起こす。本フレームワークは、SysMLを形式的な設計バックボーンとして使用し、要件から実装までの一貫したモデルベースのアプローチを提供することで、これらの問題に対処している。特に、SysMLモデルをROS 2アーキテクチャに体系的にマッピングする点が、既存研究と比較して新しい。

手法の核は、SysMLを設計バックボーンとして使用し、4つのレイヤー（ステークホルダー要件、機能分解、論理アーキテクチャ、物理/ソフトウェア割り当て）を接続すること。SysMLの各種ダイアグラム（requirement, activity, block definition, internal block, state machine, parametric）を用いて、システムの異なる側面を捕捉する。さらに、論理アーキテクチャをROS 2ソフトウェアアーキテクチャにマッピングするための体系的な対応関係（SysMLブロック→ROS 2ノード、フローポート/コネクタ→トピック、要求応答→サービス、目標指向行動→アクション）を定義している。

有効性の検証は、代表的な自律UAVミッションシナリオ（自律離陸、ウェイポイントナビゲーション、ホバリング安定化、障害物回避、帰還、緊急時対応）を用いた設計レベルの実例提示によって行われている。結果として、要件割り当て、インターフェース定義、サブシステム責任割り当て、検証計画をサポートするモデルが得られることを示している。ただし、シミュレーションや物理展開による定量的な検証は要旨からは不明。

要旨からは、提案フレームワークの限界や課題についての議論は明示されていない。ただし、設計レベルでの実例提示に留まり、シミュレーションや実機での検証が行われていない可能性が示唆される。また、SysMLからROS 2へのマッピングの自動化や、大規模システムへの適用性などが今後の課題となる可能性があるが、要旨からは不明。

要旨で参照または比較されている研究は明示されていないが、関連する分野として、SysMLを用いたMBSEフレームワーク、ROS 2アーキテクチャ設計、自律UAVのシステム設計に関する論文が考えられる。具体的には、SysMLとROS 2の統合に関する研究や、UAVのモデルベース設計に関する論文を次に読むことが推奨される。