Presentation 2019-03-04
Abstraction of Emulation for Sensor IoT Devices
Futoshi Hirose, Tsubasa Yumura, Yoichi Shinoda,
PDF Download Page PDF download Page Link
Abstract(in Japanese) (See Japanese page)
Abstract(in English) 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.
Keyword(in Japanese) (See Japanese page)
Keyword(in English) IoT / embedded / emultion / simulation / software testing / software verification
Paper # ASN2018-104
Date of Issue 2019-02-25 (ASN)

Conference Information
Committee ASN / MoNA / IPSJ-MBL / IPSJ-UBI
Conference Date 2019/3/4(2days)
Place (in Japanese) (See Japanese page)
Place (in English) The University of Tokyo, Komaba Campus
Topics (in Japanese) (See Japanese page)
Topics (in English) General
Chair Hiraku Okada(Nagoya Univ.) / Ryoichi Shinkuma(Kyoto Univ.) / / Yoshito Tobe(Tokyo Denki Univ.)
Vice Chair Koji Yamamoto(Kyoto Univ.) / Jin Nakazawa(Keio Univ.) / Kazuya Monden(Hitachi) / Shigeaki Tagashira(Kansai Univ.) / Gen Kitagata(Tohoku Univ.)
Secretary Koji Yamamoto(NICT) / Jin Nakazawa(Sophia Univ.) / Kazuya Monden(Kanagawa Inst. of Tech.) / Shigeaki Tagashira(Kyushu Univ.) / Gen Kitagata(NEC) / (Kyoto Univ.) / (NTT DOCOMO)
Assistant 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.)

Paper Information
Registration To 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
Language JPN
Title (in Japanese) (See Japanese page)
Sub Title (in Japanese) (See Japanese page)
Title (in English) Abstraction of Emulation for Sensor IoT Devices
Sub Title (in English)
Keyword(1) IoT
Keyword(2) embedded
Keyword(3) emultion
Keyword(4) simulation
Keyword(5) software testing
Keyword(6) software verification
1st Author's Name Futoshi Hirose
1st Author's Affiliation Japan Advanced Institute of Science and Technology(JAIST)
2nd Author's Name Tsubasa Yumura
2nd Author's Affiliation National Institute of Information and Communications Technology(NICT)
3rd Author's Name Yoichi Shinoda
3rd Author's Affiliation Japan Advanced Institute of Science and Technology(JAIST)
Date 2019-03-04
Paper # ASN2018-104
Volume (vol) vol.118
Number (no) ASN-468
Page pp.pp.49-54(ASN),
#Pages 6
Date of Issue 2019-02-25 (ASN)