ホームネットワークシステムにおける競合問題の検証

情報処理学会 HANDLE Web Site 被引用文献3件 オープンアクセス

書誌事項

タイトル別名
  • ホーム　ネットワーク　システム　二　オケル　キョウゴウ　モンダイ　ノ　ケンショウ
  • ホームネットワーク システム ニ オケル キョウゴウ モンダイ ノ ケンショウ
  • Verifying Feature Interactions in Home Network Systems
  • ネットワークサービス

この論文をさがす

抄録

近年，家電機器をネットワークで接続して実現するホームネットワークシステムが利用され始めている．ホームネットワークシステムでは，ネットワークに接続された複数の家電機器を協調させ，様々なサービスの提供が可能となる．しかし，単体ではサービスが正しく動作しても，複数のサービスを並行に動作させると予期せぬ動作をしてしまう場合がある．これは競合問題と呼ばれる．本論文では，ホームネットワークシステムにおいて発生する競合問題の検出方法について検討する．具体的には，競合を定義するためのホームネットワークシステムのモデルを導入する．また，導入したモデルをもとに，モデル検査を用いて競合を自動検出する手法を提案する．さらに，サービスの例に対し提案法を実験的に適用することにより，その有効性を示す．

As home appliances are becoming increasingly interconnected, the use of home network systems is being expanded. Home network systems provide valueadded services by integrating the features of different appliances. Concurrent execution of these services, however, can cause unexpected behaviors of the system, even when each service is independently correct. This problem is called the feature interaction problem. In this paper, we propose an approach for detecting feature interactions in home network systems. Specifically, we propose a model of home network systems that is specialized for specifying feature interactions and devise a method of automatically detecting interactions by means of model checking. To demonstrate the usefulness of the proposed approach, we show the results of an experiment using an example of practical services.

収録刊行物

被引用文献 (3)*注記

もっと見る

キーワード

詳細情報 詳細情報について

問題の指摘

ページトップへ