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

作     者：马海迎 袁晓舒 桑梓 何立栋 MA Haiying;YUAN Xiaoshu;SANG Zi;HE Lidong

作者机构：南京理工大学南京210094 东方电气集团科学技术研究院有限公司成都611731 

基　　金：国家自然科学基金项目资助:欺骗攻击下网络化控制系统防御对策研究 项目编号:61973163 四川省科技厅重点研发项目资助:汽轮机网络安全一体化保护系统关键技术研究与开发 项目编号:2019YFG0534 

出 版 物：《东方电气评论》 (Dongfang Electric Review)

年 卷 期：2021年第35卷第3期

页      码：9-16,24页

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

主 题 词：工业控制系统安全 PLC 形式化方法 

学科分类：0839[0839] 08[工学] 

D　O　I：10.3969/j.issn.1001-9006.2021.03.002

馆 藏 号：203105013...