| 研究課題/領域番号 |
16K00088
|
|---|
| 研究機関 | 関西学院大学 |
|---|
研究代表者 |
石浦 菜岐佐 関西学院大学, 理工学部, 教授 (60193265)
|
|---|
| 研究分担者 |
吉田 信明 公益財団法人京都高度技術研究所, 研究開発本部, 副主任研究員 (00373506)
神原 弘之 公益財団法人京都高度技術研究所, 研究開発本部, 主席研究員 (80373497)
|
|---|
| 研究期間 (年度) |
2016-04-01 – 2019-03-31
|
| キーワード | バイナリ合成 / 関数型言語からの高位合成 / 組込みシステム / IoT / 割り込み処理のハードウェア化 / 動的スケジューリング / RTOSのハードウェア化 / Erlang |
|---|
| 研究実績の概要 |
本年度は, 割り込み処理を含むプログラムのバイナリ合成, バイナリ合成における動的スケジューリング, およびバイナリ合成により合成する回路の効率化に関して下記の成果を挙げることができた.
1. 割り込み処理を含むプログラムのバイナリ合成: (1) リアルタイムOSを利用してC言語で記述したシステムの記述からハードウェアを自動合成する手法を確立し, 特許を出願した. (2) Erlangプログラムから合成するハードウェアを効率的に動作させるための分散メモリアーキテクチャを考案し, 動作を確認した. (3) タイマー割り込みに基づくモーターの制御記述からハードウェアを合成する手法に関して, 性能評価を行なった.
2. 動的スケジューリング: 先行して実行できるデータフローグラフは1つまでという制限を撤廃する手法を考案し, 昨年度の手法よりも性能が向上することを確認した.
3. 合成する回路の効率化: 合成手法による回路規模の削減に関しては成果を挙げることはできなかったが, プログラムを分割して複数のハードウェアに合成し, 並列動作させることによって処理速度を向上させる方法を確立し, RSAの復号化回路に適用して効果を確認した.
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
1: 当初の計画以上に進展している
理由
1. 懸案であったRTOS利用システムのフルハードウェア化の方法論を確立し, 特許を出願することができた. 現在μiTRONを実例として実証システムを開発しているところである. また, Erlangからの高位合成に関しても, 実用的な回路規模のハードウェアを合成するためのバス結合メモリ分散アーキテクチャを考案し, 動作を確認することができた.
2. 分散制御手法に関しては, 3つ以上のデータフローグラフにまたがって先行制御を行う手法が論理的に非常に難しかったが, 分岐予測を伴わない場合にこれを実現する手法が定式化できた.
3. バイナリ合成により合成できる回路規模削減手法については, 大きな進展を得ることができなかった.
|
| 今後の研究の推進方策 |
1. 割り込み処理のバイナリ合成: μiTRON利用システムのフルハードウェア化に関しては, 今年度中に合成システムのプロトタイプにより付属のsample1.cを動作させ, 割込み処理やタスクスイッチに要するサイクル数や回路規模を評価する計画である. また, Erlangからの高位合成に関しては, さらなる回路規模削減のために一部ライブラリモジュールのVerilog HDLによる設計, ハードウェア構成の最適化を行なって最終的な評価を行う計画である. モーター制御に関しては, FPGAにより全ての制御を実行する4輪自走車のプラットフォームを実装する計画である.
2. 分散制御に関しては, データフローグラフの記述からハードウェアを自動的に合成するシステムを実装し, 性能評価を行う計画である.
|
| 次年度使用額が生じた理由 |
新しい有効な手法を考案できたがそのシステム実装をまとめきれなかったために, 次年度使用額が生じた.
（使用計画）
新しい手法のシステム実装を完成させるとともに, 研究成果を各種学会で発表する計画である.
|
