{"metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00027223","sets":["1164:2036:2061:2062"]},"path":["2062"],"owner":"1","recid":"27223","title":["実時間制約検証に特化したCANバスモデルの提案とシミュレータの試作"],"pubdate":{"attribute_name":"公開日","attribute_value":"2004-12-01"},"_buckets":{"deposit":"45b7d4d4-49fb-4b5d-b464-68acd8677965"},"_deposit":{"id":"27223","pid":{"type":"depid","value":"27223","revision_id":0},"owners":[1],"status":"published","created_by":1},"item_title":"実時間制約検証に特化したCANバスモデルの提案とシミュレータの試作","author_link":["0","0"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"実時間制約検証に特化したCANバスモデルの提案とシミュレータの試作"},{"subitem_title":"Proposal of a CAN Bus Model Aimed at Real - Time Constraint Verification and Implementation of the Simulator","subitem_title_language":"en"}]},"item_type_id":"4","publish_date":"2004-12-01","item_4_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"大阪大学　大学院情報科学研究科"},{"subitem_text_value":"大阪大学　大学院情報科学研究科"},{"subitem_text_value":"大阪大学　大学院情報科学研究科"},{"subitem_text_value":"大阪大学　大学院情報科学研究科"},{"subitem_text_value":"大阪大学　大学院情報科学研究科"}]},"item_4_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Graduate School of Information Science and Technology, Osaka University","subitem_text_language":"en"},{"subitem_text_value":"Graduate School of Information Science and Technology, Osaka University","subitem_text_language":"en"},{"subitem_text_value":"Graduate School of Information Science and Technology, Osaka University","subitem_text_language":"en"},{"subitem_text_value":"Graduate School of Information Science and Technology, Osaka University","subitem_text_language":"en"},{"subitem_text_value":"Graduate School of Information Science and Technology, Osaka University","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/27223/files/IPSJ-SLDM04117001.pdf"},"date":[{"dateType":"Available","dateValue":"2006-12-01"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-SLDM04117001.pdf","filesize":[{"value":"1.0 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":"10"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"3ca264b1-027d-46fe-9461-0c54b2576a25","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2004 by the Information Processing Society of Japan"}]},"item_4_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"山口, 聖二"},{"creatorName":"伊地知, 孝仁"},{"creatorName":"谷本, 匡亮"},{"creatorName":"中田, 明夫"},{"creatorName":"東野, 輝夫"}],"nameIdentifiers":[{}]}]},"item_4_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Seiji, Yamaguchi","creatorNameLang":"en"},{"creatorName":"Takahito, Ijichi","creatorNameLang":"en"},{"creatorName":"Tadaaki, Tanimoto","creatorNameLang":"en"},{"creatorName":"Akio, Nakata","creatorNameLang":"en"},{"creatorName":"Teruo, Higashino","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_4_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AA11451459","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":"本稿では，主に車内通信などに利用されているシリアスバスプロトコルであるCAN (Control Area Network)プロトコルについて，実時間制約検証を効率よく行うことができるような仕様を抽象化したモデルを提案する．提案モデルでは，メッセージ送信時のバス使用権の取得や通信におけるエラー発生時の処理，クロックサイクル消費の扱いなどの点で抽象化を行う．その結果，実際のシステムでバス上を流れる波形を考慮する必要がなくなるため，検証の高速化を実現できる．また，静的解析と異なり，具体的なバス通信動作および通信エラー処理をシミュレート可能である．提案する抽象化モデルに基づいて，ユニット毎の動作記述，バスクロック単位での動作確認が可能なシミュレータを試作する．試作したシミュレータを文献[5]の例題に適用し，シミュレーション結果を比較することによち，提案モデルの有効性を示す．","subitem_description_type":"Other"}]},"item_4_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"In this paper, we propose a model for CAN (Control Area Network) protocol, which is a serial bus protocol mainly used for the communications in car system. Our model is an abstraction of the specification of CAN protocol, aimed at improving performance of dynamic verification (simulation) of real-time constraints for bus communication. In our proposed model, we abstract bus arbitration, error handling, and clock cycle handling. By the proposed abstraction, we need not perform a costly waveform simulation. Moreover, unlike static analyses, we can also check correctness of the system behavior in the presence of bus communication errors by simulation. We have implemented a simulator based on our proposed abstracted model. In the simulator, we can specify a concrete I/O behavior for each unit of a bus system, enabling us to check whether real-time constraints are satisfied in the specified behavior setting, as well as influence of bus communication errors. We present some experimental results to show that our abstraction is appropriate and effective for the real-time constraint verification.","subitem_description_type":"Other"}]},"item_4_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"6","bibliographic_titles":[{"bibliographic_title":"情報処理学会研究報告システムLSI設計技術（SLDM）"}],"bibliographicPageStart":"1","bibliographicIssueDates":{"bibliographicIssueDate":"2004-12-01","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"122(2004-SLDM-117)","bibliographicVolumeNumber":"2004"}]},"relation_version_is_last":true,"weko_creator_id":"1"},"id":27223,"updated":"2025-01-22T18:36:38.191869+00:00","links":{},"created":"2025-01-18T22:57:38.328731+00:00"}