-
题名基于时间自动机的汽轮机控制保护系统建模
被引量：1
- 1
-
-
作者
马海迎
李奕彤
袁晓舒
桑梓
何立栋
-
机构
南京理工大学
东方电气能源装备工控网络安全工程实验室
-
出处
《东方电气评论》
2021年第4期12-17,22,共7页
-
基金
国家自然科学基金项目:欺骗攻击下网络化控制系统防御对策研究
项目编号(61973163)
+1 种基金
四川省科技厅项目:汽轮机网络安全一体化保护系统关键技术研究与开发项目
项目编号(ZKZF200001)。
-
文摘
近年来,汽轮机控制保护系统面临的安全威胁引起了学术界及工业界的广泛重视。不同于以往针对通信协议的攻击,攻击者逐渐将目标转移到控制器本身上来。为了应对这种新的威胁,学者们开始研究如何对控制器建立有效的模型去刻画、分析这种攻击对系统运行的影响,进而设计及时、有效的防御策略。本文在总结相应研究的基础上,提出一种基于时间自动机的形式化方法对汽轮机控制保护系统进行建模,同时借助UPPAAL软件,对建立的模型进行仿真及验证。研究表明,本文提出的模型可以较好地描述汽轮机控制保护系统的工作过程,为后续安全问题研究奠定基础。
-
关键词
汽轮机控制保护系统
时间自动机
UPPAAL
-
Keywords
steam turbine control and protection system
time automata
UPPAAL
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
