動的ハイブリッドオートマトンによる動的再構成可能組込みシステムの高度な設計検証

フォーマット:

論文

責任表示:

山根, 智 ; Yamane, Satoshi

言語:

日本語

出版情報:

2015-06-09

著者名:

• 山根, 智
• Yamane, Satoshi

掲載情報:

平成26(2014)年度 科学研究費補助金 基盤研究(C) 研究成果報告書 = 2014 Fiscal Year Final Research Report

巻:

2012-04-01 - 2015-03-31

開始ページ:

4p.

バージョン:

author

概要:

金沢大学 理工研究域電子情報通信学系<br />動的再構成可能組込みシステムは，ソフトウェア(汎用CPU)とハードウェア(動的再構成可能プロセッサ(DRP))が協調して，低消費電力で多様な機能を実現する革新的なアーキテクチャであり，複雑な構成と動作を有している．本研究では，①動的ハイブリッドオートマトンの開発，②その抽象化精錬検証の開発により，コタスクの生成消滅，周波数の動的変化，状態の階層並列性などを扱える設計検証を実現して，動的再構成可能組込みシステムの高度な … 設計検証技術を確立して，その有効性を実証する．<br />A system which can changes its configuration during operations is called Dynamically Reconfigurable System. In a Dynamically reconfigurable system, software (CPU) and hardware (DRP(Dynamically Reconfigurable Processor)) behaves cooeratively.In this study, we develop dynamic hybrid automata, and CEGAR(CounterExample-Guided Abstraction Refinement) based model checking. Also we develop our model checker based on our proposed methods, and show them effective.<br />研究課題/領域番号:24500034, 研究期間(年度):2012-04-01 - 2015-03-31 続きを見る

URL:

http://hdl.handle.net/2297/00053963