WEKO3
インデックスリンク
アイテム
{"_buckets": {"deposit": "25bbf396-434f-4b82-ac83-a640fb253c80"}, "_deposit": {"created_by": 18, "id": "43284", "owners": [18], "pid": {"revision_id": 0, "type": "depid", "value": "43284"}, "status": "published"}, "_oai": {"id": "oai:kanazawa-u.repo.nii.ac.jp:00043284", "sets": ["936"]}, "author_link": ["69841", "69843", "69844", "69845"], "item_4_biblio_info_8": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2017-08-01", "bibliographicIssueDateType": "Issued"}, "bibliographicIssueNumber": "8", "bibliographicPageEnd": "1826", "bibliographicPageStart": "1819", "bibliographicVolumeNumber": "E100D", "bibliographic_titles": [{"bibliographic_title": "IEICE Transactions on Information and Systems"}]}]}, "item_4_creator_33": {"attribute_name": "著者別表示", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "山根, 智"}], "nameIdentifiers": [{"nameIdentifier": "69845", "nameIdentifierScheme": "WEKO"}]}]}, "item_4_description_21": {"attribute_name": "抄録", "attribute_value_mlt": [{"subitem_description": "Embedded systems have been widely used. In addition, embedded systems have been gradually complicated. It is important to ensure the safety for embedded software by software model checking. We have developed a verification system for verifying embedded assembly programs. It generates exact Kripke structure by exhaustively and dynamically simulating assembly programs, and simultaneously verify it by model checking. In addition, we have introduced undefined values to reduce the number of states in order to avoid the state space explosion. Copyright © 2017 The Institute of Electronics, Information and Communication Engineers.", "subitem_description_type": "Abstract"}]}, "item_4_description_22": {"attribute_name": "内容記述", "attribute_value_mlt": [{"subitem_description": "発行後6か月より出版社版", "subitem_description_type": "Other"}]}, "item_4_description_5": {"attribute_name": "提供者所属", "attribute_value_mlt": [{"subitem_description": "金沢大学理工研究域電子情報学系 ", "subitem_description_type": "Other"}]}, "item_4_identifier_registration": {"attribute_name": "ID登録", "attribute_value_mlt": [{"subitem_identifier_reg_text": "10.24517/00049631", "subitem_identifier_reg_type": "JaLC"}]}, "item_4_publisher_17": {"attribute_name": "出版者", "attribute_value_mlt": [{"subitem_publisher": "電子情報通信学会 IEICE = The Institute of Electronics, Information and Communication Engineers "}]}, "item_4_relation_12": {"attribute_name": "DOI", "attribute_value_mlt": [{"subitem_relation_type": "isIdenticalTo", "subitem_relation_type_id": {"subitem_relation_type_id_text": "10.1587/transinf.2016EDP7452", "subitem_relation_type_select": "DOI"}}]}, "item_4_relation_28": {"attribute_name": "関連URI", "attribute_value_mlt": [{"subitem_relation_name": [{"subitem_relation_name_text": "https://www.jstage.jst.go.jp/browse/transinf/-char/en"}], "subitem_relation_type_id": {"subitem_relation_type_id_text": "https://www.jstage.jst.go.jp/browse/transinf/-char/en", "subitem_relation_type_select": "URI"}}, {"subitem_relation_name": [{"subitem_relation_name_text": "http://www.ieice.org/jpn/"}], "subitem_relation_type_id": {"subitem_relation_type_id_text": "http://www.ieice.org/jpn/", "subitem_relation_type_select": "URI"}}]}, "item_4_rights_23": {"attribute_name": "権利", "attribute_value_mlt": [{"subitem_rights": "Copyright © 電子情報通信学会 IEICE, The Institute of Electronics, Information and Communication Engineers"}]}, "item_4_source_id_11": {"attribute_name": "NCID", "attribute_value_mlt": [{"subitem_source_identifier": "AA10826272", "subitem_source_identifier_type": "NCID"}]}, "item_4_source_id_9": {"attribute_name": "ISSN", "attribute_value_mlt": [{"subitem_source_identifier": "0916-8532", "subitem_source_identifier_type": "ISSN"}]}, "item_4_version_type_25": {"attribute_name": "著者版フラグ", "attribute_value_mlt": [{"subitem_version_resource": "http://purl.org/coar/version/c_970fb48d4fbd8a85", "subitem_version_type": "VoR"}]}, "item_creator": {"attribute_name": "著者", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "Yamane, Satoshi"}], "nameIdentifiers": [{"nameIdentifier": "69841", "nameIdentifierScheme": "WEKO"}, {"nameIdentifier": "70263506", "nameIdentifierScheme": "e-Rad", "nameIdentifierURI": "https://kaken.nii.ac.jp/ja/search/?qm=70263506"}]}, {"creatorNames": [{"creatorName": "Konoshita, Ryosuke"}], "nameIdentifiers": [{"nameIdentifier": "69843", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "Kato, Tomonori"}], "nameIdentifiers": [{"nameIdentifier": "69844", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2018-02-02"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "TE-PR-YAMANE-S-1819.pdf", "filesize": [{"value": "355.1 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_6", "mimetype": "application/pdf", "size": 355100.0, "url": {"label": "TE-PR-YAMANE-S-1819.pdf", "url": "https://kanazawa-u.repo.nii.ac.jp/record/43284/files/TE-PR-YAMANE-S-1819.pdf"}, "version_id": "ee9ed7c4-6688-4532-80aa-eb78e6ecd8f4"}]}, "item_keyword": {"attribute_name": "キーワード", "attribute_value_mlt": [{"subitem_subject": "Embedded assembly program", "subitem_subject_scheme": "Other"}, {"subitem_subject": "Model checking", "subitem_subject_scheme": "Other"}, {"subitem_subject": "Simulation", "subitem_subject_scheme": "Other"}]}, "item_language": {"attribute_name": "言語", "attribute_value_mlt": [{"subitem_language": "eng"}]}, "item_resource_type": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"resourcetype": "journal article", "resourceuri": "http://purl.org/coar/resource_type/c_6501"}]}, "item_title": "Model checking of embedded assembly program based on simulation", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "Model checking of embedded assembly program based on simulation"}]}, "item_type_id": "4", "owner": "18", "path": ["936"], "permalink_uri": "https://doi.org/10.24517/00049631", "pubdate": {"attribute_name": "公開日", "attribute_value": "2017-12-28"}, "publish_date": "2017-12-28", "publish_status": "0", "recid": "43284", "relation": {}, "relation_version_is_last": true, "title": ["Model checking of embedded assembly program based on simulation"], "weko_shared_id": -1}
Model checking of embedded assembly program based on simulation
https://doi.org/10.24517/00049631
https://doi.org/10.24517/0004963150329c6d-6e7a-4cdb-bba6-db8699516fbb
名前 / ファイル | ライセンス | アクション |
---|---|---|
TE-PR-YAMANE-S-1819.pdf (355.1 kB)
|
Item type | 学術雑誌論文 / Journal Article(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2017-12-28 | |||||
タイトル | ||||||
タイトル | Model checking of embedded assembly program based on simulation | |||||
言語 | ||||||
言語 | eng | |||||
資源タイプ | ||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
資源タイプ | journal article | |||||
ID登録 | ||||||
ID登録 | 10.24517/00049631 | |||||
ID登録タイプ | JaLC | |||||
著者 |
Yamane, Satoshi
× Yamane, Satoshi× Konoshita, Ryosuke× Kato, Tomonori |
|||||
著者別表示 |
山根, 智
× 山根, 智 |
|||||
提供者所属 | ||||||
内容記述タイプ | Other | |||||
内容記述 | 金沢大学理工研究域電子情報学系 | |||||
書誌情報 |
IEICE Transactions on Information and Systems 巻 E100D, 号 8, p. 1819-1826, 発行日 2017-08-01 |
|||||
ISSN | ||||||
収録物識別子タイプ | ISSN | |||||
収録物識別子 | 0916-8532 | |||||
NCID | ||||||
収録物識別子タイプ | NCID | |||||
収録物識別子 | AA10826272 | |||||
DOI | ||||||
関連タイプ | isIdenticalTo | |||||
識別子タイプ | DOI | |||||
関連識別子 | 10.1587/transinf.2016EDP7452 | |||||
出版者 | ||||||
出版者 | 電子情報通信学会 IEICE = The Institute of Electronics, Information and Communication Engineers | |||||
抄録 | ||||||
内容記述タイプ | Abstract | |||||
内容記述 | Embedded systems have been widely used. In addition, embedded systems have been gradually complicated. It is important to ensure the safety for embedded software by software model checking. We have developed a verification system for verifying embedded assembly programs. It generates exact Kripke structure by exhaustively and dynamically simulating assembly programs, and simultaneously verify it by model checking. In addition, we have introduced undefined values to reduce the number of states in order to avoid the state space explosion. Copyright © 2017 The Institute of Electronics, Information and Communication Engineers. | |||||
内容記述 | ||||||
内容記述タイプ | Other | |||||
内容記述 | 発行後6か月より出版社版 | |||||
権利 | ||||||
権利情報 | Copyright © 電子情報通信学会 IEICE, The Institute of Electronics, Information and Communication Engineers | |||||
著者版フラグ | ||||||
出版タイプ | VoR | |||||
出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||
関連URI | ||||||
識別子タイプ | URI | |||||
関連識別子 | https://www.jstage.jst.go.jp/browse/transinf/-char/en | |||||
関連名称 | https://www.jstage.jst.go.jp/browse/transinf/-char/en | |||||
関連URI | ||||||
識別子タイプ | URI | |||||
関連識別子 | http://www.ieice.org/jpn/ | |||||
関連名称 | http://www.ieice.org/jpn/ |