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

• 作者: 张长明 朱永利 熊海军 王德文 王晓辉
• 来源期刊: 电力系统自动化
• 关键词: IEC 61850 时间行为树 分布式系统 实时性验证 变电站自动化系统
• 年，卷（期）: 2014,（19）
• 所属期刊栏目: 研制与开发
• 页码范围: 90-95,121
• 页数: 7页
• 字数: 5282字
• 语种: 中文
• DOI: 10.7500/AEPS20131230004

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王德文	华北电力大学控制与计算机工程学院	61	2241	26.0	47.0
2	朱永利	华北电力大学控制与计算机工程学院	268	5516	39.0	62.0
3	王晓辉	华北电力大学控制与计算机工程学院	14	94	5.0	9.0
4	熊海军	华北电力大学控制与计算机工程学院	12	73	7.0	8.0
5	张长明	华北电力大学控制与计算机工程学院	7	140	4.0	7.0