ユビキタスネットワークにおけるサービス競合問題に関する研究

2007 Fiscal Year Annual Research Report

• Project/Area Number: 18700062
• Research Institution: Kobe University
• Principal Investigator: 中村 匡秀 Kobe University, 大学院・工学研究科, 准教授 (30324859)
• Keywords: ユビキタスネットワーク / ホームネットワーク / ビル管理システム / サービス競合 / 競合検出 / 競合解消 / 安全性検証

Research Abstract

平成19年度は,主に以下の1,2に従って研究を進めた.
(1)ユビキタスネットワークにおけるサービス競合検出アルゴリズムの開発
平成18年度に提案した,ユビキタスネットワークのモデル化手法,および,サービス競合の定式化に基づき,実際のサービス競合を検出するアルゴリズムの開発を行った.サービスの静的なモデルのみを用いて検出するオフライン検出と,サービスの実行時に発生した競合のみを検出するオンライン検出の2通りの検出アルゴリズムを提案した.提案したオフライン検出手法に関しては次世代ビル管理システムへ,また,オンライン検出手法に関してはホームネットワークシステムへ,それぞれ適用実験を行い,提案手法の有効性を確認した.
(2)サービス競合解消方式の検討
(1)で検出したサービス競合を,解消するための方式の検討を行った.競合を性質付けるいくつかの要因を洗い出し,競合解消への適用可能性を調べた.調査の結果,サービス間の優先順位・デバイス操作間の優先順位によって,ホームネットワークにおける典型的なサービス競合の多くを解消できることがわかった.提案解消方式を実際のホームネットワークシステム上に実装し,提案手法が有効であることを実験によって確認した.
上記(1),(2)および関連する成果を,英文雑誌論文2編,国際会議5編,研究会論文6編にまとめて発表した.

Research Products

• [Journal Article] Constructing Home Network Systems and Integrated Services Using Legacy Home Appliances and Web Services (2008)
  • Author(s): M. Nakamura, A. Tanaka, H. Igaki, H.Tamada, K. Matsumoto
  • Journal Title: International Journal of Web Services Research Vol.5, No.1 Pages: 82-98
  • Peer Reviewed
• [Journal Article] Validating Safety for Integrated Services of Home Network System Using JML (2008)
  • Author(s): B. Yan, M. Nakamura, L. du Bousquet, K. Matsumoto
  • Journal Title: Journal of Information Processing 採録決定
  • Peer Reviewed
• [Presentation] A Scalable Sensor Application Framework Based on Hierarchical Load-Balancing Architecture (2008)
  • Author(s): Y. Onishi, H. Igaki, M. Nakamura, K. Matsunioto
  • Organizer: IASTED International Conference on Software Engineering (IASTED SE 2008)
  • Place of Presentation: インスブルック, オーストリア
  • Year and Date: 2008-02-11
• [Presentation] Using Formal Methods to Increase Confidence in A Home Network Syst em Implementation, Case Study (2007)
  • Author(s): L. du Bousquet, M. Nakamura, B. Van, H. Igaki
  • Organizer: ISoLA Workshop On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2007)
  • Place of Presentation: ポワティエ, フランス
  • Year and Date: 2007-12-14
• [Presentation] Characterizing Safety of Integrated Services in Home Network System (2007)
  • Author(s): B. Yan, M. Nakamura, L.du Bousquet, K. Matsumoto,
  • Organizer: 5th International Conference On Smart homes and health Telematics (ICOST2007)
  • Place of Presentation: 奈良, 日本
  • Year and Date: 2007-06-22
• [Remarks]
  • URL: http://www27.cs.kobe-u.ac.jp/~masa-n/research/index.html
• [Patent(Industrial Property Rights)] ゲートウェイ装置およびその情報制御方法 (2007)
  • Inventor(s): 中村, 福岡, 林, 堀渕, 小澤, 木村
  • Industrial Property Rights Holder: 中村, 福岡, 林, 堀渕, 小澤, 木村
  • Industrial Property Number: 特願2007-242399
  • Filing Date: 2007-09-19