IEC61850智能电子设备交互实时性建模与验证

Modeling and Verification of Real-time Interaction for IEC 61850 Intelligent Electronic Device

IEC 61850智能电子设备(IED)的交互实时性是分布式功能成功实施的关键。为解决现有形式化方法对实时性建模复杂及验证困难的问题,提出了基于时间行为树的实时交互过程建模及验证方法。首先,将实时系统模型和通信顺序进程中的通信通道模型引入行为树,构造了新的时间行为树模型;然后,采用时间行为树以变电站定时过流保护IED交互过程为例进行了建模;最后,采用过程分析工具对所建模型进行了实时性验证分析与时间计算。实验结果表明,所述方法能完成IED交互过程的实时性建模与时间计算,能发现交互过程中存在的实时性缺陷。

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.