*サービス検証・テスト [#aeeba95e] サービスが正しく動作するか?ユーザや環境にとって安全か?複数のサービスを同時に動かしても大丈夫か? 多くのサービスが溢れる将来に向け,サービスを厳密に検証する技術を研究しています. ** 研究課題 [#qdde66a7] -Design by Contractを用いたサービス安全性検証 -ビル管理システムにおけるサービス安全性・競合問題 -ホームネットワークにおけるサービス競合問題 -ホームネットワークサービスのモデル検査