摘要
借助现代嵌入式平台不断扩展的计算和通信功能,物联网技术可重构制造系统开发。基于控制解释型Petri网(CIPN)的顺序控制应用程序安全感知建模和验证,将工业物联网控制器的CIPN模型转换为TPN模型,并与工厂和安全感知通道模型耦合,在基于网络的攻击中实现系统级的安全性能验证。在实际应用案例中评估了该模型:当发生攻击时,通过在收发器上启用载波传输,可以从浸泡池中拾取工件后阻塞消息,证明已开发的安全自动化框架在分布式气动机械手上的适用性。
With the continuous expansion of computing and communication functions of modern embedded platform,the development of reconfigurable manufacturing system based on Internet of things technology.Based on the control interpretive Petri net(CIPN),the CIPN model of industrial IoT controller is transformed into TPN model,which was coupled with the factory and security aware channel model.The system level security performance verification was realized in the network-based attack.The model was evaluated in a practical application case study:when an attack occurs,the message can be blocked after picking up the workpiece from the soaking pool by enabling carrier transmission on the transceiver.The applicability of the developed safety automation framework in distributed pneumatic manipulator was proved.
作者
汪建春
胡晓进
WANG Jian-chun;HU Xiao-jin(Jiangsu Vocational and Technical College of Agriculture and Forestry,Ju’rong 212400,Jiangsu,China)
出处
《湖北农业科学》
2021年第18期156-160,共5页
Hubei Agricultural Sciences
基金
宁镇丘陵地区循环农业技术示范和应用项目(SXGC[2015]310)。
关键词
物联网
自动化
PETRI网
非确定性分析
Internet of things
automation
Petri net
nondeterministic analysis