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

• 作者: 张凡 时磊 朱永利 熊海军 王德文
• 来源期刊: 电力系统自动化
• 关键词: 行为树 通信顺序进程 IEC 61850 智能电子设备 互操作
• 年，卷（期）: 2013,（24）
• 所属期刊栏目: 研制与开发
• 页码范围: 66-71
• 页数: 6页
• 字数: 5320字
• 语种: 中文
• DOI: 10.7500/AEPS20130524006

摘要

IEC 61850智能电子设备(IED)间的互操作是 IEC 61850实施的关键。为解决在 IED 生产后对其进行互操作性测试成本高和测试周期长的问题，提出了基于形式化方法行为树(BT)的 IED互操作性描述与验证方法，在IED设计阶段对其互操作性进行描述和验证。首先对参与交互应用的IED的外部行为特征及分布式功能的交互模型采用图形化BT进行建模，然后将交互模型的BT模型转化为通信顺序进程(CSP)模型，进而采用过程分析工具(PAT)对交互模型进行死锁及可达性等交互性验证。以变电站定时过流保护IED交互模型为例进行了建模与验证，结果表明该方法能有效检测IED设备设计中存在的交互性缺陷。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王德文	华北电力大学控制与计算机工程学院	61	2241	26.0	47.0
2	朱永利	华北电力大学控制与计算机工程学院	268	5516	39.0	62.0
3	时磊	华北电力大学控制与计算机工程学院	7	47	5.0	6.0
4	张凡	华北电力大学控制与计算机工程学院	12	58	5.0	7.0
5	熊海军	华北电力大学控制与计算机工程学院	12	73	7.0	8.0