WEKO3
アイテム
動的ハイブリッドオートマトンによる動的再構成可能組込みシステムの高度な設計検証
https://doi.org/10.24517/00053963
https://doi.org/10.24517/00053963e703b2ad-c940-4124-96f9-a9edef2ec9e2
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
TE-PR-YAMANE-S-kaken 2015-4p.pdf (399.0 kB)
|
.png)
|
| Item type | 報告書 / Research Paper(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2019-05-13 | |||||
| タイトル | ||||||
| タイトル | 動的ハイブリッドオートマトンによる動的再構成可能組込みシステムの高度な設計検証 | |||||
| タイトル | ||||||
| タイトル | Advanced methods of design and verification for dynamically reconfigurable embedded systems | |||||
| 言語 | en | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18ws | |||||
| 資源タイプ | research report | |||||
| ID登録 | ||||||
| ID登録 | 10.24517/00053963 | |||||
| ID登録タイプ | JaLC | |||||
| 著者 |
山根, 智
× 山根, 智 |
|||||
| 提供者所属 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 金沢大学 理工研究域電子情報通信学系 | |||||
| 書誌情報 |
平成26(2014)年度 科学研究費補助金 基盤研究(C) 研究成果報告書 en : 2014 Fiscal Year Final Research Report 巻 2012-04-01 - 2015-03-31, p. 4p., 発行日 2015-06-09 |
|||||
| 抄録 | ||||||
| 内容記述タイプ | Abstract | |||||
| 内容記述 | 動的再構成可能組込みシステムは，ソフトウェア(汎用CPU)とハードウェア(動的再構成可能プロセッサ(DRP))が協調して，低消費電力で多様な機能を実現する革新的なアーキテクチャであり，複雑な構成と動作を有している． 本研究では，①動的ハイブリッドオートマトンの開発，②その抽象化精錬検証の開発により，コタスクの生成消滅，周波数の動的変化，状態の階層並列性などを扱える設計検証を実現して，動的再構成可能組込みシステムの高度な設計検証技術を確立して，その有効性を実証する． |
|||||
| 抄録 | ||||||
| 内容記述タイプ | Abstract | |||||
| 内容記述 | 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. |
|||||
| 内容記述 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 研究課題/領域番号:24500034, 研究期間(年度):2012-04-01 - 2015-03-31 | |||||
| 内容記述 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 出典：研究課題「動的ハイブリッドオートマトンによる動的再構成可能組込みシステムの高度な設計検証」課題番号24500034 （KAKEN：科学研究費助成事業データベース（国立情報学研究所）） （https://kaken.nii.ac.jp/report/KAKENHI-PROJECT-24500034/24500034seika/)を加工して作成 |
|||||
| 著者版フラグ | ||||||
| 出版タイプ | AM | |||||
| 出版タイプResource | http://purl.org/coar/version/c_ab4af688f83e57aa | |||||
| 関連URI | ||||||
| 識別子タイプ | URI | |||||
| 関連識別子 | https://kaken.nii.ac.jp/search/?qm=70263506 | |||||
| 関連名称 | https://kaken.nii.ac.jp/search/?qm=70263506 | |||||
| 関連URI | ||||||
| 識別子タイプ | URI | |||||
| 関連識別子 | https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-24500034/ | |||||
| 関連名称 | https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-24500034/ | |||||
| 関連URI | ||||||
| 識別子タイプ | URI | |||||
| 関連識別子 | https://kaken.nii.ac.jp/report/KAKENHI-PROJECT-24500034/24500034seika/ | |||||
| 関連名称 | https://kaken.nii.ac.jp/report/KAKENHI-PROJECT-24500034/24500034seika/ | |||||
