文献

J-GLOBAL ID：201702261125042395   整理番号：17A1649787

スマートホーム監視システムの形式的モデル化【Powered by NICT】

Formal modeling of smart home monitoring system

著者 (3件)： Farooq Shabina (Department of Computer Science COMSATS Institute of Information Technology Sahiwal, Pakistan) ,  Zafar Nazir Ahmad (Department of Computer Science COMSATS Institute of Information Technology Sahiwal, Pakistan) ,  Ullah Farhan (Department of Computer Science COMSATS Institute of Information Technology Sahiwal, Pakistan)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： IEMENTech  ページ： 1-6  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 本論文では,スマートセンサ,関係者,ユーザ,警報システム,筆者らが提案したスマートホームモデルのスマート機器を記述した。も安全性,セキュリティ,省エネルギーであるスマートホームの主要な問題について述べた。スマートホームモデル無線センサでは,行為者,スマート機器,ユーザは互いにと中央システムと通信する。センサは異常な家庭状況または事象に関するデータを収集し,中央システムにこのデータを送る。システムは,ユーザとの通信とイベントは,イベントの性質に依存して中央システム,ユーザとスマート関係者によって処理した。アクターは,センサにより提供される情報に基づいて必要な機能を行った。センサは家庭での異なる場所に設置した。提案したスマートホームモデルの構成成分は,VDM-SLを用いた部品の形式的仕様記述を開発して実行した。VDM-SLは,複雑なシステムの解析に使用される形式的仕様記述言語である。開発した仕様を検証し,検証し,を用いて解析した。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： *監視装置 ,  センサ ,  警報システム ,  省エネルギー ,  *モデリング ,  セキュリティ ,  形式的仕様記述言語 ,  安全性
準シソーラス用語： 形式的仕様記述 ,  動作主 ,  無線センサ ,  インテリジェントセンサ ,  *スマートホーム , 【Automatic Indexing@JST】

分類 (5件)： データ保護  (JD01020V) ,  電話・データ通信・交換一般  (ND11010T) ,  人間機械系  (IB03000G) ,  パターン認識  (JE07000S) ,  人工知能  (JE08000Z)

タイトルに関連する用語 (3件)： スマートホーム ,  監視システム ,  モデル化