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

被引：11

作者：

熊海军

朱永利

张凡

王德文

时磊

机构：

[1] 华北电力大学控制与计算机工程学院

来源：

电力系统自动化 | 2013年 / 37卷 / 24期

基金：

中央高校基本科研业务费专项资金资助;

关键词：

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

D O I：

暂无

中图分类号：

TM76 [电力系统的自动化];

学科分类号：

080802 [电力系统及其自动化];

摘要：

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

引用

页码：66 / 71

页数：6

共 7 条

[1]

Formal Specification and Verification of Modular Security Policy Based on Colored Petri Nets [J].

Huang, Hejiao ;

Kirchner, Helene .

IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, 2011, 8 (06) :852-865

[2]

InRob: An approach for testing interoperability and robustness of real-time embedded software.[J].Fátima Mattiello-Francisco;Eliane Martins;Ana Rosa Cavalli;Edgar Toshiro Yano.The Journal of Systems & Software.2011, 1

[3]

A semantics for Behavior Trees using CSP with specification commands.[J].Robert J. Colvin;Ian J. Hayes.Science of Computer Programming.2010, 10

[4]

A formal method to real-time protocol interoperability testing.[J].ZhiLiang Wang;Xia Yin;ChuanMing Jing.Science in China Series F: Information Sciences.2008, 11

[5]

IEC 61850深层次互操作试验方案 [J].