基于时间自动机的汽轮机控制保护系统建模

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

作者机构：南京理工大学南京210094 东方电气能源装备工控网络安全工程实验室成都611731 

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

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

年 卷 期：2021年第35卷第4期

页      码：12-17,22页

摘      要：近年来,汽轮机控制保护系统面临的安全威胁引起了学术界及工业界的广泛重视。不同于以往针对通信协议的攻击,攻击者逐渐将目标转移到控制器本身上来。为了应对这种新的威胁,学者们开始研究如何对控制器建立有效的模型去刻画、分析这种攻击对系统运行的影响,进而设计及时、有效的防御策略。本文在总结相应研究的基础上,提出一种基于时间自动机的形式化方法对汽轮机控制保护系统进行建模,同时借助UPPAAL软件,对建立的模型进行仿真及验证。研究表明,本文提出的模型可以较好地描述汽轮机控制保护系统的工作过程,为后续安全问题研究奠定基础。

主 题 词：汽轮机控制保护系统 时间自动机 UPPAAL 

学科分类：12[管理学] 1201[管理学-管理科学与工程类] 08[工学] 081201[081201] 0812[工学-测绘类] 

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

馆 藏 号：203106841...