• 文献检索
  • 文档翻译
  • 深度研究
  • 学术资讯
  • Suppr Zotero 插件Zotero 插件
  • 邀请有礼
  • 套餐&价格
  • 历史记录
应用&插件
Suppr Zotero 插件Zotero 插件浏览器插件Mac 客户端Windows 客户端微信小程序
定价
高级版会员购买积分包购买API积分包
服务
文献检索文档翻译深度研究API 文档MCP 服务
关于我们
关于 Suppr公司介绍联系我们用户协议隐私条款
关注我们

Suppr 超能文献

核心技术专利：CN118964589B侵权必究
粤ICP备2023148730 号-1Suppr @ 2026

文献检索

告别复杂PubMed语法，用中文像聊天一样搜索，搜遍4000万医学文献。AI智能推荐，让科研检索更轻松。

立即免费搜索

文件翻译

保留排版，准确专业，支持PDF/Word/PPT等文件格式，支持 12+语言互译。

免费翻译文档

深度研究

AI帮你快速写综述，25分钟生成高质量综述，智能提取关键信息，辅助科研写作。

立即免费体验

SimTalk：物联网应用的模拟

SimTalk: Simulation of IoT Applications.

作者信息

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

机构信息

College of Artificial Intelligence, National Chiao Tung University (NCTU), Hsinchu 300, Taiwan.

Department of Computer Science, National Chiao Tung University (NCTU), Hsinchu 300, Taiwan.

出版信息

Sensors (Basel). 2020 Apr 30;20(9):2563. doi: 10.3390/s20092563.

DOI:10.3390/s20092563
PMID:32365971
原文链接:https://pmc.ncbi.nlm.nih.gov/articles/PMC7248850/
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.

摘要

物联网（IoT）应用的正确实现和行为在文献中很少被研究。本文展示了如何将仿真机制很好地集成到物联网应用开发平台中，以进行正确的实现和行为研究。我们以一个名为物联网通信（IoTtalk）的物联网应用开发平台为例，描述如何将名为SimTalk的仿真机制构建到这个物联网平台中。我们首先详细阐述如何为输入物联网设备（传感器）实现模拟器。然后我们描述如何通过动画模拟器来模拟输出物联网设备（执行器）。我们使用一个智能农场应用来展示如何将模拟传感器用于正确的实现。我们以包括交互式艺术（骨骼艺术和水舞）以及摆锤物理实验等应用为例，来说明如何在SimTalk中实现物联网应用行为研究。作为本文的主要成果，SimTalk仿真代码可以直接重用于实际的物联网应用。此外，SimTalk与物联网应用验证工具很好地集成在一起，以便对物联网应用配置进行形式化验证。世界上任何物联网模拟器都没有这样的功能。

https://cdn.ncbi.nlm.nih.gov/pmc/blobs/d260/7248850/38f38142bec9/sensors-20-02563-g012.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/d260/7248850/4576246829fb/sensors-20-02563-g0A1.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/d260/7248850/d1415fc13fb8/sensors-20-02563-g0A2.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/d260/7248850/c11ee54e9cda/sensors-20-02563-g0A3.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/d260/7248850/12bb512dd1e0/sensors-20-02563-g0A4.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/d260/7248850/4de7495360b7/sensors-20-02563-g0A5.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/d260/7248850/096055b27e3c/sensors-20-02563-g0A6.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/d260/7248850/2cb528d28196/sensors-20-02563-g0A7.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/d260/7248850/db014b74a800/sensors-20-02563-g0A8.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/d260/7248850/67d5cdfcd112/sensors-20-02563-g001.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/d260/7248850/749375014dcf/sensors-20-02563-g002.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/d260/7248850/5fc24cf7a6ba/sensors-20-02563-g003.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/d260/7248850/32ea3824689f/sensors-20-02563-g004.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/d260/7248850/6b3119454826/sensors-20-02563-g005.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/d260/7248850/549276ddda20/sensors-20-02563-g006.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/d260/7248850/8187c98c8715/sensors-20-02563-g007.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/d260/7248850/e51ac47b6580/sensors-20-02563-g008.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/d260/7248850/62e6831d805f/sensors-20-02563-g009.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/d260/7248850/7da72998fdb3/sensors-20-02563-g010.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/d260/7248850/3c5eb01a633c/sensors-20-02563-g011.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/d260/7248850/38f38142bec9/sensors-20-02563-g012.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/d260/7248850/4576246829fb/sensors-20-02563-g0A1.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/d260/7248850/d1415fc13fb8/sensors-20-02563-g0A2.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/d260/7248850/c11ee54e9cda/sensors-20-02563-g0A3.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/d260/7248850/12bb512dd1e0/sensors-20-02563-g0A4.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/d260/7248850/4de7495360b7/sensors-20-02563-g0A5.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/d260/7248850/096055b27e3c/sensors-20-02563-g0A6.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/d260/7248850/2cb528d28196/sensors-20-02563-g0A7.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/d260/7248850/db014b74a800/sensors-20-02563-g0A8.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/d260/7248850/67d5cdfcd112/sensors-20-02563-g001.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/d260/7248850/749375014dcf/sensors-20-02563-g002.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/d260/7248850/5fc24cf7a6ba/sensors-20-02563-g003.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/d260/7248850/32ea3824689f/sensors-20-02563-g004.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/d260/7248850/6b3119454826/sensors-20-02563-g005.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/d260/7248850/549276ddda20/sensors-20-02563-g006.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/d260/7248850/8187c98c8715/sensors-20-02563-g007.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/d260/7248850/e51ac47b6580/sensors-20-02563-g008.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/d260/7248850/62e6831d805f/sensors-20-02563-g009.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/d260/7248850/7da72998fdb3/sensors-20-02563-g010.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/d260/7248850/3c5eb01a633c/sensors-20-02563-g011.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/d260/7248850/38f38142bec9/sensors-20-02563-g012.jpg

相似文献

1
SimTalk: Simulation of IoT Applications.SimTalk：物联网应用的模拟
Sensors (Basel). 2020 Apr 30;20(9):2563. doi: 10.3390/s20092563.
2
Design and Implementation of IoT Server Platform with Applications.带应用的物联网服务器平台的设计与实现
Sensors (Basel). 2022 Aug 26;22(17):6436. doi: 10.3390/s22176436.
3
Actuator behaviour modelling in IoT-Fog-Cloud simulation.物联网-雾计算-云计算模拟中的执行器行为建模
PeerJ Comput Sci. 2021 Jul 30;7:e651. doi: 10.7717/peerj-cs.651. eCollection 2021.
4
Design and Implementation of Cloud-Centric Configuration Repository for DIY IoT Applications.面向DIY物联网应用的以云为中心的配置存储库的设计与实现。
Sensors (Basel). 2018 Feb 6;18(2):474. doi: 10.3390/s18020474.
5
Advancements and Challenges in IoT Simulators: A Comprehensive Review.物联网模拟器的进展与挑战：全面综述
Sensors (Basel). 2024 Feb 26;24(5):1511. doi: 10.3390/s24051511.
6
VerificationTalk: A Verification and Security Mechanism for IoT Applications.验证对话：一种物联网应用的验证与安全机制
Sensors (Basel). 2021 Nov 9;21(22):7449. doi: 10.3390/s21227449.
7
Reliable Task Management Based on a Smart Contract for Runtime Verification of Sensing and Actuating Tasks in IoT Environments.基于智能合约的可靠任务管理，用于物联网环境中传感与驱动任务的运行时验证。
Sensors (Basel). 2020 Feb 22;20(4):1207. doi: 10.3390/s20041207.
8
SensorTalk: An IoT Device Failure Detection and Calibration Mechanism for Smart Farming.传感器对话：智能农业中的物联网设备故障检测和校准机制。
Sensors (Basel). 2019 Nov 4;19(21):4788. doi: 10.3390/s19214788.
9
Bindings and RESTlets: A Novel Set of CoAP-Based Application Enablers to Build IoT Applications.绑定与RESTlet：一组基于受限应用协议（CoAP）构建物联网应用的新型应用使能器
Sensors (Basel). 2016 Aug 2;16(8):1217. doi: 10.3390/s16081217.
10
A New Application of Internet of Things and Cloud Services in Analytical Chemistry: Determination of Bicarbonate in Water.物联网和云服务在分析化学中的新应用：水中碳酸氢盐的测定。
Sensors (Basel). 2019 Dec 14;19(24):5528. doi: 10.3390/s19245528.

引用本文的文献

1
VerificationTalk: A Verification and Security Mechanism for IoT Applications.验证对话：一种物联网应用的验证与安全机制
Sensors (Basel). 2021 Nov 9;21(22):7449. doi: 10.3390/s21227449.
2
SpecTalk: Conforming IoT Implementations to Sensor Specifications.SpecTalk：使物联网实现符合传感器规范。
Sensors (Basel). 2021 Aug 4;21(16):5260. doi: 10.3390/s21165260.
3
Comparative Analysis of Kinect-Based and Oculus-Based Gaze Region Estimation Methods in a Driving Simulator.基于 Kinect 和 Oculus 的驾驶模拟器中的注视区域估计方法的比较分析。

本文引用的文献

1
SensorTalk: An IoT Device Failure Detection and Calibration Mechanism for Smart Farming.传感器对话：智能农业中的物联网设备故障检测和校准机制。
Sensors (Basel). 2019 Nov 4;19(21):4788. doi: 10.3390/s19214788.
2
PlantTalk: A Smartphone-Based Intelligent Hydroponic Plant Box.植物对话：基于智能手机的智能水培植物箱。
Sensors (Basel). 2019 Apr 12;19(8):1763. doi: 10.3390/s19081763.
Sensors (Basel). 2020 Dec 23;21(1):26. doi: 10.3390/s21010026.