| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2018-07-18 15:50 コントロールループに着目したIoTアーキテクチャモデルの検証に関する一考察 ○青木善貴（日本ユニシス）・小形真平・小林一樹（信州大）・中川博之（阪大）  SS2018-11 KBSE2018-21 |
|
| 抄録 | （和） | IoT(Internet of Things)システムはサイバー空間とフィジカル空間をまたがる複雑な構成となる．その構成要素が正常に動作していても，構成要素間の相互作用の設計誤りが事故につながることがある．しかし，事故を事前に検証する手法は十分に確立されていない．IoTシステム内の様々な相互作用を考慮したとき，そこには構成要素間の循環的な関係，つまり，コントロールループがいくつも存在する．我々は，このコントロールループの安定性を検証することにより，IoTシステムの安全性を確認できると考える．本稿では，形式手法の一つであるモデル検査を用いて，IoTアーキテクチャモデルのコントロールループに係わる振る舞いを検証する手法を提案する． |
| （英） | IoT (Internet of Things) systems have their respective complicated configuration across cyber and physical space. Even if each component works normally, design faults of the interaction among those components may lead to accidents. However, no verification method for detecting such faults enough has been established. Many control loops, which are cyclic relations among IoT system components on their interactions, exist in IoT systems. A key to ensuring the safety of an IoT system is ensuring the stability of its control loops. In this paper, we propose a method to verify an IoT architecture model using a model checking technique focusing on the behaviors on the control loops represented in the model. | |
| キーワード | （和） | IoT / アーキテクチャ / モデル検査 / コントロールループ / / / / |
| （英） | IoT / Architecture / Model Checking / Control Loop / / / / | |
| 文献情報 | 信学技報, vol. 118, no. 138, KBSE2018-21, pp. 61-66, 2018年7月. | |
| 資料番号 | KBSE2018-21 | |
| 発行日 | 2018-07-11 (SS, KBSE) | |
| ISSN | Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | SS2018-11 KBSE2018-21 |
|
| 研究会情報 | |
| 研究会 | KBSE SS IPSJ-SE |
| 開催期間 | 2018-07-18 - 2018-07-20 |
| 開催地（和） | 北海道・帯広市 とかちプラザ 視聴覚室／大集会室 |
| 開催地（英） | |
| テーマ（和） | 知能ソフトウェア工学全般／ソフトウェアサイエンス全般／ソフトウェア工学全般 |
| テーマ（英） | |
| 講演論文情報の詳細 | |
| 申込み研究会 | KBSE |
| 会議コード | 2018-07-KBSE-SS-SE |
| 本文の言語 | 日本語 |
| タイトル（和） | コントロールループに着目したIoTアーキテクチャモデルの検証に関する一考察 |
| サブタイトル（和） | |
| タイトル（英） | Case Study on a Verification of an IoT Architecture Model Based on Control Loop |
| サブタイトル（英） | |
| キーワード(1)（和/英） | IoT / IoT |
| キーワード(2)（和/英） | アーキテクチャ / Architecture |
| キーワード(3)（和/英） | モデル検査 / Model Checking |
| キーワード(4)（和/英） | コントロールループ / Control Loop |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 青木 善貴 / Yoshitaka Aoki / アオキ ヨシタカ |
| 第1著者 所属（和/英） | 日本ユニシス株式会社 (略称： 日本ユニシス) Nihon Unisys, Ltd. (略称： NUL) |
| 第2著者 氏名（和/英/ヨミ） | 小形 真平 / Shinpei Ogata / オガタ シンペイ |
| 第2著者 所属（和/英） | 信州大学 (略称： 信州大) Shinshu University (略称： Shinshu Univ.) |
| 第3著者 氏名（和/英/ヨミ） | 小林 一樹 / Kazuki Kobayashi / コバヤシ カズキ |
| 第3著者 所属（和/英） | 信州大学 (略称： 信州大) Shinshu University (略称： Shinshu Univ.) |
| 第4著者 氏名（和/英/ヨミ） | 中川 博之 / Hiroyuki Nakagawa / ナカガワ ヒロユキ |
| 第4著者 所属（和/英） | 大阪大学 (略称： 阪大) Osaka University (略称： Osaka Univ.) |
| 講演者 | 第1著者 |
| 発表日時 | 2018-07-18 15:50:00 |
| 発表時間 | 25分 |
| 申込先研究会 | KBSE |
| 資料番号 | SS2018-11, KBSE2018-21 |
| 巻番号（vol） | vol.118 |
| 号番号（no） | no.137(SS), no.138(KBSE) |
| ページ範囲 | pp.61-66 |
| ページ数 | 6 |
| 発行日 | 2018-07-11 (SS, KBSE) |
[研究会発表申込システムのトップページに戻る]