Modeling Method and Correctness Verification of Power Grid Safety and Stability Control Strategy System

Abstract

To solve the problems of the high development cost of power grid safety and control system and difficult verification of the correctness of control logic, based on the idea of model-driven architecture, this paper proposes a modeling method for power grid safety and control strategy system. In order to verify the correctness of the control logic, a corresponding verification method is proposed in this paper with the help of the model checking tool SPIN, and the effectiveness of the method is proved by experiments with concrete examples.