1992 Fiscal Year Annual Research Report
図的仕様記述からのデータ駆動型高度並列・実時間処理プログラムの自動生成の研究
| Project/Area Number |
02452163
|
|---|
| Research Institution | Osaka University |
|---|
Principal Investigator |
寺田 浩詔 大阪大学, 工学部, 教授 (80028985)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
許 炎 大阪大学, 工学部, 助手 (00243171)
岩田 誠 大阪大学, 工学部, 助手 (60232683)
西川 博昭 筑波大学, 第三学群, 助教授 (60180593)
|
|---|
| Keywords | 動的データ駆動型処理原理 / 実時間処理 / 自律分散処理 / 高度並列処理 / 多面的図的仕様記述環境 / プログラム自動生成 / 自己適用的システム実現法 / 動的データ駆動型マルチプロセッサ・システム |
|---|
| Research Abstract |
本研究は,副作用が原理的に生じない検証性と高度並列・多重処理の能力を併せ持つ,データ駆動型処理原理を基礎として,了解性の高い各種の図的な手法を導入した多面的な仕様記述体系から,効率のよい高度並列・実時間処理プログラムを自動生成するソフトウエア環境の確立を目的としている。最終年度の成果は以下のように要約される。
1.仕様記述手法に関する研究:特定の仕様記述形式を利用者に強要することなく,対象とする問題を多様な側面から各々に適した形式を用いて表現できる,多面的な記述手法が,実時間・高度並列処理の仕様記述として有望であることを明らかにした。具体的には,多面的な図的表現形式として,状態遷移図,決定表,データブロック図などの形式的表現に加えて,一般的な機能ブロック図やシーケンス図などの半形式的な表現形式を共存させる階層的記述手法を検討した。
2.仕様記述体系の実現法に関する研究:上記の多面的仕様記述手法の体系的実現法として,機能ブロック図のようなフローグラフ型記述とデータブロック図のような木構造型記述を核として選択し,これらを中心としてジェネリックに発展させる実現法を明らかにし,そのプロトタイプとして,現在稼働中の1チップデータ駆動型プロセッサ上で実行可能なプログラムの生成系を設備備品に申請したワークステーション上に構築した。
3.プロトタイプの評価:実時間処理の具体例として,HDLCプロトコル処理,ならびに,エレーベータ問題を取り上げ,本プロトタイプ上で仕様記述実験を試みた。その結果,仕様記述の各階層での追加型プロトタイピングの重要性を再認識し,状態遷移を含む処理に関して,要求が未確定でもスタブを用いた実行可能プログラムを生成できる手法を明らかにした。
|
-
[Publications] 坪田 浩乃: "シングルチップ・データ駆動型プロセッサのアーキテクチャ評価" 情報処理学会論文誌. 34. (1993)
-
[Publications] 坪田 浩乃: "1チップ・データ駆動型プロセッサのアーキテクチャ評価" 情報処理学会・並列処理シンポジウム予稿集. 313-320 (1992)
-
[Publications] 岩田 誠: "多面的図的仕様記述環境の通信ソフトウェアへの適用" 第一回「通信ソフトウェアのための新しい方法論」WS予稿集. B-2-1-B-2-8 (1992)
-
[Publications] Hiroaki TERADA: "Superpipelined dynamic data-driven VLSI processors" Proc.IEEE 2nd International Workshop on Data-Flow Computing. (1992)
-
[Publications] Makoto IWATA: "Multilateral diagrammatical specification environment based on data-driven paradigm" Proc.IEEE 2nd International Workshop on Data-Flow Computing. (1992)
