@techreport{oai:ipsj.ixsq.nii.ac.jp:00068325,
 author = {永東, 丈寛 and 中道, 上 and 青山, 幹雄 and 佐藤, 洋介 and 岩井, 明史 and Takehiro, Nagato and Noboru, Nakamichi and Mikio, Aoyama and Yosuke, Sato and Akihito, Iwai},
 issue = {14},
 month = {Mar},
 note = {サービス指向アーキテクチャ (SOA) に基づく車載ソフトウェアの協調制御におけるタイミング制約の記述と評価方法を提案する．SOA を車載ソフトウェアへ適用する上で，サービス協調の End-to-End のタイミング制約を満たす設計が必要である．本稿ではサービス協調の時間特性に着目し，End-to-End のサービス協調実行のタイミング設計方法を提案する．End-to-End のサービス協調シナリオをコンテキストとして定義し，インタフェースに時間特性を拡張してコントラクトとして定義して，End-to-End のタイミング制約記述を実現する．OCL に基づいてタイミング制約を形式記述し，モデルベースの制約検証方法を示す．制約検証で用いる WCET 検証ツールのプロトタイプを作成し，提案方法をリモートセキュリティサービスへ適用し，その有効性を示す．, 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.},
 title = {サービス指向車載ソフトウェアの協調制御におけるタイミング設計方法の提案と評価},
 year = {2010}
}