| 研究概要 |
本研究は,副作用が原理的に生じない検証性と高度並列・多重処理の能力を併せ持つ,デ-タ駆動型処理原理を基礎として,了解性の高い各種の図的な手法を導入した多面的な仕様記述体系から,効率のよい高度並列・実時間処理プログラムを自動生成するソフトウエア環境の確立を目的としている。本年度の成果は以下のように要約される。
1.仕様記述手法に関する研究:特定の仕様記述形式を利用者に強要することなく,対象とする問題を多様な側面から各々に適した形式を用いて表現できる,多面的な記述手法が,実時間・高度並列処理の仕様記述として有望であることを明らかにした。具体的には,多面的な図的表現形式として,状態遷移図,決定表,関係表,デ-タブロック図などの形式的表現に加えて,一般的な機能ブロック図やシ-ケンス図などの半形式な表現形式を共存させる手法を検討した。
2.仕様記述体系の実現法に関する研究:上記の多面的仕様記述手法の体系的実現法として,機能ブロック図のようなフロ-グラフ型記述とデ-タブロック図のような木構造型記述を核として選択,これらを中心としてジェネリックに発展させる実現法を明らかにした。
3.ソフトウエア環境のプロトタイプの構築:上記の述べた核となる記述手法を対象にしたソフトウエア環境のプロトタイプとして,申請者らが並行して研究中のデ-タ駆動型プロセッサを処理要素とする、マルチプロッサ構成を採用したエミュレ-ションシステム上で実行可能なデ-タ駆動型高度並列プログラムを生成するシステムを,設備備品に申請したワ-クステ-ション上に実現した。
4.デ-タ駆動型実行方式に関する研究:先の仕様記述体系から生成されるプログラムを実験的に検証するため,エミュレ-ションシステムの自律分散型高度並列実行の評価環境を構築した。
|
