为了确保对新型智能变电站时间同步的动态监控, 分析了新型智能变电站中心交换设备时间同步的脆弱性, 利用有色Petri网对新型智能变电站中心交换设备对时的运行进行建模, 给出了新型智能变电站中心交换设备对时攻击有色Petri网模型。利用线性代数数学分析工具, 根据状态方程来验证所建模型攻击的可达性, 从而找到时间同步脆弱性点并给出解决建议。

In order to ensure the dynamic monitoring of equipment time synchronization of the new intelligent substation, we analyze the fragility of the central switch device’s time synchronization. Based on the colored Petri network, we build the model of its equipment time synchronization’s operation process of new intelligent substation, and show the attack model of colored Petri network for central switch device’s time synchronization. According to the equation of state to verify the attack accessibility through the linear algebra math analysis tools, we find the time synchronization vulnerability points, and propose solution accordingly.