| 講演名 | 2018-07-18 コントロールループに着目したIoTアーキテクチャモデルの検証に関する一考察 青木 善貴(NUL), 小形 真平(信州大), 小林 一樹(信州大), 中川 博之(阪大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 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 |
| 資料番号 | SS2018-11,KBSE2018-21 |
| 発行日 | 2018-07-11 (SS, KBSE) |
| 研究会情報 | |
| 研究会 | KBSE / SS / IPSJ-SE |
|---|---|
| 開催期間 | 2018/7/18(から3日開催) |
| 開催地（和） | 北海道・帯広市 とかちプラザ 視聴覚室／大集会室 |
| 開催地（英） | |
| テーマ（和） | 知能ソフトウェア工学全般／ソフトウェアサイエンス全般／ソフトウェア工学全般 |
| テーマ（英） | |
| 委員長氏名（和） | 粂野 文洋(日本工大) / 中田 明夫(広島市大) / 丸山 勝久(立命館大学) |
| 委員長氏名（英） | Fumihiro Kumeno(Nippon Inst. of Tech.) / Akio Nakata(Hiroshima City Univ.) / Katsuhisa Maruyama(Ritsumeikan Univ.) |
| 副委員長氏名（和） | 中川 博之(阪大) / 小林 隆志(東工大) |
| 副委員長氏名（英） | Hiroyuki Nakagawa(Osaka Univ.) / Takashi Kobayashi(Tokyo Inst. of Tech.) |
| 幹事氏名（和） | 猿渡 卓也(NTT) / 木村 功作(富士通研) / 肥後 芳樹(阪大) / 島 和之(広島市大) / 石尾 隆(NAIST) / 位野木 万里(工学院大学) / 丹野 治門(NTT) / 吉田 則裕(名古屋大学) / 吉村 健太郎(日立製作所) / 鷲崎 弘宜(早稲田大学) |
| 幹事氏名（英） | Takuya Saruwatari(NTT) / Kosaku Kimura(Fujitsu labs.) / Yoshiki Higo(Osaka Univ.) / Kazuyuki Shima(Hiroshima City Univ.) / Takashi Ishio(NAIST) / Mari Inoki(Kogakuin Univ.) / Haruto Tanno(NTT) / Norihiro Yoshida(Nagoya Univ.) / Kentaro Yoshimura(Hitachi) / Hironori Washizaki(Waseda Univ.) |
| 幹事補佐氏名（和） | 高橋 竜一(茨城大) / 田辺 良則(鶴見大) / 林 晋平(東工大) |
| 幹事補佐氏名（英） | Ryuichi Takahashi(Ibaraki Univ.) / Yoshinori Tanabe(Tsurumi Univ.) / Shinpei Hayashi(Tokyo Inst. of Tech.) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Knowledge-Based Software Engineering / Technical Committee on Software Science / Special Interest Group on Software Engineering |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | コントロールループに着目した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 |
| 第 1 著者 氏名（和/英） | 青木 善貴 / Yoshitaka Aoki |
| 第 1 著者 所属（和/英） | 日本ユニシス株式会社(略称：NUL) 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.) |
| 発表年月日 | 2018-07-18 |
| 資料番号 | SS2018-11,KBSE2018-21 |
| 巻番号（vol） | vol.118 |
| 号番号（no） | SS-137,KBSE-138 |
| ページ範囲 | pp.61-66(SS), pp.61-66(KBSE), |
| ページ数 | 6 |
| 発行日 | 2018-07-11 (SS, KBSE) |