文献

J-GLOBAL ID：201802232374195404   整理番号：18A0200017

モノのインターネットにおけるMQTTプロトコルの形式的仕様記述,検証と評価【Powered by NICT】

Formal specification, verification and evaluation of the MQTT protocol in the Internet of Things

著者 (3件)： Houimli Manel (LINFI Laboratory, Computer Science Departement, Biskra University, Algeria) ,  Kahloul Laid (LINFI Laboratory, Computer Science Departement, Biskra University, Algeria) ,  Benaoun Sihem (LINFI Laboratory, Computer Science Departement, Biskra University, Algeria)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： ICMIT  ページ： 214-221  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： のもの(IoT)プロトコルインターネットの一つの形式的モデル化と性能解析を提示した。モノのインターネットは産業における資金と学界における最も研究課題の一つである。モバイルインターネット,ミニハードウェアの製造,マイクロコンピュータ,マシン同士(M2M)の急速な進化は被験者のトップであることIoT技術を可能にした。これらの技術は,知的に作用し,ある種の応用に有益であることを共同決定を行うためのコンピュータではないことやデバイスを可能にする。インテリジェント意思決定,自己構成とアドホックネットワーキングはIoTの主な特性であった。,IoTのためのプロトコールを改良して,基準を満たすと良好な特性を満足しなければならない。開発されたプロトコルの研究における形式的手法を用いて,これらの条件を保証する。本論文では,メッセージ待ち行列テレメトリ輸送(MQTT)の形式的モデル化のための確率時間オートマトンを使用し,筆者らは,提案プロトコルの性能評価のためのツールセットUPPAAL SMCの更なる統計的モデルを使用した。Copyright 2018 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： 性能評価 ,  性能分析 ,  モデリング ,  意思決定 ,  マイクロコンピュータ ,  待ち行列 ,  コンピュータ ,  *プロトコル ,  遠隔測定
準シソーラス用語： 時間付きオートマトン ,  被験者 ,  M2M ,  モバイルインターネット ,  *形式的仕様記述 ,  *モノのインターネット , 【Automatic Indexing@JST】

分類 (2件)： 計算機網  (JC03000K) ,  移動通信  (ND08030H)

タイトルに関連する用語 (5件)： インターネット ,  プロトコル ,  形式的仕様記述 ,  検証 ,  評価