电力系统自动化Issue(19)：90-95,121,7.DOI:10.7500/AEPS20131230004
IEC 61850智能电子设备交互实时性建模与验证
Modeling and Verification of Real-time Interaction for IEC 61850 Intelligent Electronic Device
摘要
Abstract
Real-time interaction of IEC 61850 intelligent electronic device(IED)is the key to successful implementation of the distributed function.To overcome the complexity and difficulty in validating existing formal methods of modeling real-time procedure,IEC 61850 IED real-time interactive process modeling and verification method based on timed behavior trees(BTs) is put forward.Firstly,the timed BT model is obtained by introducing a real-time system model and communication sequential process (CSP) communication channels into the old BT model.Secondly,based on timed BT,the substation timing protection and overcurrent protection interaction process of IED is taken as an example for modeling.Finally,the reachability of the proposed model is validated and analyzed by using process analysis toolkit(PAT),and the time of the messages is calculated. The results show that,the proposed method is able to complete modeling and verification of the real-time properties of interactive process of IEC 6850 IED,and discover real-time interaction defects.关键词
IEC 61850/时间行为树/分布式系统/实时性验证/变电站自动化系统Key words
IEC 61850/timed behavior trees/distributed system/real-time validation/substation automatic system引用本文复制引用
熊海军,王晓辉,朱永利,张长明,王德文..IEC 61850智能电子设备交互实时性建模与验证[J].电力系统自动化,2014,(19):90-95,121,7.基金项目
国家自然科学基金资助项目(61074078) （61074078）
中央高校基本科研业务费专项资金资助项目(2014MS126) （2014MS126）
国家电网公司科技项目(GYl7201200047)。 （GYl7201200047）
