{"updated":"2025-01-22T00:14:26.400955+00:00","links":{},"metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00068325","sets":["1164:1384:6059:6060"]},"path":["6060"],"owner":"10","recid":"68325","title":["サービス指向車載ソフトウェアの協調制御におけるタイミング設計方法の提案と評価"],"pubdate":{"attribute_name":"公開日","attribute_value":"2010-03-11"},"_buckets":{"deposit":"c5c6245c-c14f-442e-9340-3bcd337ab110"},"_deposit":{"id":"68325","pid":{"type":"depid","value":"68325","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":"Design Method for Timing of Cooperative Control for Service-Oriented Automotive Software","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"サービス指向（学生セッション）","subitem_subject_scheme":"Other"}]},"item_type_id":"4","publish_date":"2010-03-11","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 Mathematical Sciences and Information Engineering, Nanzan University","subitem_text_language":"en"},{"subitem_text_value":"Department of Software Engineering, Nanzan University","subitem_text_language":"en"},{"subitem_text_value":"Department of Software Engineering, Nanzan University","subitem_text_language":"en"},{"subitem_text_value":"DENSO CORPORATION","subitem_text_language":"en"},{"subitem_text_value":"DENSO CORPORATION","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/68325/files/IPSJ-SE10167014.pdf"},"date":[{"dateType":"Available","dateValue":"2012-03-11"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-SE10167014.pdf","filesize":[{"value":"711.9 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":"12"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"98a68091-210f-44a9-bf82-b8ddb8b6bc25","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2010 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":"Takehiro, Nagato","creatorNameLang":"en"},{"creatorName":"Noboru, Nakamichi","creatorNameLang":"en"},{"creatorName":"Mikio, Aoyama","creatorNameLang":"en"},{"creatorName":"Yosuke, Sato","creatorNameLang":"en"},{"creatorName":"Akihito, Iwai","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_4_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AN10112981","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":"サービス指向アーキテクチャ (SOA) に基づく車載ソフトウェアの協調制御におけるタイミング制約の記述と評価方法を提案する．SOA を車載ソフトウェアへ適用する上で，サービス協調の End-to-End のタイミング制約を満たす設計が必要である．本稿ではサービス協調の時間特性に着目し，End-to-End のサービス協調実行のタイミング設計方法を提案する．End-to-End のサービス協調シナリオをコンテキストとして定義し，インタフェースに時間特性を拡張してコントラクトとして定義して，End-to-End のタイミング制約記述を実現する．OCL に基づいてタイミング制約を形式記述し，モデルベースの制約検証方法を示す．制約検証で用いる WCET 検証ツールのプロトタイプを作成し，提案方法をリモートセキュリティサービスへ適用し，その有効性を示す．","subitem_description_type":"Other"}]},"item_4_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"We propose a design method for timing of cooperative control for service-oriented automotive software. To apply SOA (Service-Oriented Architecture) to automotive software, we have to assure end-to-end timing constraints along with cooperation of services. We propose an assuring method for end-to-end timing constraints by focusing on the timing properties. We define the end-to-end scenario of cooperation of services as a context, and the timing properties as a contract of an interface. We define the contract with an extension of OCL, and validate end-to-end timing constraints based on the model. We developed ContractValidator, a tool of WCET validation, and evaluated the effectiveness of the proposed method by application to the remote security service.","subitem_description_type":"Other"}]},"item_4_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"8","bibliographic_titles":[{"bibliographic_title":"研究報告ソフトウェア工学（SE）"}],"bibliographicPageStart":"1","bibliographicIssueDates":{"bibliographicIssueDate":"2010-03-11","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"14","bibliographicVolumeNumber":"2010-SE-167"}]},"relation_version_is_last":true,"weko_creator_id":"10"},"id":68325,"created":"2025-01-18T23:28:23.693230+00:00"}