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

松尾, 尚文; パッタラ, リーラープルット; 土屋, 達弘 他

情報処理学会論文誌, 2008, 49(6), 2129-2143

Number of Access:687（2025-09-03 08:01 Counts）

Identifier to cite or link to this item: https://hdl.handle.net/11094/50234

Link to primary information 

File Format Terms of use Size Views Date.Available Description information
ipij-jnl_49_6_2129 pdf None 312 KB 104 2014.09.30 出版社版/publisher  

Item Information

Output File Export EndNote Basic Export Mendeley

Title
ホームネットワークシステムにおける競合問題の検証
Verifying Feature Interactions in Home Network Systems
ホーム　ネットワーク　システム　二　オケル　キョウゴウ　モンダイ　ノ　ケンショウ
Creator
CreatorName
松尾, 尚文 ; マツオ, タカフミ ; Matsuo, Takafumi
CreatorName
パッタラ, リーラープルット ; Pattara, Leelaprute
NRID
1000030283740 1000030283740
ORCID
0000-0002-3329-9235 0000-0002-3329-9235
researchmap permalink
tatsuhirotsuchiya72 tatsuhirotsuchiya72
Scopus Author ID
7403030658 7403030658
CreatorName
土屋, 達弘 ; ツチヤ, タツヒロ ; Tsuchiya, Tatsuhiro
NRID
1000050093745 1000050093745
CreatorName
菊野, 亨 ; キクノ, トオル ; Kikuno, Tohru
Abstract
近年，家電機器をネットワークで接続して実現するホームネットワークシステムが利用され始めている．ホームネットワークシステムでは，ネットワークに接続された複数の家電機器を協調させ，様々なサービスの提供が可能となる．しかし，単体ではサービスが正しく動作しても，複数のサービスを並行に動作させると予期せぬ動作をしてしまう場合がある．これは競合問題と呼ばれる．本論文では，ホームネットワークシステムにおいて発生する競合問題の検出方法について検討する．具体的には，競合を定義するためのホームネットワークシステムのモデルを導入する．また，導入したモデルをもとに，モデル検査を用いて競合を自動検出する手法を提案する．さらに，サービスの例に対し提案法を実験的に適用することにより，その有効性を示す.
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.
Publisher
情報処理学会
ジョウホウ　ショリ　ガッカイ
Source Title
情報処理学会論文誌
Volume (Issue)
49(6)
Page
2129-2143
Date of Issued
2008-06-15
Language
Japanese
Handle URL
https://hdl.handle.net/11094/50234
PISSN
03875806
NCID
AN00116647
Access Rights
open access
CopyRight
© 2008 Information Processing Society of Japan
ここに掲載した著作物の利用に関する注意 本著作物の著作権は情報処理学会に帰属します。本著作物は著作権者である情報処理学会の許可のもとに掲載するものです。ご利用に当たっては「著作権法」ならびに「情報処理学会倫理綱領」に従うことをお願いいたします。
Notice for the use of this material The copyright of this material is retained by the Information Processing Society of Japan (IPSJ). This material is published on this web site with the agreement of the author (s) and the IPSJ. Please be complied with Copyright Law of Japan and the Code of Ethics of the IPSJ if any users wish to reproduce, make derivative work, distribute or make available to the public any part or whole thereof. All Rights Reserved, Copyright (C) Information Processing Society of Japan. Comments are welcome. Mail to address editj＠ipsj.or.jp, please.
Notice for the use of this material The copyright of this material is retained by the Information Processing Society of Japan (IPSJ). This material is published on this web site with the agreement of the author (s) and the IPSJ. Please be complied with Copyright Law of Japan and the Code of Ethics of the IPSJ if any users wish to reproduce, make derivative work, distribute or make available to the public any part or whole thereof. All Rights Reserved, Copyright (C) Information Processing Society of Japan. Comments are welcome. Mail to address editj＠ipsj.or.jp, please.
oaire:version
Version of Record
Category
学術雑誌論文 Journal Article