著者

山田 英史 中居 祐輝 山根 智

出版者

一般社団法人情報処理学会

雑誌

情報処理学会論文誌プログラミング(PRO) (ISSN:18827802)

巻号頁・発行日

vol.6, no.3, pp.1-19, 2013-12-20

---

近年の組込み機器の多機能化を受け,消費電力の抑制や小型化のために動的再構成可能プロセッサ(DRP)が注目されている.本稿では,CPUとDRPから構成される動的再構成可能システムを対象とした仕様記述言語を提案する.提案する仕様記述言語では,線形階層ハイブリッドオートマトンとオブジェクト指向を組み合わせることで,システム構成の動的変化を表現している.また,提案言語を対象とした検証器を開発し,その有効性を実証する.Recently, embedded systems begin to have various functions, Dynamically Reconfigurable Processor (DRP) draws attention to solution for the miniaturization and saving energy. In this paper, we propose the specification language for Dynamically Reconfigurable System, which is composed of CPU and DRP. The proposed language describes dynamically changing the system using Hierarchical Linear Hybrid Automaton and Object Orientation. Then, we develop the verifier for the proposed specification language, and verify the system.