文献

J-GLOBAL ID：202002253407166533   整理番号：20A0218368

システムにおけるポリシー駆動スマートデバイスのモデリングと検証のための代数的アプローチ【JST・京大機械翻訳】

An Algebraic Approach to Modeling and Verifying Policy-Driven Smart Devices in IoT Systems

著者 (3件)： Chi Xiaotong (East China Normal University) ,  Zhang Min (East China Normal University) ,  Xu Xiao (Huawei Technologies Co. Ltd., China)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2019  号： APSEC  ページ： 189-196  発行年： 2019年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： モノのインターネット(IoT)は,都市や家庭のような生活環境をスマートにするために広く採用されている。IoTシステムにおけるデバイスは,環境の変化に従ってそれらの挙動を自動的に調整することができる。この能力は,通常,デバイス内部で定義される政策によって駆動される。政策はエンドユーザによってカスタマイズできる。政策間の矛盾または矛盾は,システムの機能不全を引き起こす可能性があり,したがって,配置の前に排除しなければならない。本論文では,PobSAM(ポリシーベース自己適応モデル)と呼ばれるドメイン固有モデリング言語とMaudeと呼ばれる効率的書換えシステムに基づいて,IoTシステムにおけるポリシー駆動スマートデバイスをモデリングし検証するための新しい代数的アプローチを提案した。筆者らは,実行可能な仕様であるMaudeを用いて,形式的検証ツールと同様にPobSAMの動作意味論を定式化した。Maude形式化はPobSAMに規定されたスマートデバイスを検証するために使用できる。本手法の有効性と効率を評価するために,スマートホーム設定に関する事例研究を行った。Copyright 2020 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *モデリング ,  意味論 ,  住環境 ,  事例研究 ,  定式化 ,  有効性 ,  カスタム化 ,  機能障害 ,  都市
準シソーラス用語： スマートホーム ,  エンドユーザ ,  モノのインターネット , 【Automatic Indexing@JST】

分類 (3件)： パターン認識  (JE07000S) ,  計算機網  (JC03000K) ,  図形・画像処理一般  (JE04010I)

タイトルに関連する用語 (4件)： スマートデバイス ,  モデリング ,  検証 ,  代数的アプローチ