文献

J-GLOBAL ID：201702267770514346   整理番号：17A1353584

複合イベント処理を用いたIoTシステムの実行時検証【Powered by NICT】

Runtime verification of IoT systems using Complex Event Processing

著者 (3件)： Incki Koray (Department of Computer Science, Ozyegin University, Istanbul, Turkey) ,  Ari Ismail (Department of Computer Science, Ozyegin University, Istanbul, Turkey) ,  Sozer Hasan (Department of Computer Science, Ozyegin University, Istanbul, Turkey)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： ICNSC  ページ： 625-630  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： モノのインターネット(IoT)はMQTTとCoAPのようなアプリケーションレベルプロトコルの広い採用,その各々は事象の逐次相互作用の異なる様式を規定するにより増殖する新しい計算パラダイムである。はこのような複雑な分散システムの検証のための文献でかなりの努力がなされているにもかかわらず,実行時システム検証を支援するIoTシステムのための実用的な解決策は未だ不明である。本論文では,制約付きアプリケーションプロトコル(CoAP)の逐次相互作用メッセージモデルで表される事象関係を利用したIoTシステムのための実行時モニタリングアプローチを提案した。は,あらかじめ決められたイベント代数により定義された複雑なイベントパターンを利用して実行時に故障を検出するための複合イベント処理(CEP)の使用を提案した。無線トークンリングプロトコル実施に関するアプローチの適用性を実証するために簡単な事例シナリオを提示した。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】

分類 (2件)： 計算機網  (JC03000K) ,  その他の情報処理  (JE15050M)

タイトルに関連する用語 (3件)： 複合イベント処理 ,  IoT ,  検証