形式化方法在电网信息物理系统中的应用

作     者：黄莉 梁云 黄辉 赵若涵 HUANG Li;LIANG Yun;HUANG Hui;ZHAO Ruohan

作者机构：全球能源互联网研究院有限公司北京102209 国家电网公司电力智能传感技术及应用联合实验室北京102209 国网电力科学研究院有限公司江苏南京210032 

出 版 物：《中国电力》 (Electric Power)

年 卷 期：2021年第54卷第3期

页      面：31-37页

核心收录：

学科分类：0808[工学-电气工程] 080802[工学-电力系统及其自动化] 08[工学] 

基　　金：国家重点研发计划资助项目(电网信息物理系统分析与控制的基础理论与方法 2017YFB0903000)。 

主　　题：电网信息物理系统 形式化方法 资源约束 信息交互 模型检验 

摘      要：电网信息物理系统中的嵌入式终端不仅要具备常规的信息交互能力,还要在资源约束条件下,满足测控的实时性要求。面向规模庞大的复杂系统,需要引入形式化方法验证其可靠性。通过分析形式化方法在电网信息物理系统中的应用,设计实现一种适用于电网信息物理系统中嵌入式系统信息交互过程分析的形式化方法及模型检验软件工具,并结合实际案例详细分析模型检验工具的应用过程。实际案例表明,形式化方法可以缩小从高层设计到代码实现的距离,提高产品的可靠性,模型检验软件工具能够对当前嵌入式装置规模和复杂度快速增长带来的可靠性保障问题提供可参考的解决方案。