基于PAT包含告警信号的智能变电站保护信息交互建模与验证
|
摘要
为了准确评估告警信号产生时智能变电站保护系统的可靠运行情况,研究了一种基于进程仿真工具PAT的智能变电站保护信息交互建模与验证方法。分析了多个厂家保护装置的原理,构造了保护系统的告警故障树,给出了各保护子功能的工作条件与告警信号的对应关系。采用进程仿真工具PAT的实时系统模块RTS(Real-Time System Module),对各IED的内部工作、各IED之间的交互过程等进行建模,包括工作条件、各进程之间的信息传递与时序等,给出了保护子功能死锁与保护系统运行阶段的断言与验证。多个算例验证了基于PAT包含告警信号的智能变电站保护系统交互建模与验证方法的有效性,提高了保护模型的准确性和实用性。
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.
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.
引文
[1]IEC.IEC 61850[S].2004.
[2]韩小涛,聂一雄,尹项根.基于OPNET的变电站二次回路通信系统仿真研究[J].电网技术,2005,29(6):67-71.HAN Xiaotao,NIE Yixiong,YIN Xianggen.Research on substation secondary circuit communication system using OPNET simulator[J].Power System Technology,2005,29(6):67-71.
[3]曹海欧,严国平,徐宁,等.数字化变电站GOOSE组网方案[J].电力自动化设备,2011,31(4):143-150.CAO Haiou,YAN Ouping,XU Ning,et al.GOOSEnetwork scheme for digital substation[J].Electric Power Automation Equipment,2011,31(4):143-150.
[4]高磊,卜强生,袁宇波,等.基于二次回路比对的智能变电站调试及安全措施[J].电力系统自动化,2015,39(20):130-134.GAO Lei,BU Qiangsheng,YUAN Yubo,et al.Smart substation commissioning and safety measures based on secondary circuit comparison[J].Automation of Electric Power Systems,2015,39(20):130-134.
[5]刘昊昱,左群业,张保善.智能变电站过程层网络性能测试与分析[J].电力系统保护与控制,2012,40(18):112-116.LIU Haoyu,ZUO Qunye,ZHANG Baoshan.Process level network performance testing and analysis in smart substation[J].Power System Protection and Control,2012,40(18):112-116.
[6]方晓洁,季夏秩,卢志刚.基于OPNET的数字化变电站继电保护通信网络仿真研究[J].电力系统保护与控制,2010,38(23):137-140.FANG Xiaojie,JI Xiayi,LU Zhigang.Study on relaying protection communication network in digital substation using OPNET simulation[J].Power System Protection and Control,2010,38(23):137-140.
[7]张巧霞,贾华伟,叶海明,等.智能变电站虚拟二次回路监视方案设计及应用[J].电力系统保护与控制,2015,43(10):123-128.ZHANG Qiaoxia,JIA Huawei,YE Haiming,et al.Design and application of virtual secondary circuit monitoring in smart substation[J].Power System Protection and Control,2015,43(10):123-128.
[8]李忠安,王娇,张惠刚,等.IEC 61850过程层网络通信分析诊断工具设计[J].电力系统保护与控制,2015,43(1):93-97.LI Zhongan,WANG Jiao,ZHANG Huigang,et al.Design of process layer network communication fault diagnosis and analysis tool based on IEC 61850[J].Power System Protection and Control,2015,43(1):93-97.
[9]彭少博,郑永康,周波,等.220 kV智能变电站检修二次安措优化研究[J].电力系统保护与控制,2014,42(23):143-148.PENG Shaobo,ZHENG Yongkang,ZHOU Bo,et al.Study of optimization of secondary safety measures of220 kV smart substation maintenance[J].Power System Protection and Control,2014,42(23):143-148.
[10]李鹏,卫星,郭利军,等.智能变电站继电保护运维防误技术研究及应用[J].电力系统保护与控制,2017,45(19):123-129.LI Peng,WEI Xing,GUO Lijun,et al.Study and application of relay protection maintenance antimisoperation technology in smart substation[J].Power System Protection and Control,2017,45(19):123-129.
[11]HUANG H,KIRCHNER H.Formal specification and verification of modular security policy based on colored Petri nets[J].IEEE Trans.on Dependable and Secure Computing,2011,8(6):852-865.
[12]LEI H,SINGH C,SPRINTSON A.Reliability modeling and analysis of IEC 61850 based substation protection systems[J].IEEE Transactions on Smart Grid,2014,5(5):2194-2202.
[13]耿治,张建忠,陈昊.智能变电站保护装置自动测试系统分析与设计[J].电力系统保护与控制,2017,45(11):121-125.GENG Zhi,ZHANG Jianzhong,CHEN Hao.Research and design of automatic test system for protection device in intelligent substation[J].Power System Protection and Control,2017,45(11):121-125.
[14]高翔,杨漪俊,姜健宁,等.基于SCD的二次回路监测主要技术方案介绍与分析[J].电力系统保护与控制,2014,42(15):149-154.GAO Xiang,YANG Yijun,JIANG Jianning,et al.Analysis of secondary circuit monitoring methods based on SCD[J].Power System Protection and Control,2014,42(15):149-154.
[15]韩小涛,尹项根,张哲.故障树分析法在变电站通信系统可靠性分析中的应用[J].电网技术,2004,28(1):56-59.HAN Xiaotao,YIN Xianggen,ZHANG Zhe.Application of fault tree analysis method in reliability analysis of substation communication system[J].Power System Technology,2004,28(1):56-59.
[16]许宗光,文继锋,李彦,等.一种基于数据冗余校验的数字化变电站继电保护装置防误方法[J].电力系统保护与控制,2018,46(5):166-170.XU Zongguang,WEN Jifeng,LI Yan,et al.An antimaloperation method based on redundancy data check for relay protection devices in digital substations[J].Power System Protection and Control,2018,46(5):166-170.
[17]童晓阳,李映川,章力,等.基于IEC 61850的保护功能交互模型[J].电力系统自动化,2008,32(21):41-45.TONG Xiaoyang,LI Yingchuan,ZHANG Li,et al.Interaction model of protection functions based on IEC61850[J].Automation of Electric Power Systems,2008,32(21):41-45.
[18]HUANG H,KIRCHNER H.Formal specification and verification of modular security policy based on colored Petri nets[J].IEEE Transactions on Dependable and Secure Computing,2011,8(6):852-865.
[19]张其林,王先培,杜双育,等.基于IEC 61850的智能电子设备交互模型形式化描述与验证[J].电力系统自动化,2012,36(17):72-76.ZHANG Qilin,WANG Xianpei,DU Shuangyu,et al.Formal specification and verification of intelligent electronic device interaction model based on IEC61850[J].Automation of Electric Power Systems,2012,36(17):72-76.
[20]PAT:process analysis toolkit[EB/OL].[2011-07-21].http://www.comp.nus.edu.sg/~pat/.
[2]韩小涛,聂一雄,尹项根.基于OPNET的变电站二次回路通信系统仿真研究[J].电网技术,2005,29(6):67-71.HAN Xiaotao,NIE Yixiong,YIN Xianggen.Research on substation secondary circuit communication system using OPNET simulator[J].Power System Technology,2005,29(6):67-71.
[3]曹海欧,严国平,徐宁,等.数字化变电站GOOSE组网方案[J].电力自动化设备,2011,31(4):143-150.CAO Haiou,YAN Ouping,XU Ning,et al.GOOSEnetwork scheme for digital substation[J].Electric Power Automation Equipment,2011,31(4):143-150.
[4]高磊,卜强生,袁宇波,等.基于二次回路比对的智能变电站调试及安全措施[J].电力系统自动化,2015,39(20):130-134.GAO Lei,BU Qiangsheng,YUAN Yubo,et al.Smart substation commissioning and safety measures based on secondary circuit comparison[J].Automation of Electric Power Systems,2015,39(20):130-134.
[5]刘昊昱,左群业,张保善.智能变电站过程层网络性能测试与分析[J].电力系统保护与控制,2012,40(18):112-116.LIU Haoyu,ZUO Qunye,ZHANG Baoshan.Process level network performance testing and analysis in smart substation[J].Power System Protection and Control,2012,40(18):112-116.
[6]方晓洁,季夏秩,卢志刚.基于OPNET的数字化变电站继电保护通信网络仿真研究[J].电力系统保护与控制,2010,38(23):137-140.FANG Xiaojie,JI Xiayi,LU Zhigang.Study on relaying protection communication network in digital substation using OPNET simulation[J].Power System Protection and Control,2010,38(23):137-140.
[7]张巧霞,贾华伟,叶海明,等.智能变电站虚拟二次回路监视方案设计及应用[J].电力系统保护与控制,2015,43(10):123-128.ZHANG Qiaoxia,JIA Huawei,YE Haiming,et al.Design and application of virtual secondary circuit monitoring in smart substation[J].Power System Protection and Control,2015,43(10):123-128.
[8]李忠安,王娇,张惠刚,等.IEC 61850过程层网络通信分析诊断工具设计[J].电力系统保护与控制,2015,43(1):93-97.LI Zhongan,WANG Jiao,ZHANG Huigang,et al.Design of process layer network communication fault diagnosis and analysis tool based on IEC 61850[J].Power System Protection and Control,2015,43(1):93-97.
[9]彭少博,郑永康,周波,等.220 kV智能变电站检修二次安措优化研究[J].电力系统保护与控制,2014,42(23):143-148.PENG Shaobo,ZHENG Yongkang,ZHOU Bo,et al.Study of optimization of secondary safety measures of220 kV smart substation maintenance[J].Power System Protection and Control,2014,42(23):143-148.
[10]李鹏,卫星,郭利军,等.智能变电站继电保护运维防误技术研究及应用[J].电力系统保护与控制,2017,45(19):123-129.LI Peng,WEI Xing,GUO Lijun,et al.Study and application of relay protection maintenance antimisoperation technology in smart substation[J].Power System Protection and Control,2017,45(19):123-129.
[11]HUANG H,KIRCHNER H.Formal specification and verification of modular security policy based on colored Petri nets[J].IEEE Trans.on Dependable and Secure Computing,2011,8(6):852-865.
[12]LEI H,SINGH C,SPRINTSON A.Reliability modeling and analysis of IEC 61850 based substation protection systems[J].IEEE Transactions on Smart Grid,2014,5(5):2194-2202.
[13]耿治,张建忠,陈昊.智能变电站保护装置自动测试系统分析与设计[J].电力系统保护与控制,2017,45(11):121-125.GENG Zhi,ZHANG Jianzhong,CHEN Hao.Research and design of automatic test system for protection device in intelligent substation[J].Power System Protection and Control,2017,45(11):121-125.
[14]高翔,杨漪俊,姜健宁,等.基于SCD的二次回路监测主要技术方案介绍与分析[J].电力系统保护与控制,2014,42(15):149-154.GAO Xiang,YANG Yijun,JIANG Jianning,et al.Analysis of secondary circuit monitoring methods based on SCD[J].Power System Protection and Control,2014,42(15):149-154.
[15]韩小涛,尹项根,张哲.故障树分析法在变电站通信系统可靠性分析中的应用[J].电网技术,2004,28(1):56-59.HAN Xiaotao,YIN Xianggen,ZHANG Zhe.Application of fault tree analysis method in reliability analysis of substation communication system[J].Power System Technology,2004,28(1):56-59.
[16]许宗光,文继锋,李彦,等.一种基于数据冗余校验的数字化变电站继电保护装置防误方法[J].电力系统保护与控制,2018,46(5):166-170.XU Zongguang,WEN Jifeng,LI Yan,et al.An antimaloperation method based on redundancy data check for relay protection devices in digital substations[J].Power System Protection and Control,2018,46(5):166-170.
[17]童晓阳,李映川,章力,等.基于IEC 61850的保护功能交互模型[J].电力系统自动化,2008,32(21):41-45.TONG Xiaoyang,LI Yingchuan,ZHANG Li,et al.Interaction model of protection functions based on IEC61850[J].Automation of Electric Power Systems,2008,32(21):41-45.
[18]HUANG H,KIRCHNER H.Formal specification and verification of modular security policy based on colored Petri nets[J].IEEE Transactions on Dependable and Secure Computing,2011,8(6):852-865.
[19]张其林,王先培,杜双育,等.基于IEC 61850的智能电子设备交互模型形式化描述与验证[J].电力系统自动化,2012,36(17):72-76.ZHANG Qilin,WANG Xianpei,DU Shuangyu,et al.Formal specification and verification of intelligent electronic device interaction model based on IEC61850[J].Automation of Electric Power Systems,2012,36(17):72-76.
[20]PAT:process analysis toolkit[EB/OL].[2011-07-21].http://www.comp.nus.edu.sg/~pat/.