Simtalk: Simulation of iot applications

Yun-Wei Lin, Yi-Bing Lin*, Tai Hsiang Yen

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

1 Scopus citations

Abstract

The correct implementation and behavior of Internet of Things (IoT) applications are seldom investigated in the literature. This paper shows how the simulation mechanism can be integrated well into an IoT application development platform for correct implementation and behavior investigation. We use an IoT application development platform called IoTtalk as an example to describe how the simulation mechanism called SimTalk can be built into this IoT platform. We first elaborate on how to implement the simulator for an input IoT device (a sensor). Then we describe how an output IoT device (an actuator) can be simulated by an animated simulator. We use a smart farm application to show how the simulated sensors are used for correct implementation. We use applications including interactive art (skeleton art and water dance) and the pendulum physics experiment as examples to illustrate how IoT application behavior investigation can be achieved in SimTalk. As the main outcome of this paper, the SimTalk simulation codes can be directly reused for real IoT applications. Furthermore, SimTalk is integrated well with an IoT application verification tool in order to formally verify the IoT application configuration. Such features have not been found in any IoT simulators in the world.

Original languageEnglish
Article number2563
JournalSensors (Switzerland)
Volume20
Issue number9
DOIs
StatePublished - 1 May 2020

Keywords

  • Actuator
  • Interactive art
  • IoT
  • Physics experiments
  • Sensor
  • Simulation
  • Smart farm

Fingerprint Dive into the research topics of 'Simtalk: Simulation of iot applications'. Together they form a unique fingerprint.

Cite this