{"title":"SmartIoT 2020 Breaker Page","authors":"","doi":"10.1109/smartiot49966.2020.00003","DOIUrl":"https://doi.org/10.1109/smartiot49966.2020.00003","url":null,"abstract":"","PeriodicalId":399187,"journal":{"name":"2020 IEEE International Conference on Smart Internet of Things (SmartIoT)","volume":"188 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":"131570338","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}
Xin Xin, S. Keoh, Michele Sevegnani, Martin Saerbeck
{"title":"Dynamic Probabilistic Model Checking for Sensor Validation in Industry 4.0 Applications","authors":"Xin Xin, S. Keoh, Michele Sevegnani, Martin Saerbeck","doi":"10.1109/SmartIoT49966.2020.00016","DOIUrl":"https://doi.org/10.1109/SmartIoT49966.2020.00016","url":null,"abstract":"Industry 4.0 adopts Internet of Things (IoT) and service-oriented architectures to integrate Cyber-Physical Systems and Enterprise Planning into manufacturing operations. This kind of integration consists of a combination of connected sensors and run-time control algorithms. Consequential control decisions are driven by sensor-generated data. Hence, the trustworthiness of the sensor network readings is increasingly crucial to guarantee the performance and the quality of a manufacturing task. However, existing methodologies to test such systems often do not scale to the complexity and dynamic nature of today’s sensor networks. This paper proposes a novel run-time verification framework combining sensor-level fault detection and system-level probabilistic model checking. This framework can rigorously quantify the trustworthiness of sensor readings, hence enabling formal reasoning for system failure prediction. We evaluated our approach on an industrial turn-mill machine equipped with a sensor network to monitor its main components continuously. The results indicate that the proposed verification framework involving the quantified sensor’s trustworthiness enhances the accuracy of the system failure prediction.","PeriodicalId":399187,"journal":{"name":"2020 IEEE International Conference on Smart Internet of Things (SmartIoT)","volume":"118 2 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":"115684220","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}
{"title":"Deep Reinforcement Learning for Pre-caching and Task Allocation in Internet of Vehicles","authors":"Teng Ma, Xin Chen, Zhuo Ma, Ying Chen","doi":"10.1109/SmartIoT49966.2020.00021","DOIUrl":"https://doi.org/10.1109/SmartIoT49966.2020.00021","url":null,"abstract":"With the development of Internet of Vehicles and 5G network, there is an increasing demand for services from vehicle users. Mobile edge computing offers a solution, that is, processing tasks on the edge server to improve user quality of experience (QoE). However, given the constant changes in the location of users on fast-moving vehicles, it remains a challenge on how to efficiently and stably transmit data. To address it, a method of pre-caching and task allocation based on deep reinforcement learning is proposed in this paper. The files requested by vehicle users are pre-cached on roadside units (RSUs), and transmission tasks are dynamically allocated to vehicle to vehicle (V2V) transmission and vehicle to roadside unit (V2R) transmission based on the speed of transmission. To be specific, pre-caching and task allocation are modeled as Markov decision processes (MDP). Then, Deep Deterministic Policy Gradient (DDPG) is applied to determine the optimal ratio of pre-caching and task allocation. The performance of the algorithm in different situations is analyzed through simulation and it is compared with other algorithms. It is found that DDPG can maximize the data reception rate of fast-moving vehicles, thereby improving the QoE of vehicle users.","PeriodicalId":399187,"journal":{"name":"2020 IEEE International Conference on Smart Internet of Things (SmartIoT)","volume":"2 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":"129857984","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}
{"title":"Welcome Message from the TPC Chairs","authors":"","doi":"10.1109/smartiot49966.2020.00006","DOIUrl":"https://doi.org/10.1109/smartiot49966.2020.00006","url":null,"abstract":"","PeriodicalId":399187,"journal":{"name":"2020 IEEE International Conference on Smart Internet of Things (SmartIoT)","volume":"54 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":"125488209","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}
{"title":"New Method of MSCA for Edge Computing","authors":"De-gan Zhang, Haoli Zhu, Ting Zhang, Jiaxu Wang","doi":"10.1109/SmartIoT49966.2020.00017","DOIUrl":"https://doi.org/10.1109/SmartIoT49966.2020.00017","url":null,"abstract":"By innovative use of edge computing technology to construct a node data cache model and step-by-step calculation of node channel separation, a multi-strategy channel allocation algorithm (MSCA) for edge computing is proposed. The mechanism of this algorithm is to use edge computing technology to pre-store the data in the nodes in the multicast tree and calculate the channel separation between the nodes, and then select the transmission channel number of the node with the least interference to avoid mutual interference between node information transmissions. Through experimental tests and comparisons, the MSCA algorithm for edge computing presented in this paper can minimize channel interference and overall network energy consumption while satisfying throughput and end-to-end delay.","PeriodicalId":399187,"journal":{"name":"2020 IEEE International Conference on Smart Internet of Things (SmartIoT)","volume":"21 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":"116283332","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}
{"title":"Energy Efficient Resource Allocation and Computation Offloading Strategy in a UAV-enabled Secure Edge-Cloud Computing System","authors":"U. Khan, Waqas Khalid, S. Saifullah","doi":"10.1109/SmartIoT49966.2020.00018","DOIUrl":"https://doi.org/10.1109/SmartIoT49966.2020.00018","url":null,"abstract":"Mobile edge computing (MEC) emerged as a promising approach for resource constrained devices due to its inherent capability to bring the cloud functionalities at the net-work edge. This paper jointly investigates the resource allocation and computation offloading problem in unmanned aerial vehicle (UAV) enabled secure edge-cloud computing system, where each computational task can be executed locally, offloaded to the MEC server, offloaded to the cloud server or offloaded to another UAV. To preserve security, we encrypt each computational task by employing highly dispersive chaotic substitution Box (S-Box). We formulate the original problem as an energy consumption minimization problem and propose two heuristic algorithms to solve it. We divide the original problem into three sub-problems, i.e., resource allocation sub-problem, task partition sub-problem and computation offloading sub-problem, and solve them accordingly to obtain the energy efficient resource allocation and computation offloading strategies. Finally, simulation results demonstrate the effectiveness of the proposed scheme when compared with related schemes.","PeriodicalId":399187,"journal":{"name":"2020 IEEE International Conference on Smart Internet of Things (SmartIoT)","volume":"25 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":"131784376","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}
{"title":"Design and development of a 3D Printed IoT portable Pillbox for continuous medication adherence","authors":"D. Karagiannis, K. Nikita","doi":"10.1109/SmartIoT49966.2020.00066","DOIUrl":"https://doi.org/10.1109/SmartIoT49966.2020.00066","url":null,"abstract":"Limited patients’ medication adherence can lead to substantial health and economic implications. We propose a portable small sized pillbox, aiming to improve patients’ adherence during their indoor and outdoor activities. Through a web application, physicians can make real-time adjustments to patient’s medication schedule which is, subsequently, saved in a database on a remote server. The pillbox can establish a secured communication with the server and obtain the updated medication schedule. Unlike available bulky devices used to improve medication adherence, the proposed pillbox offers improved portability that enables continuous use, while also providing temperature and humidity measurements to assess medication storage conditions that are important especially for outdoor use.","PeriodicalId":399187,"journal":{"name":"2020 IEEE International Conference on Smart Internet of Things (SmartIoT)","volume":"20 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":"132740307","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}
{"title":"Research of edge caching strategy based on collaboration mechanism","authors":"Haiyan Lan, Shangyuan Wu","doi":"10.1109/SmartIoT49966.2020.00023","DOIUrl":"https://doi.org/10.1109/SmartIoT49966.2020.00023","url":null,"abstract":"This paper introduces a collaboration mechanism in a multi-layered and centered network topology model to achieve the sharing and effective use of cache content through edge cache clusters. Under this network architecture, a collaborative cache deployment algorithm and a cache elimination strategy based on a multi-level popularity index are proposed, and a cache strategy evaluation mechanism with cache hit rate and content acquisition delay as evaluation indicators is established. Finally, the two are combined into a caching strategy based on a collaboration mechanism. Simulation experiments and comparative analysis are performed using the caching strategy evaluation mechanism. The experimental results show that the proposed caching strategy can effectively improve cache performance and service quality.","PeriodicalId":399187,"journal":{"name":"2020 IEEE International Conference on Smart Internet of Things (SmartIoT)","volume":"23 9","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132237277","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}
{"title":"Sharing Economy: Implementing Decentralized Privacy-Preserving Parking System","authors":"N. Rožman, Marko Corn, J. Diaci","doi":"10.1109/SmartIoT49966.2020.00025","DOIUrl":"https://doi.org/10.1109/SmartIoT49966.2020.00025","url":null,"abstract":"Recently, smart-parking systems were proposed employing blockchain technology to ensure security, transparency, and availability of services. Building on a principle of complete system decentralization, we present the concept and implementation of a privacy-preserving solution for renting parking spaces. The anonymity of users is ensured by a combination of zero knowledge proofs, commitment schemes, differential privacy and fungible tokens. We compare implementations on three different public blockchain networks: Ethereum, EOS, and Tron. We analyze security and privacy of the proposed system and evaluate how ensuring anonymity affects user experience. We conduct user-oriented test to explore the performance (transaction time and cost) of the system in realistic situations. Results indicate that the proposed concept is feasible while employing current blockchain technology. EOS and Tron implementations currently provide performance that matches existing centralized systems. The performance of Ethereum implementation would probably not meet user expectations.","PeriodicalId":399187,"journal":{"name":"2020 IEEE International Conference on Smart Internet of Things (SmartIoT)","volume":"36 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":"130419388","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}
{"title":"XuperChain: A blockchain system that supports smart contracts parallelization","authors":"Xiao Wei, Junyi Sun, Zhenghua Qi, Chen Fu","doi":"10.1109/SmartIoT49966.2020.00055","DOIUrl":"https://doi.org/10.1109/SmartIoT49966.2020.00055","url":null,"abstract":"Nowadays, blockchain technology is not only used for cryptocurrency transactions, but also plays an important role in a wide range of fields, such as evidence preservation and commodity traceability. However, many existing blockchain systems perform poorly and fail to meet the needs of the business, because smart contracts are executed sequentially. We’ve created a new blockchain system that supports the parallel execution & verification of smart contracts.","PeriodicalId":399187,"journal":{"name":"2020 IEEE International Conference on Smart Internet of Things (SmartIoT)","volume":"14 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":"133166562","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}