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

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

Application of Formal Methods in Power Grid Cyber Physical Systems

The embedded terminals in the power grid cyber physical systems need to not only have the ability of information interaction,but also meet the real-time requirements of measurement and control under resource constraints.It is necessary to introduce formal methods to verify the reliability of complex systems with large scale.This paper analyzes the application of formal methods in power grid cyber physical systems,designs and realizes a formal method and model checking software tool for analyzing the information interaction process of embedded system in the power grid cyber physical systems.The application process of the model checking tool is analyzed in detail through a practical case,and the application results show that the formal method can shorten the distance from high level design to code implementation and improve the reliability of the products.The model checking software tool can provide a reference solution to the reliability assurance problem caused by the rapid increase of embedded devices in terms of scale and complexity.