文献

J-GLOBAL ID：201702290513065238   整理番号：17A0985529

IoTシステムアーキテクチャのモデリング記法によるモデル検査支援手法の試作と評価

Prototyping and Evaluation of Support Method of Model Checking using Modeling Notation of IoT System Architecture

著者 (5件)： 小形真平 (信州大) ,  青木善貴 (日本ユニシス) ,  中川博之 (大阪大) ,  小林一樹 (信州大) ,  福島祐子 (日本ユニシス)
資料名： 電子情報通信学会技術研究報告  (IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
巻： 117  号： 137(KBSE2017 1-20)  ページ： 25-30  発行年： 2017年07月12日 
JST資料番号： S0532B  ISSN： 0913-5685  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： IoTシステムのアーキテクチャでは,ユーザ,Webサービス,エッジ,デバイス,電力系統,自然環境などの様々なオブジェクトが複雑に絡み合いやすい。それ故に欠陥が含まれないよう上流工程から注意深く分析・設計を進める必要がある。その分析・設計支援のため,われわれはこれまで要求分析工程を対象とし,ユースケース図レベルの抽象度でIoTシステムアーキテクチャをモデル化する記法を提案してきた。本稿では,アーキテクチャモデルの欠陥を検査支援するために当該モデルをモデル検査ツールNuSMV用のSMVコードへ変換する手法,およびその予備評価の結果を紹介する。(著者抄録)

シソーラス用語： 要求分析 ,  *モデリング ,  *モデル検査 ,  相互接続 ,  UML【モデリング言語】 ,  *システムアーキテクチャ
準シソーラス用語： システムモデリング ,  IoT

分類 (1件)： 計算機システム開発  (JD02010R)

引用文献 (16件)：

• 内閣府 : 第5期科学技術基本計画 本文, http://www8.cao.go.jp/cstp/kihonkeikaku/5honbun.pdf, 2016. (Accessed 2017-06-14)
• S.W. Lin, S. Mellor, B. Miller, J. Durand, M. Crawford, and R. Lembree, eds.: Industrial Internet Reference Architecture, Version 1.7, Industrial Internet Consortium, http://www.iiconsortium.org/IIRA-1-7-ajs.pdf, 2015. (Accessed 2017-06-19)
• J. Gubbi, R. Buyya, S. Marusic, and M. Palaniswami: Internet of Things (IoT): A vision, architectural elements, and future directions, Future Generation Computer Systems, Vol. 29, Issue 7, pp.1645-1660, 2013.
• 小林 一樹, 斉藤 保典 : ソーシャルネットと連携する高精細農園画像モニタリングシステム, 電子情報通信学会技術研究報告 ASN, Vol.114, No.290, pp.85-86, 2014.
• A. Rajhans, A. Bhave, I. Ruchkin, B.H. Krogh, D. Garlan, A. Platzer, B. Schmerl: Supporting Heterogeneity in Cyber-Physical Systems Architectures, IEEE Transactions on Automatic Control, Vol.59, Issue 12, pp.3178-3193, 2014.

タイトルに関連する用語 (9件)： IoT ,  システムアーキテクチャ ,  モデリング ,  記法 ,  モデル検査 ,  支援 ,  手法 ,  試作 ,  評価