| 講演名 | 2017-07-19 IoTシステムアーキテクチャのモデリング記法によるモデル検査支援手法の試作と評価 小形 真平(信州大), 青木 善貴(NUL), 中川 博之(阪大), 小林 一樹(信州大), 福島 祐子(NUL), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | IoTシステムのアーキテクチャでは，ユーザ，Webサービス，エッジ，デバイス，電力系統，自然環境などの様々なオブジェクトが複雑に絡み合いやすい．それ故に欠陥が含まれないよう上流工程から注意深く分析・設計を進める必要がある．その分析・設計支援のため，われわれはこれまで要求分析工程を対象とし，ユースケース図レベルの抽象度でIoTシステムアーキテクチャをモデル化する記法を提案してきた．本稿では，アーキテクチャモデルの欠陥を検査支援するために当該モデルをモデル検査ツールNuSMV用のSMVコードへ変換する手法，およびその予備評価の結果を紹介する． |
| 抄録(英) | IoT system architecture often relates to various objects such as users, Web services, edges, devices, energy suppliers and natural environment, so the relationships between them are easy to complicatedly intertwine. Hence, the architecture should be carefully analyzed and designed at an early step of system development in order to prevent its defects. For such analysis and design, we have proposed a notation for modeling IoT system architecture in the abstraction level of a use case diagram. This report presents a method of transforming an architecture model into the SMV code executed by NuSMV which is a symbolic model verifier in order to support checking the model, and a result of a preliminary evaluation of our method. |
| キーワード(和) | IoT / アーキテクチャ / モデル検査 / UML |
| キーワード(英) | IoT / Architecture / Model Checking / UML |
| 資料番号 | SS2017-5,KBSE2017-5 |
| 発行日 | 2017-07-12 (SS, KBSE) |
| 研究会情報 | |
| 研究会 | SS / KBSE / IPSJ-SE |
|---|---|
| 開催期間 | 2017/7/19(から3日開催) |
| 開催地（和） | 函館コミュニティプラザ |
| 開催地（英） | |
| テーマ（和） | ソフトウェア工学全般／知能ソフトウェア工学全般／ソフトウェアサイエンス全般 |
| テーマ（英） | |
| 委員長氏名（和） | 緒方 和博(北陸先端大) / 金田 重郎(同志社大) |
| 委員長氏名（英） | Kazuhiro Ogata(JAIST) / Shigeo Kaneda(Doshisha Univ.) |
| 副委員長氏名（和） | 中田 明夫(広島市大) / 粂野 文洋(日本工大) |
| 副委員長氏名（英） | Akio Nakata(Hiroshima City Univ.) / Fumihiro Kumeno(Nippon Inst. of Tech.) |
| 幹事氏名（和） | 小林 隆志(東工大) / 肥後 芳樹(阪大) / 岩田 一(神奈川工科大) / 櫻井 孝平(金沢大) |
| 幹事氏名（英） | Takashi Kobayashi(Tokyo Inst. of Tech.) / Yoshiki Higo(Osaka Univ.) / Hajime Iwata(Kanagawa Inst. of Tech.) / Kohei Sakurai(Kanazawa Univ.) |
| 幹事補佐氏名（和） | 島 和之(広島市大) / 猿渡 卓也(NTTデータ) / 木村 功作(富士通研) |
| 幹事補佐氏名（英） | Kazuyuki Shima(Hiroshima City Univ.) / Takuya Saruwatari(NTT DATA) / Kosaku Kimura(Fujitsu labs.) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Software Science / Technical Committee on Knowledge-Based Software Engineering / Special Interest Group on Software Engineering |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | IoTシステムアーキテクチャのモデリング記法によるモデル検査支援手法の試作と評価 |
| サブタイトル（和） | |
| タイトル（英） | Prototyping and Evaluation of Support Method of Model Checking using Modeling Notation of IoT System Architecture |
| サブタイトル（和） | |
| キーワード(1)（和/英） | IoT / IoT |
| キーワード(2)（和/英） | アーキテクチャ / Architecture |
| キーワード(3)（和/英） | モデル検査 / Model Checking |
| キーワード(4)（和/英） | UML / UML |
| 第 1 著者 氏名（和/英） | 小形 真平 / Shinpei Ogata |
| 第 1 著者 所属（和/英） | 信州大学(略称：信州大) Shinshu University(略称：Shinshu Univ.) |
| 第 2 著者 氏名（和/英） | 青木 善貴 / Yoshitaka Aoki |
| 第 2 著者 所属（和/英） | 日本ユニシス株式会社(略称：NUL) Nihon Unisys,Ltd(略称：NUL) |
| 第 3 著者 氏名（和/英） | 中川 博之 / Hiroyuki Nakagawa |
| 第 3 著者 所属（和/英） | 大阪大学(略称：阪大) Osaka University(略称：Osaka Univ.) |
| 第 4 著者 氏名（和/英） | 小林 一樹 / Kazuki Kobayashi |
| 第 4 著者 所属（和/英） | 信州大学(略称：信州大) Shinshu University(略称：Shinshu Univ.) |
| 第 5 著者 氏名（和/英） | 福島 祐子 / Yuko Fukushima |
| 第 5 著者 所属（和/英） | 日本ユニシス株式会社(略称：NUL) Nihon Unisys,Ltd(略称：NUL) |
| 発表年月日 | 2017-07-19 |
| 資料番号 | SS2017-5,KBSE2017-5 |
| 巻番号（vol） | vol.117 |
| 号番号（no） | SS-136,KBSE-137 |
| ページ範囲 | pp.25-30(SS), pp.25-30(KBSE), |
| ページ数 | 6 |
| 発行日 | 2017-07-12 (SS, KBSE) |