%0 Journal Article
%T IEC 61850智能电子设备交互实时性建模与验证
%A 张长明
%A 朱永利
%A 熊海军
%A 王德文
%A 王晓辉
%J 电力系统自动化
%D 2014
%X IEC 61850智能电子设备（IED）的交互实时性是分布式功能成功实施的关键。为解决现有形式化方法对实时性建模复杂及验证困难的问题，提出了基于时间行为树的实时交互过程建模及验证方法。首先，将实时系统模型和通信顺序进程中的通信通道模型引入行为树，构造了新的时间行为树模型;然后，采用时间行为树以变电站定时过流保护IED交互过程为例进行了建模;最后，采用过程分析工具对所建模型进行了实时性验证分析与时间计算。实验结果表明，所述方法能完成IED交互过程的实时性建模与时间计算，能发现交互过程中存在的实时性缺陷
%K IEC 61850
%K 时间行为树
%K 分布式系统
%K 实时性验证
%K 变电站自动化系统
%K IEC 61850
%K timed behavior trees
%K distributed system
%K real-time validation
%K substation automatic system
%U http://www.aeps-info.com/aeps/article/abstract/20131230004?st=article_issue