Connection models for the Internet-of-Things

作     者：Kangli HE Holger HERMANNS Hengyang WU Yixiang CHEN Kangli HE;Holger HERMANNS;Hengyang WU;Yixiang CHEN

作者机构：MoE Engineering Research Center for Software/Hardware Co-design Technology and ApplicationEast China Normal UniversityShanghai 200062China Saarland UniversitySaarland Informatics CampusSaarbrücken 66123Germany 

出 版 物：《Frontiers of Computer Science》 (中国计算机科学前沿（英文版）)

年 卷 期：2020年第14卷第3期

页      面：65-85页

核心收录：

学科分类：12[管理学] 1201[管理学-管理科学与工程(可授管理学、工学学位)] 08[工学] 081201[工学-计算机系统结构] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：supported by the National Natural Science Foundation of China(Grant Nos.61370100,61321064 and 61773019) Shanghai Knowledge Service Platform for Trustworthy Internet of Things(ZF1213) Shanghai Municipal Science and Technology Commission Project(1451100400) Defense Industrial Technology Development Program JCKY 2016212B004-2,by the ERC Advanced Grant 695614(POWVER) by the Sino-German Center for Research Project CAP(GZ 1023) 

主　　题：IoT Reo cost time probability automaton 

摘      要：The Internet-of-Things(IoT)is expected to swamp the *** order to study and understand the emergent behaviour of connected things,effective support for their modelling is *** the heart of IoT are flexible and adaptive connection patterns between things,which can naturally be modelled by channel-based coordination primitives,and characteristics of connection failure probabilities,execution and waiting times,as well as resource *** latter is especially important in light of severely limited power and computation budgets inside the *** this paper,we tackle the IoT modelling challenge,based on a conservative extension of channel-based Reo *** introduce a model called priced probabilistic timed constraint automaton,which combines models of probabilistic and timed aspects,and integrates pricing *** expressive logic called priced probabilistic timed scheduled data stream logic is presented,so as to enable the specification and verification of properties,which characterize data-flow streams and prices.A small but illustrative IoT case demonstrates the principal benefits of the proposed approach.