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