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

来源：湖北农业科学杂志2021年第18期北京时间：

作者：汪建春, 胡晓进

单位：江苏农林职业技术学院,江苏 句容 212400

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

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

基金资助：宁镇丘陵地区循环农业技术示范和应用项目（SXGC[2015]310）