Probabilistic Position Estimation and Model Checking for Resource-Constrained IoT Devices
Probabilistic Position Estimation and Model Checking for Resource-Constrained IoT Devices
复制标题
DOI：
10.1109/icccn.2018.8487444
复制
发表时间：
2018-07
期刊：
影响因子：
--
通讯作者：
Toshifusa Sekizawa;T. Mikoshi;Masataka Nagura;Ryo Watanabe;Qian Chen
中科院分区：
文献类型：
--
作者：
Toshifusa Sekizawa;T. Mikoshi;Masataka Nagura;Ryo Watanabe;Qian Chen
物联网（IoT）已应用于家庭/办公室，医疗保健，智能运输和农业系统。新的物联网技术正在迅速发展，并将在我们未来的社会生活方式，经济和商业中发挥重要作用。目前，饥饿和无线电波干扰是阻碍物联网开发的两个大挑战。在这项研究中，我们提出了一种马尔可夫定位算法，以估计考虑到广泛和无边界领域中各种网关分配方案的物联网设备的位置。我们采用模型检查技术来验证物联网设备位置的收敛性。我们的方法可以准确地识别物联网设备的位置，并将每个物联网节点连接到其最近的网关，以从云计算资源中发送感应数据并接收命令。我们使用养牛的物联网网络作为案例研究来验证所提出的方法，从而降低了物联网功能消耗，同时增强了网络的连通性。此外，我们还讨论了如何将这种简单方法应用于现实世界的物联网网络，例如智能家庭和车辆临时网络。
The Internet of Things (IoT) has been applied to home/office, healthcare, intelligent transportation and agriculture systems. The new IoT technology are growing rapidly and will play an essential role in our future societal lifestyle, economy and business. Currently, power hungry and radio wave interference are two big challenges hindering the IoT development. In this study, we propose a Markov localization algorithm to estimate positions of IoT devices considering various gateway allocation scenarios in a widespread and boundaryless field. We adopt the model-checking technique to validate the convergence of positions of the IoT devices. Our approach can accurately identify positions of IoT devices and connect each IoT node to its nearest gateways for sending sensing data and receiving commands from the cloud computing resources. We use a cattle-breeding IoT network as a case study to validate the proposed approach,which reduces IoT power consumption while enhancing the connectivity of the network. Additionally, we also discuss how to apply this simple approach to real-world IoT networks such as smart home and vehicular ad-hoc networks.