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

• Published in: 中国电力 Vol. 54; no. 3; pp. 31 - 37
• Main Authors: 黄莉, 梁云, 黄辉, 赵若涵
• Format: Magazine Article
• Language: Chinese
• Published: 国家电网公司电力智能传感技术及应用联合实验室,北京 102209%国网电力科学研究院有限公司,江苏 南京 210032 01.03.2021; 全球能源互联网研究院有限公司,北京 102209
• Subjects: 电网信息物理系统; 模型检验; 资源约束; 形式化方法; 信息交互
• ISSN: 1004-9649
• DOI: 10.11930/j.issn.1004-9649.202007008

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