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

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