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

摘要：

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

关键词：IEC 61850、时间行为树、分布式系统、实时性验证、变电站自动化系统

分类号：TP3;G25

资助基金：国家自然科学基金资助项目61074078;中央高校基本科研业务费专项资金资助项目2014MS126;国家电网公司科技项目GYl7201200047。

在线出版日期：2014-10-22（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：90-95,121