{"metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00202548","sets":["6164:6165:7019:10068"]},"path":["10068"],"owner":"44499","recid":"202548","title":["統計的モデル検査法を用いたSTAMP/STPAにおけるシナリオのリスク分析"],"pubdate":{"attribute_name":"公開日","attribute_value":"2020-01-17"},"_buckets":{"deposit":"ec365eb0-a6e8-4595-806a-ec63c14fde9f"},"_deposit":{"id":"202548","pid":{"type":"depid","value":"202548","revision_id":0},"owners":[44499],"status":"published","created_by":44499},"item_title":"統計的モデル検査法を用いたSTAMP/STPAにおけるシナリオのリスク分析","author_link":["497316","497321","497318","497317","497325","497319","497324","497323","497320","497327","497326","497322"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"統計的モデル検査法を用いたSTAMP/STPAにおけるシナリオのリスク分析"},{"subitem_title":"Risk Analysis of Scenarios based on STAMP/STPA Using Statistical Model Checking","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"形式手法 －産学連携で課題解決を目指す－","subitem_subject_scheme":"Other"}]},"item_type_id":"18","publish_date":"2020-01-17","item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_18_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"奈良先端科学技術大学院大学"},{"subitem_text_value":"奈良先端科学技術大学院大学"},{"subitem_text_value":"奈良先端科学技術大学院大学"},{"subitem_text_value":"宇宙航空研究開発機構"},{"subitem_text_value":"宇宙航空研究開発機構"},{"subitem_text_value":"奈良先端科学技術大学院大学"}]},"item_18_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Nara Institute of Science and Technology (NAIST)","subitem_text_language":"en"},{"subitem_text_value":"Nara Institute of Science and Technology (NAIST)","subitem_text_language":"en"},{"subitem_text_value":"Japan Aerospace Exploration Agency (JAXA)","subitem_text_language":"en"},{"subitem_text_value":"Japan Aerospace Exploration Agency (JAXA)","subitem_text_language":"en"},{"subitem_text_value":"Nara Institute of Science and Technology (NAIST)","subitem_text_language":"en"},{"subitem_text_value":"Nara Institute of Science and Technology (NAIST)","subitem_text_language":"en"}]},"item_publisher":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"情報処理学会","subitem_publisher_language":"ja"}]},"publish_status":"0","weko_shared_id":-1,"item_file_price":{"attribute_name":"Billing file","attribute_type":"file","attribute_value_mlt":[{"url":{"url":"https://ipsj.ixsq.nii.ac.jp/record/202548/files/IPSJ-WWS2020001.pdf","label":"IPSJ-WWS2020001.pdf"},"date":[{"dateType":"Available","dateValue":"2022-01-17"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-WWS2020001.pdf","filesize":[{"value":"1.2 MB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"660","billingrole":"5"},{"tax":["include_tax"],"price":"330","billingrole":"6"},{"tax":["include_tax"],"price":"0","billingrole":"12"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"43586930-7564-42fc-bc7e-c06a95072b74","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2020 by the Information Processing Society of Japan"}]},"item_18_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"辻, 光顕"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"高井, 利憲"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"柿本, 和希"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"石濱, 直樹"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"片平, 真史"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"飯田, 元"}],"nameIdentifiers":[{}]}]},"item_18_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Mitsuaki, Tsuji","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Toshinori, Takai","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Kazuki, Kakimoto","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Naoki, Ishihama","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Masafumi, Katahira","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Hajimu, Iida","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_5794","resourcetype":"conference paper"}]},"item_18_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"近年，ソフトウェアを中心としたシステムに対する新たな安全分析手法として STAMP/STPA が注目されている．STAMP/STPA では，システムに対する安全コントロールストラクチャを作成し，そこからハザードに至るシナリオおよび安全対策を導出する．一方で，効率的にシステムの安全性を高めるためには，リスクに基づくシナリオの優先付けによる安全対策の検討が必要であると考えられる．そこで本稿では，統計的モデル検査法を利用してシナリオに対するリスクを評価する手法について述べる．特に，踏切制御システムを題材として，安全コントロールストラクチャやシナリオなどを系統的に形式化する方法について説明する．","subitem_description_type":"Other"}]},"item_18_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"2","bibliographic_titles":[{"bibliographic_title":"ウィンターワークショップ2020・イン・京都 論文集"}],"bibliographicPageStart":"1","bibliographicIssueDates":{"bibliographicIssueDate":"2020-01-17","bibliographicIssueDateType":"Issued"},"bibliographicVolumeNumber":"2020"}]},"relation_version_is_last":true,"weko_creator_id":"44499"},"id":202548,"updated":"2025-01-19T20:50:43.448692+00:00","links":{},"created":"2025-01-19T01:05:06.442130+00:00"}