| 講演名 | 2019-03-04 センサIoTデバイスエミュレーションの抽象化に関する研究 広瀬 太志(北陸先端大), 湯村 翼(NICT), 篠田 陽一(北陸先端大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | センサを搭載したIoT (Internet of Things)デバイスを使用することで，市街地や圃場など広範囲な環境データの取得が容易になる．データ取得に用いられるIoTデバイスは大量に設置する必要があるため，事前検証が難しく，また現地でのデバイス再設置のコストが高い．その対策としてエミュレーションを用いた検証が行われるが，センサIoTデバイスは同時かつ大量に動作するため計算負荷が高い．一方で，テスト要件に対して忠実な実装が必要とは限らない．そこで本研究では，計算要求リソースを削減するため，テストで用いるMCU (Micro Control Unit)エミュレータの機能の一部を抽象化することを提案し，抽象化によりテストのカバレッジがどの様に変化するかを考察した． |
| 抄録(英) | IoT (Internet of Things) makes it easy to measure and collect a wide range of environmental information. IoT devices equipped with various sensors are assumed to be used in urban areas, and farms.Since it is necessary to install a large amount of IoT devices used for data acquisition, preliminary verification is difficult, and the cost of reinstalling the device in the field is high. As a countermeasure against this, verification using emulation is performed, but since the sensor IoT devices operate simultaneously and in large quantities, the calculation load is high. Meanwhile, an implementation that is faithful to the test requirements is not necessarily required. In this research, therefore, we propose to abstract a part of the functions of the MCU (Micro Control Unit) emulator used in the test in order to reduce the computation request resource and how abstraction changes the coverage of the test was considered. |
| キーワード(和) | IoT / 組込み / エミュレーション / シミュレーション / ソフトウェアテスト / ソフトウェア検証 |
| キーワード(英) | IoT / embedded / emultion / simulation / software testing / software verification |
| 資料番号 | ASN2018-104 |
| 発行日 | 2019-02-25 (ASN) |
| 研究会情報 | |
| 研究会 | ASN / MoNA / IPSJ-MBL / IPSJ-UBI |
|---|---|
| 開催期間 | 2019/3/4(から2日開催) |
| 開催地（和） | 東京大学 駒場キャンパス |
| 開催地（英） | The University of Tokyo, Komaba Campus |
| テーマ（和） | 一般 |
| テーマ（英） | General |
| 委員長氏名（和） | 岡田 啓(名大) / 新熊 亮一(京大) / / 戸辺 義人(東京電機大) |
| 委員長氏名（英） | Hiraku Okada(Nagoya Univ.) / Ryoichi Shinkuma(Kyoto Univ.) / / Yoshito Tobe(Tokyo Denki Univ.) |
| 副委員長氏名（和） | 山本 高至(京大) / 中澤 仁(慶大) / 門田 和也(日立) / 田頭 茂明(関大) / 北形 元(東北大) |
| 副委員長氏名（英） | Koji Yamamoto(Kyoto Univ.) / Jin Nakazawa(Keio Univ.) / Kazuya Monden(Hitachi) / Shigeaki Tagashira(Kansai Univ.) / Gen Kitagata(Tohoku Univ.) |
| 幹事氏名（和） | 大和田 泰伯(NICT) / 萬代 雅希(上智大) / 川喜田 佑介(神奈川工科大) / 石田 繁巳(九大) / 二瓶 浩一(NEC) / 西尾 理志(京大) / 齊藤 隆仁(NTTドコモ) / / 大内 一成(東芝) / 椎尾 一郎(お茶の水女子大) / 高汐 一紀(慶大) |
| 幹事氏名（英） | Yasunori Owada(NICT) / Masaki Bandai(Sophia Univ.) / Yusuke Kawakita(Kanagawa Inst. of Tech.) / Shigemi Ishida(Kyushu Univ.) / Koichi Nihei(NEC) / Takayuki Nishio(Kyoto Univ.) / Takato Saito(NTT DOCOMO) / / Kazushige Ouchi(Toshiba) / Ichiro Shiio(Ochanomizu Univ.) / Kazunori Takashio(Keio Univ.) |
| 幹事補佐氏名（和） | 橋本 匡史(阪大) / 大田 知行(広島市立大) / 菊月 達也(富士通研) / 中野 亮(日立) / 堀田 善文(三菱電機) / 臼井 健(KDDI総合研究所) / 金井 謙治(早大) |
| 幹事補佐氏名（英） | Masafumi Hashimoto(Osaka Univ.) / Tomoyuki Ota(Hiroshima City Univ.) / Tatsuya Kikuzuki(Fujitu Lab.) / Ryo Nakano(HITACHI) / Yoshifumi Hotta(Mitsubishi Electric) / Ken Usui(KDDI Research) / Kenji Kanai(Waseda Univ.) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Ambient intelligence and Sensor Networks / Technical Committee on Mobile Network and Applications / Special Interest Group on Mobile Computing and Ubiquitous Communications / Special Interest Group on Ubiquitous Computing System |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | センサIoTデバイスエミュレーションの抽象化に関する研究 |
| サブタイトル（和） | |
| タイトル（英） | Abstraction of Emulation for Sensor IoT Devices |
| サブタイトル（和） | |
| キーワード(1)（和/英） | IoT / IoT |
| キーワード(2)（和/英） | 組込み / embedded |
| キーワード(3)（和/英） | エミュレーション / emultion |
| キーワード(4)（和/英） | シミュレーション / simulation |
| キーワード(5)（和/英） | ソフトウェアテスト / software testing |
| キーワード(6)（和/英） | ソフトウェア検証 / software verification |
| 第 1 著者 氏名（和/英） | 広瀬 太志 / Futoshi Hirose |
| 第 1 著者 所属（和/英） | 北陸先端科学技術大学院大学(略称：北陸先端大) Japan Advanced Institute of Science and Technology(略称：JAIST) |
| 第 2 著者 氏名（和/英） | 湯村 翼 / Tsubasa Yumura |
| 第 2 著者 所属（和/英） | 情報通信研究機構(略称：NICT) National Institute of Information and Communications Technology(略称：NICT) |
| 第 3 著者 氏名（和/英） | 篠田 陽一 / Yoichi Shinoda |
| 第 3 著者 所属（和/英） | 北陸先端科学技術大学院大学(略称：北陸先端大) Japan Advanced Institute of Science and Technology(略称：JAIST) |
| 発表年月日 | 2019-03-04 |
| 資料番号 | ASN2018-104 |
| 巻番号（vol） | vol.118 |
| 号番号（no） | ASN-468 |
| ページ範囲 | pp.49-54(ASN), |
| ページ数 | 6 |
| 発行日 | 2019-02-25 (ASN) |