コントロールループに着目したIoTアーキテクチャモデルの検証に関する一考察

• Item type: SIG Technical Reports(1)
• 公開日: 2018-07-11
• タイトル: コントロールループに着目したIoTアーキテクチャモデルの検証に関する一考察
• タイトル / 言語: en
• タイトル: Case Study on a Verification of an IoT Architecture Model Based on Control Loop
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 日本ユニシス株式会社
• 著者所属: 信州大学
• 著者所属: 信州大学
• 著者所属: 大阪大学
• 著者所属(英): en
• 著者所属(英): Nihon Unisys, Ltd.
• 著者所属(英): en
• 著者所属(英): Shinshu University,
• 著者所属(英): en
• 著者所属(英): Shinshu University,
• 著者所属(英): en
• 著者所属(英): Osaka University,
• 著者名: 青木, 善貴; 小形, 真平; 小林, 一樹; 中川, 博之
• 著者名(英): Yoshitaka, Aoki; Shinpei, Ogata; Kazuki, Kobayashi; Hiroyuki, Nakagawa
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: IoT (Internet of Things) システムはサイバー空間とフィジカル空間をまたがる複雑な構成をもち，構成要素間には電力供受給やデータ転送，制御，監視などの様々な関係が存在する．そして，それらの関係を総合した相互作用の循環的な関係，すなわち，コントロールループが多数存在し，その設計誤りは事故を引き起こしうる．本稿では，IoT システムの安全性を保証支援する一手段として，コントロールループの安定性 （理論上，正常に機能し続けるかどうか） について検証する手法を提案する．提案手法では，既存の IoT アーキテクチャモデル上で特定可能なコントロールループの振る舞いを対象に，形式手法の一つであるモデル検査による検証を行う．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: IoT (Internet of Things) systems have their respective complicated configuration across cyber and physical space. There are various relationships such as transmission of data and energy, control, and monitor among system components, many control loops, which are components' cyclic relations based on such various relationships, exist, and design faults of control loops may lead to accidents. We propose a method to verify stability of control loops for ensuring the safety of IoT systems. In this method, control loops are specified in an IoT architecture model and verified using a model checking technique.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10112981
• 書誌情報: 研究報告ソフトウェア工学（SE）; 巻 2018-SE-199, 号 11, p. 1-6, 発行日 2018-07-11
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 2188-8825
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会