動的再構成可能システムの仕様記述言語の提案およびその検証実験
Bibliographic Information
- Other Title
-
- Proposal of Specification Language and Verification Experiment for Dynamically Reconfigurable System
Search this article
Abstract
近年の組込み機器の多機能化を受け,消費電力の抑制や小型化のために動的再構成可能プロセッサ(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.
Journal
-
- 情報処理学会論文誌プログラミング(PRO)
-
情報処理学会論文誌プログラミング(PRO) 6 (3), 1-19, 2013-12-20
- Tweet
Details 詳細情報について
-
- CRID
- 1050564287857778688
-
- NII Article ID
- 110009656443
-
- NII Book ID
- AA11464814
-
- ISSN
- 18827802
-
- Web Site
- http://id.nii.ac.jp/1001/00096917/
-
- Text Lang
- ja
-
- Article Type
- article
-
- Data Source
-
- IRDB
- CiNii Articles
- KAKEN