Research/Validation

サービス検証・テスト†

サービスが正しく動作するか？ユーザや環境にとって安全か？複数のサービスを同時に動かしても大丈夫か？

多くのサービスが溢れる将来に向け，サービスを厳密に検証する技術を研究しています．

研究テーマ†

• Design by Contractを用いたサービス安全性検証
• SOAを用いた異種ビル管理システムの連携とサービス競合問題
• ホームネットワークにおけるサービス競合問題
• ホームネットワークシステムにおけるサービス競合解消方式
• サービス競合を考慮したHNS連携サービスの開発
• ホームネットワークサービスのモデル検査