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

被引：13

作者：

熊海军

王晓辉

朱永利

张长明

王德文

机构：

[1] 华北电力大学控制与计算机工程学院

来源：

电力系统自动化 | 2014年 / 38卷 / 19期

基金：

中央高校基本科研业务费专项资金资助;

关键词：

IEC 61850; 时间行为树; 分布式系统; 实时性验证; 变电站自动化系统;

D O I：

暂无

中图分类号：

TM63 [变电所];

学科分类号：

080802 [电力系统及其自动化];

摘要：

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

引用

页码：90 / 95+121 +121

页数：7

共 10 条

[1]

基于行为树的IEC 61850智能电子设备互操作性描述与验证 [J].

熊海军 ;

朱永利 ;

张凡 ;

王德文 ;

时磊 .

电力系统自动化, 2013, 37 (24) :66-71

[2]

基于IEC 61850的分布式能源智能监控终端通信模型 [J].

李国武 ;

张雁忠 ;

黄巍松 ;

金强 .

电力系统自动化, 2013, 37 (10) :13-18

[3]

考虑时序特性的多目标分布式电源选址定容规划 [J].

李亮 ;

唐巍 ;

白牧可 ;

张璐 ;

吕涛 .

电力系统自动化, 2013, 37 (03) :58-63+128

[4]

基于时间约束Petri网的电网警报处理及故障诊断 [J].

杨健维 ;

何正友 .

电力系统保护与控制, 2012, 40 (01) :77-84+90

[5]

智能电网述评 [J].

余贻鑫 ;

栾文鹏 .

中国电机工程学报, 2009, 29 (34) :1-8

[6]

A formal method to real-time protocol interoperability testing[J] WANG ZhiLiang1;3;YIN Xia2;3 & JING ChuanMing2;3 1 Network Research Center;Tsinghua University;Beijing 100084;China;2 Department of Computer Science and Technology;Tsinghua University;Beijing 100084;China;3 Tsinghua National Laboratory for Information Science and Technology(TNList) ;Beijing 100084;China Science in China(Series F:Information Sciences) 2008, 11

[7]

基于IEC 61850的保护功能交互模型 [J].