IEC 61850智能电子设备交互实时性建模与验证

XIONG Haijun

您当前的位置：

首页 >

文章列表页 >

IEC 61850智能电子设备交互实时性建模与验证

更新时间：2025-08-13

- IEC 61850智能电子设备交互实时性建模与验证
- Automation of Electric Power Systems Vol. 38, Issue 19, Pages: 90-95(2014)
- 作者机构：
  
  华北电力大学控制与计算机工程学院,河北省,保定市,071003
- 作者简介：
- 基金信息：
- DOI：
  CLC：
- Published：2014
- 稿件说明：
移动端阅览
XIONG Haijun. [J]. Automation of electric power systems, 2014, 38(19): 90-95.
DOI：

XIONG Haijun. [J]. Automation of electric power systems, 2014, 38(19): 90-95. DOI：

摘要

IEC 61850智能电子设备（IED）的交互实时性是分布式功能成功实施的关键。为解决现有形式化方法对实时性建模复杂及验证困难的问题，提出了基于时间行为树的实时交互过程建模及验证方法。首先，将实时系统模型和通信顺序进程中的通信通道模型引入行为树，构造了新的时间行为树模型;然后，采用时间行为树以变电站定时过流保护IED交互过程为例进行了建模;最后，采用过程分析工具对所建模型进行了实时性验证分析与时间计算。实验结果表明，所述方法能完成IED交互过程的实时性建模与时间计算，能发现交互过程中存在的实时性缺陷。

Abstract

Real-time interaction of IEC 61850 intelligent electronic device（IED）is the key to successful implementation of the distributed function.To overcome the complexity and difficulty in validating existing formal methods of modeling real-time procedure，IEC 61850 IED real-time interactive process modeling and verification method based on timed behavior trees（BTs）is put forward.Firstly，the timed BT model is obtained by introducing a real-time system model and communication sequential process（CSP）communication channels into the old BT model.Secondly，based on timed BT，the substation timing protection and overcurrent protection interaction process of IED is taken as an example for modeling.Finally，the reachability of the proposed model is validated and analyzed by using process analysis toolkit（PAT），and the time of the messages is calculated.The results show that，the proposed method is able to complete modeling and verification of the real-time properties of interactive process of IEC 6850 IED，and discover real-time interaction defects.

关键词

Keywords

references

Views

2988

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Discussion on Engineering Application of Conformance Test for IEC 61850 Control Model

Logical Node Based Topology Identification of Distributed Feeder Automation

Application of XMPP and GOOSE in Distributed Feeder Automation

可扩展消息和在线表示协议在分布式馈线自动化中的应用

Related Author

Zhenzhen WANG

Dan SUN

Shufeng WEN

Yongfu WANG

Qiangsheng BU

Zonghui WANG

Yu CHEN

Bingyin XU

Related Institution

State Grid Electric Power Research Institute

State Key Laboratory of Smart Grid Protection and Control

Dispatching and Control Center of State Grid Corporation of China

State Grid Jiangsu Electric Power Co., Ltd. Research Institute

College of Electrical and Electronic Engineering, Shandong University of Technology

⁰