工业控制系统可编程逻辑控制器形式化建模

• 作者: 马海迎 袁晓舒 桑梓 何立栋
• 来源期刊: 东方电气评论
• 关键词: 工业控制系统安全 PLC 形式化方法
• 年，卷（期）: 2021,（3）
• 所属期刊栏目: 基础研究|BASIC RESEARCH
• 页码范围: 9-16,24
• 页数: 9页
• 分类号: TP393.08
• 语种: 中文
• DOI: 10.3969/j.issn.1001-9006.2021.03.002

摘要

近年来,工业控制系统面临的安全威胁引起了人们的广泛重视.不同于以往针对通信协议的攻击,攻击者逐渐将目标转移到控制器本身上来.为了应对这种新的威胁,人们开始研究如何对控制器建立有效的模型去刻画、分析这种攻击对系统运行的影响,进而设计及时、有效的防御策略.以微分方程、差分方程为代表的传统控制器模型难以刻画系统整体的控制逻辑,无法分析工业控制系统中存在的安全威胁.本文在总结相应研究的基础上,介绍了形式化建模方法、通用的工业控制系统以及常用PLC的结构;提出了一种采用形式化方法建立的PLC硬件以及控制逻辑模型,并通过简单案例阐述形式化方法中几种重要特性.