Connection models for the Internet-of-Things  

作　　者：Kangli HE Holger HERMANNS Hengyang WU Yixiang CHEN 

机构地区：[1]MoE Engineering Research Center for Software/Hardware Co-design Technology and Application,East China Normal University,Shanghai 200062,China [2]Saarland University,Saarland Informatics Campus,Saarbrücken 66123,Germany

出　　处：《Frontiers of Computer Science》2020年第3期65-85,共21页中国计算机科学前沿（英文版）

基　　金：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).

摘　　要：The Internet-of-Things(IoT)is expected to swamp the world.In order to study and understand the emergent behaviour of connected things,effective support for their modelling is needed.At 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 consumption.The latter is especially important in light of severely limited power and computation budgets inside the things.In this paper,we tackle the IoT modelling challenge,based on a conservative extension of channel-based Reo circuits.We introduce a model called priced probabilistic timed constraint automaton,which combines models of probabilistic and timed aspects,and integrates pricing information.An 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.

关 键 词：IOT REO COST TIME PROBABILITY AUTOMATON 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]