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

作者：熊海军; 朱永利; 张凡; 王德文; 时磊

来源：电力系统自动化, 2013, (24): 66-71.

• 行为树
• 通信顺序进程
• IEC 61850
• 智能电子设备
• 互操作 behavior tree(BT)
• communicating sequential processes
• IEC 61850
• intelligent electronic device(IED)
• interoperability

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

• 出版日期2013
• 单位华北电力大学