Model-driven FPGA Design Environment for Intelligent Robot System

2022 Fiscal Year Research-status Report

• Project/Area Number: 21K11814
• Research Institution: Tokai University
• Principal Investigator: 大川 猛 東海大学, 情報通信学部, 准教授 (80392596)
• Project Period (FY): 2021-04-01 – 2024-03-31
• Keywords: FPGA / モデル駆動開発 / 知的ロボット / エッジ / コンポーネント

Outline of Annual Research Achievements

令和4年度は、以下の研究を行った。
(A)ハードウェア・ソフトウェアを含む多くの異種の処理環境を適切にモデル化する方法：ROS2（Robot Operating System 2）による通信により遠隔ロボットアームを実現する方法についての設計・実装を行なう事例を通じ、多くの異種処理環境について機能・非機能要件（性能含む）を適切にコンポーネントとしてモデル化する方法の検討を進めた。また、エッジ・クラウドに分散した異種処理環境の扱いについて、ROS2/DDS(Data Distribution Service)の拠点間をインターネット経由でつなぐ方法についての検討を進めた。

(B)上流設計における抽象度の高いモデルでの性能シミュレーション方法：　粗粒度シミュレーションの一つとして、UMLシーケンス図からROS2システムとして生成可能な粗粒度モデルの実現を目標に検討を進めた。しかし粗粒度シミュレータとしての実現と、実際のC/C++高位合成によるFPGA回路を想定した細粒度シミュレーションについては次年度の課題である。

(C)モデルから実装を生成することが可能な自動化設計手法：　UML(Unified Modeling Language)モデルのうち、シーケンス図からシステム全体の粗粒度モデルを生成する手法を検討した。すなわち、システム中に登場する部品としてROS2ノードを抽出して、ROS2ノード間の通信メッセージ型を自動生成する手法の検討を行った。また、ステートマシン図からFPGA向けに高位合成可能なC/C++実装生成を生成するための検討を行った。しかしながら、コード生成システムの実装は未着手であり、次年度の課題として残った。

Current Status of Research Progress

3: Progress in research has been slightly delayed.

Reason

(B)においてUMLシーケンス図に相当する粗粒度モデルのシミュレーション方法について検討したが、細粒度モデルとの統合までは至らなかった。また、関連して(C)におけるUMLシーケンス図・ステートマシン図からのC/C++コードの自動生成についても、まとまった研究時間を確保することが出来ず、進展が遅れた。

Strategy for Future Research Activity

UMLシーケンス図とステートマシン図からのコード生成に基づく、粗粒度＋細粒度モデルのシミュレーションをVer.1としてまずは早期に一通り完成させる。その上で、改善のための検討を行い、自動化設計手法としての有益な知見を得て口頭・誌上での発表を行うことを目標に研究を進める。

Causes of Carryover

旅費についてはコロナ禍の影響で、調査・情報収集・発表等の一部を次年度に延期することとした。