並列タイトル等Advanced methods of design and verification for dynamically reconfigurable embedded systems
タイトル(掲載誌)平成26(2014)年度 科学研究費補助金 基盤研究(C) 研究成果報告書 = 2014 Fiscal Year Final Research Report
一般注記金沢大学 理工研究域電子情報通信学系
動的再構成可能組込みシステムは,ソフトウェア(汎用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
一次資料へのリンクURLhttps://kanazawa-u.repo.nii.ac.jp/?action=repository_action_common_download&item_id=47639&item_no=1&attribute_id=26&file_no=1
関連情報https://kaken.nii.ac.jp/search/?qm=70263506
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-24500034/
https://kaken.nii.ac.jp/report/KAKENHI-PROJECT-24500034/24500034seika/
連携機関・データベース国立情報学研究所 : 学術機関リポジトリデータベース(IRDB)(機関リポジトリ)