講演抄録/キーワード |
講演名 |
2006-11-16 14:20
ホームネットワークシステムにおける家電連携サービスの安全性に関する考察 ○閻 奔・中村匡秀(奈良先端大)・リディ ドゥ ブスケ(ヨセフ・フーリエ大)・松本健一(奈良先端大) IN2006-97 |
抄録 |
(和) |
複数の家電をネットワークを用いて接続・連携させ,付加価値サービスを提供するホームネットワークシステム(HNS)の研究・開発が盛んである.本稿では,付加価値サービスを開発する際に,家庭内のユーザに対して保障しなければならない安全性について議論を行う.また,安全性の検証を考慮に入れたHNSのモデルを提案し,検証方法についてのアイデアを述べる. |
(英) |
The HNS (Home Network System) integrated service is to orchestrate multiple networked appliances to add value of user’s life. Recently, the research and development of the HNS are getting more and more attention. Assuring the safety of HNS is the crucial problem to protect the users and the home properties. In order to tackle this problem, this paper addresses the verification of safety of the HNS integrated services. Moreover, we propose a model of HNS for the safety validation, and a concrete procedure of the validation. |
キーワード |
(和) |
ホームネットワーク / 連携サービス / 安全性 / モデル / JML / 契約による設計 / / |
(英) |
Home Network System / Integrated services / Safety / Model / JML / Design by Contract / / |
文献情報 |
信学技報, vol. 106, no. 358, IN2006-97, pp. 49-54, 2006年11月. |
資料番号 |
IN2006-97 |
発行日 |
2006-11-09 (IN) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
IN2006-97 |
|