@techreport{oai:kanazawa-u.repo.nii.ac.jp:00047639,
 month = {Jun},
 note = {動的再構成可能組込みシステムは，ソフトウェア(汎用CPU)とハードウェア(動的再構成可能プロセッサ(DRP))が協調して，低消費電力で多様な機能を実現する革新的なアーキテクチャであり，複雑な構成と動作を有している．
本研究では，①動的ハイブリッドオートマトンの開発，②その抽象化精錬検証の開発により，コタスクの生成消滅，周波数の動的変化，状態の階層並列性などを扱える設計検証を実現して，動的再構成可能組込みシステムの高度な設計検証技術を確立して，その有効性を実証する．, 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., 研究課題/領域番号:24500034, 研究期間(年度):2012-04-01 - 2015-03-31, 出典：研究課題「動的ハイブリッドオートマトンによる動的再構成可能組込みシステムの高度な設計検証」課題番号24500034
（KAKEN：科学研究費助成事業データベース（国立情報学研究所）） 
（https://kaken.nii.ac.jp/report/KAKENHI-PROJECT-24500034/24500034seika/)を加工して作成, 金沢大学 理工研究域電子情報通信学系},
 title = {動的ハイブリッドオートマトンによる動的再構成可能組込みシステムの高度な設計検証},
 year = {2015}
}