湖北农业科学 ›› 2021, Vol. 60 ›› Issue (18): 156-160.doi: 10.14088/j.cnki.issn0439-8114.2021.18.032

• 信息工程 • 上一篇    下一篇

基于分布式物联网的工业自动化安全性分析

汪建春, 胡晓进   

  1. 江苏农林职业技术学院,江苏 句容 212400
  • 收稿日期:2020-10-09 出版日期:2021-09-25 发布日期:2021-10-11
  • 作者简介:汪建春(1973-),男,江苏金坛人,讲师,硕士,主要从事机械制造及其自动化研究,(电话)13670963743(电子信箱)jianchun73@aliyun.com。
  • 基金资助:
    宁镇丘陵地区循环农业技术示范和应用项目(SXGC[2015]310)

Industrial automation security analysis based on distributed Internet of things

WANG Jian-chun, HU Xiao-jin   

  1. Jiangsu Vocational and Technical College of Agriculture and Forestry, Ju'rong 212400,Jiangsu,China
  • Received:2020-10-09 Online:2021-09-25 Published:2021-10-11

摘要: 借助现代嵌入式平台不断扩展的计算和通信功能,物联网技术可重构制造系统开发。基于控制解释型Petri网(CIPN)的顺序控制应用程序安全感知建模和验证,将工业物联网控制器的CIPN模型转换为TPN模型,并与工厂和安全感知通道模型耦合,在基于网络的攻击中实现系统级的安全性能验证。在实际应用案例中评估了该模型:当发生攻击时,通过在收发器上启用载波传输,可以从浸泡池中拾取工件后阻塞消息,证明已开发的安全自动化框架在分布式气动机械手上的适用性。

关键词: 物联网, 自动化, Petri网, 非确定性分析

Abstract: 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 studywhen 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.

Key words: Internet of things, automation, Petri net, nondeterministic analysis

中图分类号: