首页 > 最新文献

2020 IEEE International Conference on Smart Internet of Things (SmartIoT)最新文献

英文 中文
A Cyber-Physical System Approach for Predictive Maintenance 预测性维护的信息物理系统方法
Pub Date : 2020-08-01 DOI: 10.1109/SmartIoT49966.2020.00061
K. Meesublak, Tosapol Klinsukont
Cyber-Physical System (CPS) is considered as one of the main enablers for Industry 4.0. CPS technology integrates knowledge from multiple domains, and bridges the gap between the Physical and the Cyber worlds. Predictive Maintenance (PdM), a crucial application within Industry 4.0, can take a CPS-based approach with intelligent operations to minimize machine downtimes and associated costs. This paper discusses challenges of PdM implementation and evaluates performance of the Convolutional Neural Network (CNN) algorithm in fault diagnosis of a PdM system.
信息物理系统(CPS)被认为是工业4.0的主要推动者之一。CPS技术集成了来自多个领域的知识,并在物理世界和网络世界之间架起了桥梁。预测性维护(PdM)是工业4.0中的一个关键应用,可以采用基于cps的方法进行智能操作,以最大限度地减少机器停机时间和相关成本。本文讨论了PdM实现的挑战,并评估了卷积神经网络(CNN)算法在PdM系统故障诊断中的性能。
{"title":"A Cyber-Physical System Approach for Predictive Maintenance","authors":"K. Meesublak, Tosapol Klinsukont","doi":"10.1109/SmartIoT49966.2020.00061","DOIUrl":"https://doi.org/10.1109/SmartIoT49966.2020.00061","url":null,"abstract":"Cyber-Physical System (CPS) is considered as one of the main enablers for Industry 4.0. CPS technology integrates knowledge from multiple domains, and bridges the gap between the Physical and the Cyber worlds. Predictive Maintenance (PdM), a crucial application within Industry 4.0, can take a CPS-based approach with intelligent operations to minimize machine downtimes and associated costs. This paper discusses challenges of PdM implementation and evaluates performance of the Convolutional Neural Network (CNN) algorithm in fault diagnosis of a PdM system.","PeriodicalId":399187,"journal":{"name":"2020 IEEE International Conference on Smart Internet of Things (SmartIoT)","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114981197","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Keynote Speakers [6 Abstracts] 主旨演讲嘉宾[6摘要]
Pub Date : 2020-08-01 DOI: 10.1109/smartiot49966.2020.00009
{"title":"Keynote Speakers [6 Abstracts]","authors":"","doi":"10.1109/smartiot49966.2020.00009","DOIUrl":"https://doi.org/10.1109/smartiot49966.2020.00009","url":null,"abstract":"","PeriodicalId":399187,"journal":{"name":"2020 IEEE International Conference on Smart Internet of Things (SmartIoT)","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128526067","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A Novel Diagnostic Algorithm for Heart Disease in ECG Monitoring System 心电监测系统中一种新的心脏病诊断算法
Pub Date : 2020-08-01 DOI: 10.1109/SmartIoT49966.2020.00014
Zhengyang Gu, Kehua Jiang, Qi Zhou
Healthcare Internet of Things (HIoT) can connect mobile and wearable devices in the medical field, making disease monitoring and diagnosis possible anytime and anywhere. Most of these mobile and wearable devices can collect physiological signals of the human body in real time. Among them, ECG signal as a non-invasively collected signal that can effectively reflect the physiological changes of the heart plays a vital role in clinical and HIoT. We firstly propose a practical ECG monitoring system based on Humeds Portable ECG Monitor. Secondly, based on wavelet transform (WT) and deep convolutional neural network (DCNN), we propose a new algorithm suitable for the diagnosis of atrial fibrillation (AF) and arrhythmia. The sensitivity of AF is 0.978 and the accuracy rate of arrhythmia diagnosis is 0.991. Thirdly, we collected ECG data from 17 volunteers and verified the AF algorithm, the final average accuracy is 0.852. The ECG monitoring system designed in this paper can be used as a complete and effective application of HIoT. The algorithm designed in this paper is not only applicable to the ECG monitoring system proposed but also can be integrated as a potential algorithm in other ECG mobile and wearable devices.
医疗物联网(HIoT)可以连接医疗领域的移动和可穿戴设备,使疾病监测和诊断随时随地成为可能。这些移动和可穿戴设备大多可以实时收集人体的生理信号。其中,心电信号作为一种能有效反映心脏生理变化的无创采集信号,在临床和HIoT中起着至关重要的作用。首先提出了一种实用的基于Humeds便携式心电监护仪的心电监护系统。其次,基于小波变换(WT)和深度卷积神经网络(DCNN),提出了一种适用于房颤和心律失常诊断的新算法。AF的敏感性为0.978,对心律失常的诊断准确率为0.991。再次,我们收集了17名志愿者的心电数据,对AF算法进行了验证,最终平均准确率为0.852。本文设计的心电监护系统可以作为HIoT的一个完整有效的应用。本文设计的算法不仅适用于所提出的心电监测系统,而且可以作为一种潜在的算法集成到其他心电移动和可穿戴设备中。
{"title":"A Novel Diagnostic Algorithm for Heart Disease in ECG Monitoring System","authors":"Zhengyang Gu, Kehua Jiang, Qi Zhou","doi":"10.1109/SmartIoT49966.2020.00014","DOIUrl":"https://doi.org/10.1109/SmartIoT49966.2020.00014","url":null,"abstract":"Healthcare Internet of Things (HIoT) can connect mobile and wearable devices in the medical field, making disease monitoring and diagnosis possible anytime and anywhere. Most of these mobile and wearable devices can collect physiological signals of the human body in real time. Among them, ECG signal as a non-invasively collected signal that can effectively reflect the physiological changes of the heart plays a vital role in clinical and HIoT. We firstly propose a practical ECG monitoring system based on Humeds Portable ECG Monitor. Secondly, based on wavelet transform (WT) and deep convolutional neural network (DCNN), we propose a new algorithm suitable for the diagnosis of atrial fibrillation (AF) and arrhythmia. The sensitivity of AF is 0.978 and the accuracy rate of arrhythmia diagnosis is 0.991. Thirdly, we collected ECG data from 17 volunteers and verified the AF algorithm, the final average accuracy is 0.852. The ECG monitoring system designed in this paper can be used as a complete and effective application of HIoT. The algorithm designed in this paper is not only applicable to the ECG monitoring system proposed but also can be integrated as a potential algorithm in other ECG mobile and wearable devices.","PeriodicalId":399187,"journal":{"name":"2020 IEEE International Conference on Smart Internet of Things (SmartIoT)","volume":"143 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133346551","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Development of IoT Edge Hub for Wireless Sensor Networks based on Docker Container 基于Docker容器的无线传感器网络IoT边缘集线器的开发
Pub Date : 2020-08-01 DOI: 10.1109/SmartIoT49966.2020.00068
Natapon Tansangworn
Wireless sensor network (WSN) is spatially distributed sensor for monitoring and recording the physical conditions of the environment. The organization of distributed sensor is essential for industrial, building, and agriculture. However, Creating systems for separately placed sensor nodes which gather and share data are complicated. Here we show the develop of IoT edge hub based on docker containers for Wireless sensor networks. The Edge hub is a lightweight system for real-time monitoring which is consist of broker, storage, rule engine and visualization. The Internet of things (IoT) and wireless sensor network Internet of things (IoT) and wireless sensor network are combined in an edge hub for data transmission in global and local area network. Furthermore, the edge hub using docker containers and deployed using Docker Swarm-based orchestration. we have implemented an edge hub prototype based on docker container. Our discuss the prototype implementation of edge hub for efficient environmental management in the building from environment data.
无线传感器网络(WSN)是一种用于监测和记录环境物理状况的空间分布式传感器。分布式传感器的组织对于工业、建筑和农业都是必不可少的。然而,为单独放置的传感器节点创建收集和共享数据的系统是复杂的。在这里,我们展示了基于无线传感器网络的docker容器的物联网边缘集线器的开发。Edge hub是一个轻量级的实时监控系统,它由代理、存储、规则引擎和可视化组成。物联网(IoT)和无线传感器网络物联网(IoT)和无线传感器网络结合在一个边缘集线器中,用于全球和局域网的数据传输。此外,边缘中心使用docker容器,并使用基于docker swarm的编排进行部署。我们实现了一个基于docker容器的边缘集线器原型。从环境数据出发,讨论了在建筑中实现高效环境管理的边缘枢纽的原型。
{"title":"Development of IoT Edge Hub for Wireless Sensor Networks based on Docker Container","authors":"Natapon Tansangworn","doi":"10.1109/SmartIoT49966.2020.00068","DOIUrl":"https://doi.org/10.1109/SmartIoT49966.2020.00068","url":null,"abstract":"Wireless sensor network (WSN) is spatially distributed sensor for monitoring and recording the physical conditions of the environment. The organization of distributed sensor is essential for industrial, building, and agriculture. However, Creating systems for separately placed sensor nodes which gather and share data are complicated. Here we show the develop of IoT edge hub based on docker containers for Wireless sensor networks. The Edge hub is a lightweight system for real-time monitoring which is consist of broker, storage, rule engine and visualization. The Internet of things (IoT) and wireless sensor network Internet of things (IoT) and wireless sensor network are combined in an edge hub for data transmission in global and local area network. Furthermore, the edge hub using docker containers and deployed using Docker Swarm-based orchestration. we have implemented an edge hub prototype based on docker container. Our discuss the prototype implementation of edge hub for efficient environmental management in the building from environment data.","PeriodicalId":399187,"journal":{"name":"2020 IEEE International Conference on Smart Internet of Things (SmartIoT)","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116102773","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Characteristic Analysis and Test of Mixed Pulley Sound Signal Based on Hidden Markov Model 基于隐马尔可夫模型的混合滑轮声信号特性分析与测试
Pub Date : 2020-08-01 DOI: 10.1109/SmartIoT49966.2020.00043
Gengzhe Zheng, Liming Wu, Feiyang Song, Xinying He, Gengxuan Lin, Danfeng Jiang
The sliding door pulley produces noise in the process of movement and forms mixed noise after combining with the environmental background noise. The noise produced by pulley movement is related to its structure and material. This article discusses how to use sound signals to analyze pulley characteristics. Noise source is separated by simulating the mixing of a given sound source through the Clustering Hidden Markov Model (C-HMM), and the mechanism of the noise source generated by the pulley is studied, which can provide data support for judging the pulley mass. This paper designs a mixed pulley sound signal perception test platform based on C-HMM. The experimental results show that the system can analyze and judge the quality of the pulley under certain conditions by entering the noise characteristics of sheave motion. The characteristic recognition rate of different combinations is different, and the comprehensive recognition accuracy of the Mel Frequency Cepstrum Coefficient (MFCC) + Short Time Energy (STE) combination can reach 91.76%.
滑动门滑轮在运动过程中产生噪声,与环境背景噪声结合后形成混合噪声。滑轮运动产生的噪声与其结构和材料有关。本文讨论了如何利用声音信号分析滑轮的特性。通过聚类隐马尔可夫模型(C-HMM)模拟给定声源的混合,分离噪声源,研究滑轮产生噪声源的机理,为判断滑轮质量提供数据支持。本文设计了一个基于C-HMM的混合滑轮声信号感知测试平台。实验结果表明,该系统通过输入滑轮运动的噪声特性,可以在一定条件下对滑轮的质量进行分析和判断。不同组合的特征识别率不同,Mel Frequency倒频谱系数(MFCC) + Short Time Energy (STE)组合的综合识别准确率可达91.76%。
{"title":"Characteristic Analysis and Test of Mixed Pulley Sound Signal Based on Hidden Markov Model","authors":"Gengzhe Zheng, Liming Wu, Feiyang Song, Xinying He, Gengxuan Lin, Danfeng Jiang","doi":"10.1109/SmartIoT49966.2020.00043","DOIUrl":"https://doi.org/10.1109/SmartIoT49966.2020.00043","url":null,"abstract":"The sliding door pulley produces noise in the process of movement and forms mixed noise after combining with the environmental background noise. The noise produced by pulley movement is related to its structure and material. This article discusses how to use sound signals to analyze pulley characteristics. Noise source is separated by simulating the mixing of a given sound source through the Clustering Hidden Markov Model (C-HMM), and the mechanism of the noise source generated by the pulley is studied, which can provide data support for judging the pulley mass. This paper designs a mixed pulley sound signal perception test platform based on C-HMM. The experimental results show that the system can analyze and judge the quality of the pulley under certain conditions by entering the noise characteristics of sheave motion. The characteristic recognition rate of different combinations is different, and the comprehensive recognition accuracy of the Mel Frequency Cepstrum Coefficient (MFCC) + Short Time Energy (STE) combination can reach 91.76%.","PeriodicalId":399187,"journal":{"name":"2020 IEEE International Conference on Smart Internet of Things (SmartIoT)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125855669","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Research on Computing Task Allocation Method Based on Multi-UAVs Collaboration 基于多无人机协同的计算任务分配方法研究
Pub Date : 2020-08-01 DOI: 10.1109/SmartIoT49966.2020.00022
He Dong, Nan Wu, Guangsheng Feng, Xinying Gao
With the rapid development of wireless communication technology, Unmanned aerial vehicles (UAVs) have been widely used in military and civilian fields due to their inherent advantages such as easy deployment, flexible mobility, and line-of-sight connectivity. Due to the high flexibility of mobile edge computing system composed of UAVs, multi-UAVs collaboration has become a common method to share and complete computing tasks at the edge of the network. To minimize the energy consumption of the UAV cluster, we consider the impact of UAV mobility on task assignment decisions, based on a two-dimensional random walk model, a UAV mobility model is established. Then, we formulate the problem as energy consumption minimization, which is a mixed integer nonlinear programming problem, and proposes a sequence-depend task assignment algorithm. In this paper, a spatial branch limiting algorithm is proposed to solve the problem, and the correctness of the model and the effectiveness of the algorithm are verified through multiple simulation experiments.
随着无线通信技术的飞速发展,无人机以其易于部署、机动灵活、视距连接等固有优势,在军事和民用领域得到了广泛的应用。由于由无人机组成的移动边缘计算系统具有很高的灵活性,多无人机协作已成为网络边缘共享和完成计算任务的常用方法。为了最大限度地降低无人机集群的能耗,考虑无人机机动性对任务分配决策的影响,基于二维随机行走模型,建立了无人机机动性模型。然后,将该问题化为一个混合整数非线性规划问题的能耗最小化问题,并提出了一种依赖于序列的任务分配算法。本文提出了一种空间分支限制算法来解决该问题,并通过多次仿真实验验证了模型的正确性和算法的有效性。
{"title":"Research on Computing Task Allocation Method Based on Multi-UAVs Collaboration","authors":"He Dong, Nan Wu, Guangsheng Feng, Xinying Gao","doi":"10.1109/SmartIoT49966.2020.00022","DOIUrl":"https://doi.org/10.1109/SmartIoT49966.2020.00022","url":null,"abstract":"With the rapid development of wireless communication technology, Unmanned aerial vehicles (UAVs) have been widely used in military and civilian fields due to their inherent advantages such as easy deployment, flexible mobility, and line-of-sight connectivity. Due to the high flexibility of mobile edge computing system composed of UAVs, multi-UAVs collaboration has become a common method to share and complete computing tasks at the edge of the network. To minimize the energy consumption of the UAV cluster, we consider the impact of UAV mobility on task assignment decisions, based on a two-dimensional random walk model, a UAV mobility model is established. Then, we formulate the problem as energy consumption minimization, which is a mixed integer nonlinear programming problem, and proposes a sequence-depend task assignment algorithm. In this paper, a spatial branch limiting algorithm is proposed to solve the problem, and the correctness of the model and the effectiveness of the algorithm are verified through multiple simulation experiments.","PeriodicalId":399187,"journal":{"name":"2020 IEEE International Conference on Smart Internet of Things (SmartIoT)","volume":"98 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124929659","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Supply Chain Financial Model Innovation Based on Block-chain Drive and Construction of Cloud Computing Credit System 基于区块链驱动的供应链金融模式创新与云计算信用体系构建
Pub Date : 2020-08-01 DOI: 10.1109/SmartIoT49966.2020.00044
Yifei Yao, L. Chu, Linyun Shan, Qihui Lei
There are three stages in the development of supply chain finance. At present, online supply chain finance serves the supply chain business with its significant advantages. Due to the information asymmetry caused by the joint tampering of transaction information, supply chain finance is facing the bottleneck of credit crisis. The financing difficulty of small and medium-sized enterprises has affected their survival. As a new forward-looking technology, blockchain has the characteristics of decentralization, information tamperability and traceability. This paper introduces blockchain technology into the supply chain financial service system, reflects the whole chain business logic through blockchain network, proposes the supply chain financial model based on blockchain technology, constructs the cloud computing credit service system based on blockchain network, and effectively relieves the supply chain Chain credit crisis promotes the development of supply chain financial business.
供应链金融的发展经历了三个阶段。目前,网上供应链金融以其显著的优势服务于供应链业务。由于交易信息的共同篡改导致的信息不对称,供应链金融面临着信用危机的瓶颈。中小企业融资难已经影响到中小企业的生存。区块链作为一种新的前瞻性技术,具有去中心化、信息可篡改、可追溯等特点。本文将区块链技术引入供应链金融服务体系,通过区块链网络体现全链业务逻辑,提出基于区块链技术的供应链金融模型,构建基于区块链网络的云计算信用服务体系,有效缓解供应链信用危机,促进供应链金融业务发展。
{"title":"Supply Chain Financial Model Innovation Based on Block-chain Drive and Construction of Cloud Computing Credit System","authors":"Yifei Yao, L. Chu, Linyun Shan, Qihui Lei","doi":"10.1109/SmartIoT49966.2020.00044","DOIUrl":"https://doi.org/10.1109/SmartIoT49966.2020.00044","url":null,"abstract":"There are three stages in the development of supply chain finance. At present, online supply chain finance serves the supply chain business with its significant advantages. Due to the information asymmetry caused by the joint tampering of transaction information, supply chain finance is facing the bottleneck of credit crisis. The financing difficulty of small and medium-sized enterprises has affected their survival. As a new forward-looking technology, blockchain has the characteristics of decentralization, information tamperability and traceability. This paper introduces blockchain technology into the supply chain financial service system, reflects the whole chain business logic through blockchain network, proposes the supply chain financial model based on blockchain technology, constructs the cloud computing credit service system based on blockchain network, and effectively relieves the supply chain Chain credit crisis promotes the development of supply chain financial business.","PeriodicalId":399187,"journal":{"name":"2020 IEEE International Conference on Smart Internet of Things (SmartIoT)","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125125789","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
A Correlation Analysis of Indoor and Outdoor Air Quality using IoT sensors 基于物联网传感器的室内外空气质量相关性分析
Pub Date : 2020-08-01 DOI: 10.1109/SmartIoT49966.2020.00065
Jaewon Moon, Seungwoo Keum, Sung-Soon Park
It is becoming increasingly necessary to improve people's daily living environments for their quality of life. Indoor air quality is also important, as most people spend a lot of time indoors. It is known that a significant proportion of indoor pollution is caused by outdoor pollution. However, the size of the outdoor influence may depend on the characteristics of indoor space. In this paper, we collected air and environmental data for 21 spaces and analyzed how much they relate to external environmental pollution. The result shows that the influence on the external environment varies greatly depending on the spaces.
为了提高人们的生活质量,改善人们的日常生活环境变得越来越有必要。室内空气质量也很重要,因为大多数人花很多时间在室内。众所周知,很大一部分室内污染是由室外污染引起的。然而,室外影响的大小可能取决于室内空间的特点。在本文中,我们收集了21个空间的空气和环境数据,并分析了它们与外部环境污染的关系。结果表明,对外部环境的影响随空间的不同而变化很大。
{"title":"A Correlation Analysis of Indoor and Outdoor Air Quality using IoT sensors","authors":"Jaewon Moon, Seungwoo Keum, Sung-Soon Park","doi":"10.1109/SmartIoT49966.2020.00065","DOIUrl":"https://doi.org/10.1109/SmartIoT49966.2020.00065","url":null,"abstract":"It is becoming increasingly necessary to improve people's daily living environments for their quality of life. Indoor air quality is also important, as most people spend a lot of time indoors. It is known that a significant proportion of indoor pollution is caused by outdoor pollution. However, the size of the outdoor influence may depend on the characteristics of indoor space. In this paper, we collected air and environmental data for 21 spaces and analyzed how much they relate to external environmental pollution. The result shows that the influence on the external environment varies greatly depending on the spaces.","PeriodicalId":399187,"journal":{"name":"2020 IEEE International Conference on Smart Internet of Things (SmartIoT)","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126371849","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Hierarchical Formal Modeling of Internet of Things System Oriented to User Behavior 面向用户行为的物联网系统分层形式化建模
Pub Date : 2020-08-01 DOI: 10.1109/SmartIoT49966.2020.00050
Lei Yu, Yang Lu, Benhong Zhang, Lei Shi, Fangliang Huang, Ya Li, Yulian Shen
Ensuring the correctness and reliability of the Internet of Things system is the key to the advancement of the Internet of Things project. It is very necessary to fully inspect the Internet of Things system before it is actually deployed, so as to find the errors and defects in the system design as soon as possible and make improvements. Compared with conventional simulation and testing, the formal method has the advantages of low cost, short cycle and simple steps, which provides efficient support for the inspection and analysis of the Internet of Things system before deployment. Based on the stateful timed communication sequence process (STCSP), we consider the formal modeling framework for the Internet of things system from the perspective of external environment input and system architecture. We then propose a hierarchical formal modeling method for the Internet of things system oriented to user behavior. Taking the elderly home monitoring application scene as an example, as the input of the external environment, the user behavior and its implementation object are combined into a whole for modeling, so as to keep the two states in sync, restrict each other, and avoid unrealistic sequence of activities. From the perspectives of perception mode, communication mode, predefined rules and application services, we have completed the hierarchical modeling of the three-layer architecture of the Internet of Things system, that is, perception layer, middle layer and application layer. Finally, the model verification tool PAT analyzes and verifies the above model from the aspects of security, accessibility, and system consistency. This method provides scientific basis for the correctness inspection and reliability analysis of the Internet of Things system before deployment in the Internet of Things project.
保证物联网系统的正确性和可靠性是物联网项目推进的关键。在实际部署物联网系统之前,对其进行充分的检查是非常必要的,这样可以尽快发现系统设计中的错误和缺陷,并进行改进。与传统的仿真测试方法相比,形式化方法具有成本低、周期短、步骤简单等优点,可为物联网系统部署前的检测分析提供有效支持。基于有状态定时通信序列过程(STCSP),从外部环境输入和系统架构的角度考虑物联网系统的形式化建模框架。然后,我们提出了一种面向用户行为的物联网系统分层形式化建模方法。以养老院监控应用场景为例,将用户行为及其实现对象作为外部环境的输入,组合成一个整体进行建模,使两种状态保持同步,相互制约,避免不现实的活动顺序。从感知模式、通信模式、预定义规则和应用服务的角度,完成了物联网系统三层架构的分层建模,即感知层、中间层和应用层。最后,模型验证工具PAT从安全性、可访问性和系统一致性方面对上述模型进行分析和验证。该方法为物联网项目部署前对物联网系统进行正确性检查和可靠性分析提供了科学依据。
{"title":"Hierarchical Formal Modeling of Internet of Things System Oriented to User Behavior","authors":"Lei Yu, Yang Lu, Benhong Zhang, Lei Shi, Fangliang Huang, Ya Li, Yulian Shen","doi":"10.1109/SmartIoT49966.2020.00050","DOIUrl":"https://doi.org/10.1109/SmartIoT49966.2020.00050","url":null,"abstract":"Ensuring the correctness and reliability of the Internet of Things system is the key to the advancement of the Internet of Things project. It is very necessary to fully inspect the Internet of Things system before it is actually deployed, so as to find the errors and defects in the system design as soon as possible and make improvements. Compared with conventional simulation and testing, the formal method has the advantages of low cost, short cycle and simple steps, which provides efficient support for the inspection and analysis of the Internet of Things system before deployment. Based on the stateful timed communication sequence process (STCSP), we consider the formal modeling framework for the Internet of things system from the perspective of external environment input and system architecture. We then propose a hierarchical formal modeling method for the Internet of things system oriented to user behavior. Taking the elderly home monitoring application scene as an example, as the input of the external environment, the user behavior and its implementation object are combined into a whole for modeling, so as to keep the two states in sync, restrict each other, and avoid unrealistic sequence of activities. From the perspectives of perception mode, communication mode, predefined rules and application services, we have completed the hierarchical modeling of the three-layer architecture of the Internet of Things system, that is, perception layer, middle layer and application layer. Finally, the model verification tool PAT analyzes and verifies the above model from the aspects of security, accessibility, and system consistency. This method provides scientific basis for the correctness inspection and reliability analysis of the Internet of Things system before deployment in the Internet of Things project.","PeriodicalId":399187,"journal":{"name":"2020 IEEE International Conference on Smart Internet of Things (SmartIoT)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126378471","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Welcome Message from the General Chairs 主席的欢迎辞
Pub Date : 2020-08-01 DOI: 10.1109/smartiot49966.2020.00005
{"title":"Welcome Message from the General Chairs","authors":"","doi":"10.1109/smartiot49966.2020.00005","DOIUrl":"https://doi.org/10.1109/smartiot49966.2020.00005","url":null,"abstract":"","PeriodicalId":399187,"journal":{"name":"2020 IEEE International Conference on Smart Internet of Things (SmartIoT)","volume":"75 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121422344","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
期刊
2020 IEEE International Conference on Smart Internet of Things (SmartIoT)
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1