| 基于行为树的IEC61850智能电子设备互操作性描述与验证 |
| |
| 引用本文： | 熊海军,朱永利,张凡,王德文,时磊.基于行为树的IEC61850智能电子设备互操作性描述与验证[J].电力系统自动化,2013,37(24):66-71. |
| |
| 作者姓名： | 熊海军 朱永利 张凡 王德文 时磊 |
| |
| 作者单位： | 华北电力大学控制与计算机工程学院，河北省保定市071003;华北电力大学控制与计算机工程学院，河北省保定市071003;华北电力大学控制与计算机工程学院，河北省保定市071003;华北电力大学控制与计算机工程学院，河北省保定市071003;华北电力大学控制与计算机工程学院，河北省保定市071003 |
| |
| 基金项目： | 国家自然科学基金项目（面上项目，重点项目，重大项目）;国家电力公司科技项目 |
| |
| 摘 要： | IEC 61850智能电子设备(IED)间的互操作是IEC 61850实施的关键。为解决在IED生产后对其进行互操作性测试成本高和测试周期长的问题,提出了基于形式化方法行为树(BT)的IED互操作性描述与验证方法,在IED设计阶段对其互操作性进行描述和验证。首先对参与交互应用的IED的外部行为特征及分布式功能的交互模型采用图形化BT进行建模,然后将交互模型的BT模型转化为通信顺序进程(CSP)模型,进而采用过程分析工具(PAT)对交互模型进行死锁及可达性等交互性验证。以变电站定时过流保护IED交互模型为例进行了建模与验证,结果表明该方法能有效检测IED设备设计中存在的交互性缺陷。
|
| 关 键 词： | 行为树 通信顺序进程 IEC 61850 智能电子设备 互操作 |
| 收稿时间： | 2013/5/24 0:00:00 |
| 修稿时间： | 2013/11/21 0:00:00 |
Formal Specification and Verification of IEC61850IED Interoperability Based on Behavior Tree |
| |
| XIONG Haijun,ZHU Yongli,ZHANG Fan,WANG Dewen and SHI Lei.Formal Specification and Verification of IEC61850IED Interoperability Based on Behavior Tree[J].Automation of Electric Power Systems,2013,37(24):66-71. |
| |
| Authors: | XIONG Haijun ZHU Yongli ZHANG Fan WANG Dewen and SHI Lei |
| |
| Affiliation: | XIONG Haijun;ZHU Yongli;ZHANG Fan;WANG Dewen;SHI Lei;School of Control and Computer Engineering,North China Electric Power University; |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《电力系统自动化》浏览原始摘要信息 |
|
点击此处可从《电力系统自动化》下载全文 |
