IEC 61850智能电子设备交互实时性建模与验证
IEC 61850智能电子设备(IED)的交互实时性是分布式功能成功实施的关键。为解决现有形式化方法对实时性建模复杂及验证困难的问题,提出了基于时间行为树的实时交互过程建模及验证方法。首先,将实时系统模型和通信顺序进程中的通信通道模型引入行为树,构造了新的时间行为树模型;然后,采用时间行为树以变电站定时过流保护 IED交互过程为例进行了建模;最后,采用过程分析工具对所建模型进行了实时性验证分析与时间计算。实验结果表明,所述方法能完成IED交互过程的实时性建模与时间计算,能发现交互过程中存在的实时性缺陷。
IEC 61850、时间行为树、分布式系统、实时性验证、变电站自动化系统
TP3;G25
国家自然科学基金资助项目61074078;中央高校基本科研业务费专项资金资助项目2014MS126;国家电网公司科技项目GYl7201200047。
2014-10-22(万方平台首次上网日期,不代表论文的发表时间)
共7页
90-95,121