电力系统自动化Issue(24)：66-71,6.DOI:10.7500/AEPS20130524006
基于行为树的IEC 61850智能电子设备互操作性描述与验证
Formal Specification and Verification of IEC 61850 IED Interoperability Based on Behavior Tree
摘要
Abstract
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/智能电子设备/互操作Key words
behavior tree (BT)/communicating sequential processes/IEC 61850/intelligent electronic device (IED)/interoperability引用本文复制引用
熊海军,朱永利,张凡,王德文,时磊..基于行为树的IEC 61850智能电子设备互操作性描述与验证[J].电力系统自动化,2013,(24):66-71,6.基金项目
国家自然科学基金资助项目(61074078) （61074078）
中央高校基本科研业务费专项资金资助项目(12MS113) （12MS113）
国家电网公司科技项目(GY17201200047)。This work is supported by National Natural Science Foundation of China (No.61074078),the Fundamental Research Funds for the Central Universities(No.12MS113)and State Grid Corporation of China(No.GY17201200047) （GY17201200047）
