Application of Formal Method in Grid Cyber Physical Systems

The power grid is one of the largest and most complex interconnected systems. It is a typical research object of the cyber physical systems. The characteristics of the grid cyber physical systems are their abilities to improve the overall performance of the system and optimize the overall system operation through more advanced control methods with stronger safety and reliability. Most of the physical terminals in the grid cyber physical systems are embedded terminals. Not only must they have conventional information interaction capabilities, but also meet the real-time requirements of measurement and control under resource constraints. The large and complex systems need to use formal methods to ensure its reliability. This paper analyzes the application of formal methods in grid cyber physical systems, designs and implements a formal verification tool suitable for information interaction model of grid cyber physical systems, and analyzes the application process of model checking tool in detail through practical cases.