Art

J-GLOBAL ID：201702290513065238   Reference number：17A0985529

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

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

Author (5)： OGATA SHIMPEI (信州大) ,  AOKI YOSHITAKA (日本ユニシス) ,  NAKAGAWA HIROYUKI (大阪大) ,  KOBAYASHI KAZUKI (信州大) ,  FUKUSHIMA YUKO (日本ユニシス)
Material： 電子情報通信学会技術研究報告  (IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
Volume： 117  Issue： 137(KBSE2017 1-20)  Page： 25-30  Publication year： Jul. 12, 2017 
JST Material Number： S0532B  ISSN： 0913-5685  Document type： Proceedings
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： requirement analysis ,  *modeling ,  *model checking ,  interconnection ,  UML ,  *system architecture
Semi thesaurus term： system modeling ,  internet of things

JST classification (1)： Computer system development  (JD02010R)

Reference (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.

Terms in the title (9)： IoT ,  システムアーキテクチャ ,  モデリング ,  記法 ,  モデル検査 ,  支援 ,  手法 ,  試作 ,  評価