{"metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00080903","sets":["1164:2822:6703:6704"]},"path":["6704"],"owner":"10","recid":"80903","title":["ハードウェア異常に対応した組込み制御ソフトウェア不具合のモデル検査手法"],"pubdate":{"attribute_name":"公開日","attribute_value":"2012-02-24"},"_buckets":{"deposit":"57a08464-de25-4800-81c3-9bcec282856a"},"_deposit":{"id":"80903","pid":{"type":"depid","value":"80903","revision_id":0},"owners":[10],"status":"published","created_by":10},"item_title":"ハードウェア異常に対応した組込み制御ソフトウェア不具合のモデル検査手法","author_link":["0","0"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"ハードウェア異常に対応した組込み制御ソフトウェア不具合のモデル検査手法"},{"subitem_title":"Model Checking to Find Defects in Embedded Control Software Affected by Hardware Failures","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"組込みシステム開発手法","subitem_subject_scheme":"Other"}]},"item_type_id":"4","publish_date":"2012-02-24","item_4_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"(株)日立製作所"},{"subitem_text_value":"(株)日立製作所"},{"subitem_text_value":"(株)日立製作所"},{"subitem_text_value":"日立オートモティブシステムズ(株)"}]},"item_4_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Hitachi Ltd.","subitem_text_language":"en"},{"subitem_text_value":"Hitachi Ltd.","subitem_text_language":"en"},{"subitem_text_value":"Hitachi Ltd.","subitem_text_language":"en"},{"subitem_text_value":"Hitachi Automotive Systems, Ltd.","subitem_text_language":"en"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"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/80903/files/IPSJ-EMB12024011.pdf"},"date":[{"dateType":"Available","dateValue":"2014-02-24"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-EMB12024011.pdf","filesize":[{"value":"725.5 kB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"660","billingrole":"5"},{"tax":["include_tax"],"price":"330","billingrole":"6"},{"tax":["include_tax"],"price":"0","billingrole":"42"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"493fa8b7-e604-4dd3-9e93-822e891e4880","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2012 by the Information Processing Society of Japan"}]},"item_4_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"松原, 正裕"},{"creatorName":"櫻井, 康平"},{"creatorName":"成沢, 文雄"},{"creatorName":"山中, 久光"}],"nameIdentifiers":[{}]}]},"item_4_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Masahiro, Matsubara","creatorNameLang":"en"},{"creatorName":"Kohei, Sakurai","creatorNameLang":"en"},{"creatorName":"Fumio, Narisawa","creatorNameLang":"en"},{"creatorName":"Hisamitsu, Yamanaka","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_4_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AA12149313","subitem_source_identifier_type":"NCID"}]},"item_4_textarea_12":{"attribute_name":"Notice","attribute_value_mlt":[{"subitem_textarea_value":"SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc."}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_18gh","resourcetype":"technical report"}]},"item_4_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"組込み制御システムではソフトウェア規模の増大により，処理タイミングによりごくまれに発生する不具合がシミュレーション等のテストでは発見できずに潜在する恐れが高まっている．このような不具合を検出するため，非定常の挙動を含む外部環境モデルと，外部環境との境界調整が容易なソフトウェアのスライシング方式を適用してモデル検査を行う手法を考案した．本手法を自動車用ソフトウェアの非再現不具合の原因調査に適用して不具合要因を発見し，本手法の有効性を確認した．","subitem_description_type":"Other"}]},"item_4_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"In embedded control systems, potential risks have been increasing because of software defects caused by a timing related problem. These defects are rarely found by simulation and test. To detect such defects, we have proposed model checking application method based on external environment models with unsteady behaviors and the software slicing technique using variable dependency graphs. We have applied the proposed method to an analysis of a non-reproducible defect in automotive control software and demonstrated the usefulness of the method.","subitem_description_type":"Other"}]},"item_4_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"5","bibliographic_titles":[{"bibliographic_title":"研究報告組込みシステム（EMB）"}],"bibliographicPageStart":"1","bibliographicIssueDates":{"bibliographicIssueDate":"2012-02-24","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"11","bibliographicVolumeNumber":"2012-EMB-24"}]},"relation_version_is_last":true,"weko_creator_id":"10"},"id":80903,"updated":"2025-01-21T19:35:05.912464+00:00","links":{},"created":"2025-01-18T23:35:15.099443+00:00"}