基于PAT包含告警信号的智能变电站保护信息交互建模与验证

为了准确评估告警信号产生时智能变电站保护系统的可靠运行情况,研究了一种基于进程仿真工具PAT的智能变电站保护信息交互建模与验证方法。分析了多个厂家保护装置的原理,构造了保护系统的告警故障树,给出了各保护子功能的工作条件与告警信号的对应关系。采用进程仿真工具PAT的实时系统模块RTS(Real-Time System Module),对各IED的内部工作、各IED之间的交互过程等进行建模,包括工作条件、各进程之间的信息传递与时序等,给出了保护子功能死锁与保护系统运行阶段的断言与验证。多个算例验证了基于PAT包含告警信号的智能变电站保护系统交互建模与验证方法的有效性,提高了保护模型的准确性和实用性。

PAT based modeling and verification of interaction for protection system in intelligent substation using alarming signals

In order to accurately assess the reliability of protection system in intelligent substation, a kind of modeling and verification of interaction for protection system in intelligent substation using alarming signals is proposed. The principles of protection devices are analyzed. The fault trees of protections are constructed. The relations between the working conditions and the alarm signals are given. Using the Real-Time System Module (RTS) module of Process Analysis Toolkit (PAT), the working process and the information interaction model of IEDs are set up, including the working conditions, information transmission and time sequences. The assertions of protection deadlock and operation stages are designed for the verification. The examples illustrate the effectiveness of proposed method, the accuracy and practicability of protection system can be improved. This work is supported by National Natural Science Foundation of China (NSFC) (No. 51377137) and Science and Technology Project of State Grid Corporation of China (No. 52199916024N).