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

Formal Specification and Verification of IEC 61850 IED Interoperability Based on Behavior Tree

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

机构地区：[1]华北电力大学控制与计算机工程学院,河北省保定市071003

出　　处：《电力系统自动化》2013年第24期66-71,共6页Automation of Electric Power Systems

基　　金：国家自然科学基金资助项目(61074078);中央高校基本科研业务费专项资金资助项目(12MS113);国家电网公司科技项目(GY17201200047)~~

摘　　要：IEC 61850智能电子设备(IED)间的互操作是IEC 61850实施的关键。为解决在IED生产后对其进行互操作性测试成本高和测试周期长的问题,提出了基于形式化方法行为树(BT)的IED互操作性描述与验证方法,在IED设计阶段对其互操作性进行描述和验证。首先对参与交互应用的IED的外部行为特征及分布式功能的交互模型采用图形化BT进行建模,然后将交互模型的BT模型转化为通信顺序进程(CSP)模型,进而采用过程分析工具(PAT)对交互模型进行死锁及可达性等交互性验证。以变电站定时过流保护IED交互模型为例进行了建模与验证,结果表明该方法能有效检测IED设备设计中存在的交互性缺陷。The interoperability of IEC 61850 intelligent electronic devices（IEDs）is the key to the implementation of IEC 61850.In order to solve the problem that it is costly and far between to verify the interoperability of the IEDs produced,an IED interoperability specifying and verifying method based on the formal behavior tree（BT）is put forward for this purpose in their design stage.The external behavioral characteristics of IEDs and the interaction model for the distributed function in interoperation systems are modeled first in the graphical behavior tree mode.Then the BT model is translated into a communicating sequential process（CSP）model,followed by verification of the deadlock and reachability of the interaction model using the process analyzing toolkit（PAT）.By taking the substation timing protection and overcurrent protection interaction model of IEDs as an example for modeling and verifying,the results show that this method can effectively detect the interactive defects in the design of IEDs.

关 键 词：行为树 通信顺序进程 IEC 61850 智能电子设备 互操作 

分 类 号：TM76[电气工程—电力系统及自动化]