講演抄録/キーワード |
講演名 |
2006-02-03 10:00
ホームネットワークシステムにおける連携サービスのモデル検査による検証 ○松尾尚文・パッタラ リーラープルット・土屋達弘・菊野 亨(阪大) |
抄録 |
(和) |
複数の家電機器からなるホームネットワークシステムにおいて,それらの機器を協調させて行う連携サービスの検証に関する研究を行う.本研究では,検証の際にモデル検査ツールであるSPINを用いる.具体的には,まず,ホームネットワークシステムおよび連携サービスの記述を,SPINの入力言語であるPromela言語での表現に変換する方法を提案する.そして,具体的なホームネットワークシステムおよび連携サービスの例に対し,提案法を適用し,サービスが望ましい性質を満たしているか検証を行う. |
(英) |
We address the problem of verifying integrated services of home network systems which consist of one or more appliances. We propose a method of translating the description of home network systems and integrated services into the Promela language, the input language of the SPIN model checker. We show the results of applying the proposed method to an example of a home network system and its integrated services. |
キーワード |
(和) |
ホームネットワークシステム / 連携サービス / モデル検査 / / / / / |
(英) |
home network system / integrated service / model checking / / / / / |
文献情報 |
信学技報, vol. 105, no. 597, SS2005-84, pp. 7-12, 2006年2月. |
資料番号 |
SS2005-84 |
発行日 |
2006-01-27 (SS) |
ISSN |
Print edition: ISSN 0913-5685 |
PDFダウンロード |
|