• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2008 Fiscal Year Annual Research Report

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

Research Project

Project/Area Number 18700062
Research InstitutionKobe University

Principal Investigator

中村 匡秀  Kobe University, 大学院・工学研究科, 准教授 (30324859)

Keywordsユビキタスネットワーク / ホームネットワークシステム / サービス競合 / 競合検出 / 競合解消 / アクチベーション / 必須メソッド / 中断・再開処理
Research Abstract

平成20年度は, 主に以下の(1)(2)に従って研究を進めた.
(1) ホームネットワークにおけるサービス競合検出・解消アルゴリズムの実装
平成19年度に開発したユビキタスネットワークにおけるサービス競合検出・解消方式を, 実際のシステム上に実装する. ユビキタスネットワークの代表的アプリケーションであるホームネットワークシステムのサービスを対象とし, サービス配置前のオフライン競合検出機構, および, サービス実行中のオンライン競合検出・解消機構の実装を行った. 実装においては, サービスの明示的な実行期間であるアクチベーション, サービスの核となる振る舞いを規定する必須メソッド, 競合解消において低優先度サービスの実行を保証する中断・再開処理という3つの新しい概念を織り込み, 高品質な競合検出・解消法を実現した.
(2) サービス競合検証・解消方式の評価
(1) で実装したサービス競合検証・解消機構を, 我々の研究室で開発しているホームネットワークシステム上で運用・実行し, 提案方式の有効性の評価を行った. 評価実験では, 想定したサービス競合が提案方式によってどれだけ検出できるか, また, 検出された競合をどれだけ妥当的な方法で解消できるかを計測した. その結果, ホームネットワーク上で想定した全てのサービス競合を誤り無く検出し, 妥当な解消法が取られたことが確認できた. また, 競合検出・解消は, 実用に耐えうる十分短い時間(100ms〜200ms)で行えたことが確認できた.
上記(1)(2)および関連する成果を, 英文雑誌論文3編, 国際会議3編, 研究会論文10編にまとめて発表した.

  • Research Products

    (17 results)

All 2009 2008 Other

