サービス指向車載ソフトウェアの協調制御におけるタイミング設計方法の提案と評価

• Item type: SIG Technical Reports(1)
• 公開日: 2010-03-11
• タイトル: サービス指向車載ソフトウェアの協調制御におけるタイミング設計方法の提案と評価
• タイトル / 言語: en
• タイトル: Design Method for Timing of Cooperative Control for Service-Oriented Automotive Software
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: サービス指向（学生セッション）
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 南山大学大学院数理情報研究科
• 著者所属: 南山大学情報理工学部ソフトウェア工学科
• 著者所属: 南山大学情報理工学部ソフトウェア工学科
• 著者所属: 株式会社デンソー
• 著者所属: 株式会社デンソー
• 著者所属(英): en
• 著者所属(英): Graduate School of Mathematical Sciences and Information Engineering, Nanzan University
• 著者所属(英): en
• 著者所属(英): Department of Software Engineering, Nanzan University
• 著者所属(英): en
• 著者所属(英): Department of Software Engineering, Nanzan University
• 著者所属(英): en
• 著者所属(英): DENSO CORPORATION
• 著者所属(英): en
• 著者所属(英): DENSO CORPORATION
• 著者名: 永東, 丈寛; 中道, 上; 青山, 幹雄; 佐藤, 洋介; 岩井, 明史
• 著者名(英): Takehiro, Nagato; Noboru, Nakamichi; Mikio, Aoyama; Yosuke, Sato; Akihito, Iwai
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: サービス指向アーキテクチャ (SOA) に基づく車載ソフトウェアの協調制御におけるタイミング制約の記述と評価方法を提案する．SOA を車載ソフトウェアへ適用する上で，サービス協調の End-to-End のタイミング制約を満たす設計が必要である．本稿ではサービス協調の時間特性に着目し，End-to-End のサービス協調実行のタイミング設計方法を提案する．End-to-End のサービス協調シナリオをコンテキストとして定義し，インタフェースに時間特性を拡張してコントラクトとして定義して，End-to-End のタイミング制約記述を実現する．OCL に基づいてタイミング制約を形式記述し，モデルベースの制約検証方法を示す．制約検証で用いる WCET 検証ツールのプロトタイプを作成し，提案方法をリモートセキュリティサービスへ適用し，その有効性を示す．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: 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.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10112981
• 書誌情報: 研究報告ソフトウェア工学（SE）; 巻 2010-SE-167, 号 14, p. 1-8, 発行日 2010-03-11
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会