基于动作通信的物联网传输框架建模与仿真  

Modeling and Simulation of IoT Transmission Framework Based on Action Communication

作　　者：李超 程定富 黄琼 郭仕然 王硕 LI Chao;CHENG Dingfu;HUANG Qiong;GUO Shiran;WANG Shuo(Shanghai University of Electric Power,Shanghai 200090,China;China Nuclear Industry Construction Corporation Limited,Shanghai 201702,China)

机构地区：[1]上海电力大学,上海200090 [2]中国核工业建设股份有限公司,上海201702

出　　处：《上海电力大学学报》2025年第1期96-103,共8页Journal of Shanghai University of Electric Power

摘　　要：为了解决核电现场高并发、高负载下大数据包传输的可靠性问题,提出了一种基于动作通信的物联网传输框架。该框架引入动作通信概念,将传输任务分解为一组动作序列,结合轻量消息机制,使得云边之间有效实时协同,从而保证云边之间数据传输的可靠性。采用时间自动机对该框架进行建模及仿真,并利用UPPALL工具和时序逻辑语言进行模型活性和可靠性实验。实验结果验证了该框架的稳定性和可靠性,能够满足核电现场数据采集需求。In order to solve the reliability problem of big data packet transmission under high concurrency and high load in nuclear power sites,an IoT transmission framework based on the action communication is proposed.This framework introduces the concept of action communication,decomposes transmission tasks into a set of action sequences,and combines message mechanisms to enable effective real-time collaboration between cloud edges,thereby ensuring the reliability of data transmission between cloud edges.By modeling and simulating the framework using time automata,and conducting model activity and reliability experiments using UPPALL tool and temporal logic language,the stability and reliability of the framework are verified,which can meet the data collection needs of nuclear power sites.

关 键 词：动作通信 时间自动机 物联网传输框架 传输可靠性 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论]