SpecCによるソフトウェア記述の実装記述への変換(仕様記述による実装)

スポンサーリンク

概要

論文の詳細を見る
組込みシステム設計においては,設計対象をソフトウェアとして実装する部分とハードウェアとして実装する部分に適切に分割することが必要である.我々は,この分割方法の決定を支援する設計手法について研究を進めている.この設計手法では,設計対象をシステムレベル記述言語であるSpecCにより記述し,それをツールによりソフトウェアとハードウェアの実装記述に変換するアプローチをとる.本論文では,SpecC記述の中でソフトウェアとして実装する部分を,C言語によるソフトウェア実装記述に変換する規則を定め,それを実現する変換ツールについて述べる.また,定めた変換規則とツールが,この設計手法で求められる要件を満たしていることを評価する.
2003-08-15

著者

関連論文

もっと見る

スポンサーリンク