{"created":"2023-07-27T06:53:15.296935+00:00","id":47639,"links":{},"metadata":{"_buckets":{"deposit":"36734d7a-e76b-4750-a403-d9e4e812a463"},"_deposit":{"created_by":18,"id":"47639","owners":[18],"pid":{"revision_id":0,"type":"depid","value":"47639"},"status":"published"},"_oai":{"id":"oai:kanazawa-u.repo.nii.ac.jp:00047639","sets":["2812:2813:2819"]},"author_link":["397","84982"],"item_9_biblio_info_8":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2015-06-09","bibliographicIssueDateType":"Issued"},"bibliographicPageStart":"4p.","bibliographicVolumeNumber":"2012-04-01 - 2015-03-31","bibliographic_titles":[{"bibliographic_title":"平成26(2014)年度 科学研究費補助金 基盤研究(C) 研究成果報告書"},{"bibliographic_title":"2014 Fiscal Year Final Research Report","bibliographic_titleLang":"en"}]}]},"item_9_creator_33":{"attribute_name":"著者別表示","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{}],"nameIdentifiers":[{},{}]}]},"item_9_description_21":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"動的再構成可能組込みシステムは，ソフトウェア(汎用CPU)とハードウェア(動的再構成可能プロセッサ(DRP))が協調して，低消費電力で多様な機能を実現する革新的なアーキテクチャであり，複雑な構成と動作を有している．\n本研究では，①動的ハイブリッドオートマトンの開発，②その抽象化精錬検証の開発により，コタスクの生成消滅，周波数の動的変化，状態の階層並列性などを扱える設計検証を実現して，動的再構成可能組込みシステムの高度な設計検証技術を確立して，その有効性を実証する．","subitem_description_type":"Abstract"},{"subitem_description":"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.\nIn 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.","subitem_description_type":"Abstract"}]},"item_9_description_22":{"attribute_name":"内容記述","attribute_value_mlt":[{"subitem_description":"研究課題/領域番号:24500034, 研究期間(年度):2012-04-01 - 2015-03-31","subitem_description_type":"Other"},{"subitem_description":"出典：研究課題「動的ハイブリッドオートマトンによる動的再構成可能組込みシステムの高度な設計検証」課題番号24500034\n（KAKEN：科学研究費助成事業データベース（国立情報学研究所）） \n（https://kaken.nii.ac.jp/report/KAKENHI-PROJECT-24500034/24500034seika/)を加工して作成","subitem_description_type":"Other"}]},"item_9_description_5":{"attribute_name":"提供者所属","attribute_value_mlt":[{"subitem_description":"金沢大学 理工研究域電子情報通信学系","subitem_description_type":"Other"}]},"item_9_identifier_registration":{"attribute_name":"ID登録","attribute_value_mlt":[{"subitem_identifier_reg_text":"10.24517/00053963","subitem_identifier_reg_type":"JaLC"}]},"item_9_relation_28":{"attribute_name":"関連URI","attribute_value_mlt":[{"subitem_relation_name":[{"subitem_relation_name_text":"https://kaken.nii.ac.jp/search/?qm=70263506"}],"subitem_relation_type_id":{"subitem_relation_type_id_text":"https://kaken.nii.ac.jp/search/?qm=70263506","subitem_relation_type_select":"URI"}},{"subitem_relation_name":[{"subitem_relation_name_text":"https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-24500034/"}],"subitem_relation_type_id":{"subitem_relation_type_id_text":"https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-24500034/","subitem_relation_type_select":"URI"}},{"subitem_relation_name":[{"subitem_relation_name_text":"https://kaken.nii.ac.jp/report/KAKENHI-PROJECT-24500034/24500034seika/"}],"subitem_relation_type_id":{"subitem_relation_type_id_text":"https://kaken.nii.ac.jp/report/KAKENHI-PROJECT-24500034/24500034seika/","subitem_relation_type_select":"URI"}}]},"item_9_version_type_25":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_ab4af688f83e57aa","subitem_version_type":"AM"}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2019-05-13"}],"displaytype":"detail","filename":"TE-PR-YAMANE-S-kaken 2015-4p.pdf","filesize":[{"value":"399.0 kB"}],"format":"application/pdf","licensetype":"license_11","mimetype":"application/pdf","url":{"label":"TE-PR-YAMANE-S-kaken 2015-4p.pdf","url":"https://kanazawa-u.repo.nii.ac.jp/record/47639/files/TE-PR-YAMANE-S-kaken 2015-4p.pdf"},"version_id":"34857767-38f6-4bf8-95a3-a418afa9f6cc"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"research report","resourceuri":"http://purl.org/coar/resource_type/c_18ws"}]},"item_title":"動的ハイブリッドオートマトンによる動的再構成可能組込みシステムの高度な設計検証","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"動的ハイブリッドオートマトンによる動的再構成可能組込みシステムの高度な設計検証"},{"subitem_title":"Advanced methods of design and verification for dynamically reconfigurable embedded systems","subitem_title_language":"en"}]},"item_type_id":"9","owner":"18","path":["2819"],"pubdate":{"attribute_name":"公開日","attribute_value":"2019-05-13"},"publish_date":"2019-05-13","publish_status":"0","recid":"47639","relation_version_is_last":true,"title":["動的ハイブリッドオートマトンによる動的再構成可能組込みシステムの高度な設計検証"],"weko_creator_id":"18","weko_shared_id":-1},"updated":"2023-07-27T09:41:40.097879+00:00"}