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