動的再構成可能システムの仕様記述言語の提案およびその検証実験
スポンサーリンク
概要
- 論文の詳細を見る
近年の組込み機器の多機能化を受け,消費電力の抑制や小型化のために動的再構成可能プロセッサ(DRP)が注目されている.本稿では,CPUとDRPから構成される動的再構成可能システムを対象とした仕様記述言語を提案する.提案する仕様記述言語では,線形階層ハイブリッドオートマトンとオブジェクト指向を組み合わせることで,システム構成の動的変化を表現している.また,提案言語を対象とした検証器を開発し,その有効性を実証する.
- 2013-12-20
著者
関連論文
- 動的再構成可能プロセッサの離散シミュレータの開発(コンカレントシステム,離散事象システム及び一般)
- DLHAによるCPUとDRPの協調動作の組込みシステムのシステム仕様記述
- DLHAによるCPUとDRPの協調動作の組込みシステムのシステム仕様記述
- 組込みCISCマイコンのアセンブリプログラムに対する振舞い抽出器の開発とモデル検査への適用〜シミュレーションによるモデルの自動生成〜
- 動的再構成可能システムの仕様記述言語の提案およびその検証実験