Electric Power ›› 2021, Vol. 54 ›› Issue (3): 31-37.DOI: 10.11930/j.issn.1004-9649.202007008

Previous Articles     Next Articles

Application of Formal Methods in Power Grid Cyber Physical Systems

HUANG Li1,2, LIANG Yun1,2, HUANG Hui1,2, ZHAO Ruohan3   

  1. 1. Global Energy Interconnection Research Institute Co., Ltd., Beijing 102209, China;
    2. Laboratory of Electric Power Intelligent Sensing Technology and Application, Beijing 102209, China;
    3. State Grid Electric Power Research Institute, Nanjing 210032, China
  • Received:2020-07-10 Revised:2020-10-30 Online:2021-03-05 Published:2021-03-17
  • Supported by:
    This work is supported by the National Key Research and Development Program of China(Basic Theories and Methods of Analysis and Control of the Cyber Physical Systems for Power Grid, No.2017YFB0903000)

Abstract: 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.

Key words: power grid cyber physical systems, formal method, resource constraints, information interaction, model checking