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

松尾尚文; LEELAPRUTE Pattara; 土屋達弘; 菊野亨

文献

J-GLOBAL ID：200902255771726780 整理番号：09A0033246

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

Verifying Feature Interactions in Home Network Systems

出版者サイト複写サービスで全文入手 {{ this.onShowCLink("http://jdream3.com/copy/?sid=JGLOBAL&noSystem=1&documentNoArray=09A0033246&COPY=1") }}
高度な検索・分析はJDreamⅢで {{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=09A0033246&from=J-GLOBAL&jstjournalNo=Z0778B") }}

著者 (4件)： , , ,
資料名：
巻： 49 号： 6 ページ： 2129-2143 発行年： 2008年06月15日
JST資料番号： Z0778B ISSN： 1882-7837 資料種別：逐次刊行物 (A)
記事区分：原著論文発行国：日本 (JPN) 言語：日本語 (JA)

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

, , , , , , ,

その他の情報処理 , 家庭電器 , 計算理論

引用文献 (21件)：

Bensalem, S., Ganesh, V., Lakhnech, Y., Noz, C. M., Owre, S., Rues, H., Rushby, J., Rusu, V., Sa¨ıdi, H., Shankar, N., Singerman, E. and Tiwari, A.: An Overview of SAL, LFM 2000: 5th NASA Langley Formal Methods Workshop, Holloway, C. M.,(Ed.), pp. 187-196, NASA Langley Research Center, Hampton, VA (2000).
Calder, M. and Miller, A.: Feature interaction detection by pairwise analysis of LTL properties- A case study, Formal Methods in System Design, Vol.28, No.3, pp. 213-261(2006).
Chan, W., Anderson, R. J., Beame, P., Burns, S., Modugno, F., Notkin, D. and Reese, J. D.: Model Checking Large Software Specifications, IEEE Trans. Softw. Eng., Vol.24, No.7(1998).
Chomicki, J., Lobo, J. and Naqvi, S.: Conflict Resolution Using Logic Programming, IEEE Trans. Knowledge and Data Engineering, Vol.15, No.1, pp. 244-249(2003).
Clarke, E. M., Grumberg, O. and Peled, D. A.: Model Checking, MIT Press (1999).

前のページに戻る