All Journal Article (3 results) (of which Peer Reviewed: 3 results) Presentation (13 results) Remarks (1 results)

  • [Journal Article] Using Formal Methods to Increase Confidence in a Home Network System Implementation : a Case Study2009

    • Author(s)
      L. du-Bousquet, M. Nakamura, B. Yan, H. Igaki
    • Journal Title

      Innovations in Systems and Software Engineering (ISSE Journal) (採録決定)

    • Peer Reviewed
  • [Journal Article] Deriving Safety Properties for Home Network System Based on Goal-Oriented Hazard Analysis Model2009

    • Author(s)
      B. Yan, M. Nakamura, K. Matsumoto
    • Journal Title

      International Journal of Smart Home vol.3, no.1

      Pages: 67-80

    • Peer Reviewed
  • [Journal Article] Validating Safety for Integrated Services of Home Network System Using JML2008

    • Author(s)
      B. Yan, M. Nakamura, L du-Bousquet, and K. Matsumoto
    • Journal Title

      IPSJ Journal Vol.49, no.6

      Pages: 1751-1762

    • Peer Reviewed
  • [Presentation] Considering Online Feature Interaction Detection and Resolution for Integrated Services in Home Network System2009

    • Author(s)
      M. Nakamura, H. Igaki, Y. Yoshimura, K. Ikegami
    • Organizer
      Int'l Conf. on Feature Interactions in Telecom munications and Software Systems (ICFI 2009)
    • Place of Presentation
      リスボン, ポルトガル(採録決定)
    • Year and Date
      2009-06-11
  • [Presentation] ホームネットワークシステムにおけるサービス開発を容易化するネット家電標準データモデル2009

    • Author(s)
      江上公一, 井垣宏, 中村匡秀
    • Organizer
      電子情報通信学会, オフィス情報システム研究会, vol.OIS2008-75(2009-3), pp.75-80
    • Place of Presentation
      那覇, 沖縄
    • Year and Date
      2009-03-05
  • [Presentation] サービス期間を考慮したホームネットワークサービス競合検出・解消システムの実装2009

    • Author(s)
      池上弘祐, 吉村悠平, 井垣宏, 中村匡秀
    • Organizer
      電子情報通信学会, オフィス情報システム研究会, vol.OIS2008-75(2009-3),pp.7-12
    • Place of Presentation
      那覇, 沖縄
    • Year and Date
      2009-03-05
  • [Presentation] エンドユーザーによるセンサー駆動サービスの構築支援環境の提案2009

    • Author(s)
      松尾周平, 井垣宏, 中村匡秀
    • Organizer
      電子情報通信学会, オフィス情報システム研究会, vol.OIS2008-75(2009-3), pp.43-48
    • Place of Presentation
      那覇, 沖縄
    • Year and Date
      2009-03-05
  • [Presentation] ホームネットワークシステムにおける環境相互作用を利用した省エネ機器連携サービスの一構築手法2009

    • Author(s)
      岡村雄敬, 井垣宏, 中村匡秀
    • Organizer
      電子情報通信学会, オフィス情報システム研究会, vol.OIS2008-75(2009-3), pp.13-18
    • Place of Presentation
      那覇, 沖縄
    • Year and Date
      2009-03-05
  • [Presentation] ホームネットワークシステムにおける家電連携サービスのための競台解消方式の考察2009

    • Author(s)
      吉村悠平, 池上弘祐, 井垣宏, 中村匡秀
    • Organizer
      電子情報通信学会, 情報ネットワーク研究会, vol.IN2008-206, pp.439-444
    • Place of Presentation
      読谷村, 沖縄
    • Year and Date
      2009-03-04
  • [Presentation] 他サービスとの連携を考慮した時関駆動型声ホームネットワークサービス基盤の改良2009

    • Author(s)
      福田将之, 井垣宏, 中村匡秀
    • Organizer
      電子情報通信学会, 情報ネットワーク研究会, vol.IN2008-206, pp.433-438
    • Place of Presentation
      読谷村, 沖縄
    • Year and Date
      2009-03-04
  • [Presentation] コンテキストアウェアアプリケーションの開発を容易化するセンササービス基盤2009

    • Author(s)
      坂本寛幸, 井垣宏, 中村匡秀
    • Organizer
      電子情報通信学会, 情報ネットワーク研究会, vol.IN2008-206, pp.381-386
    • Place of Presentation
      読谷村, 沖縄
    • Year and Date
      2009-03-04
  • [Presentation] Deriving Safety Properties for Home Network System Based or Goal-Oriented Hazard Analysis Model2008

    • Author(s)
      B. Yan, M. Nakamura, K. Matsumoto
    • Organizer
      Third International Symposium on Smart Home SH08
    • Place of Presentation
      三亜, 中国
    • Year and Date
      2008-12-14
  • [Presentation] ホームネットワークシステムにおけるリアルタイムな家電制御サービスの実現2008

    • Author(s)
      福田将之, 井垣宏, 中村匡秀
    • Organizer
      電子情報通信学会, 情報ネットワーク研究会, vol.108, no.136,pp.041-046
    • Place of Presentation
      神戸, 兵庫
    • Year and Date
      2008-07-17
  • [Presentation] RSSを利用したWeb上の情報資源とホームネットワークシステムの連携2008

    • Author(s)
      坂本寛幸, 井垣宏, 中村匡秀
    • Organizer
      電子情報通信学会, 情報ネットワーク研究会, vol.108, no.136, pp.047-052
    • Place of Presentation
      神戸,兵庫
    • Year and Date
      2008-07-17
  • [Presentation] ホームネットワークシステムにおけるサービス競合の動的検出・解消システムの設計と実装2008

    • Author(s)
      吉村悠平, 井垣宏, 中村匡秀
    • Organizer
      電子情報通信学会, 情報ネットワーク研究会, vol.108, no.136
    • Place of Presentation
      神戸, 兵庫
    • Year and Date
      2008-07-17
  • [Presentation] Implementing Multi-Vendor Home Network System with Vendor-Neutral, Services and Dynamic Service Binding2008

    • Author(s)
      M. Nakamura, Y. Fukuoka, H. Igaki, K. Matsumoto
    • Organizer
      Int'l Conf on Services Computing (SCC 2008)
    • Place of Presentation
      ホノルル, アメリカ
    • Year and Date
      2008-07-09
  • [Remarks]

    • URL

      http://www27.cs.kobe-u.ac.jp/achieve/pman.cgi?MODE=list

URL: 

Published: 2010-06-11   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi