论文部分内容阅读
IEC 61850智能电子设备(IED)间的互操作是IEC 61850实施的关键。为解决在IED生产后对其进行互操作性测试成本高和测试周期长的问题,提出了基于形式化方法行为树(BT)的IED互操作性描述与验证方法,在IED设计阶段对其互操作性进行描述和验证。首先对参与交互应用的IED的外部行为特征及分布式功能的交互模型采用图形化BT进行建模,然后将交互模型的BT模型转化为通信顺序进程(CSP)模型,进而采用过程分析工具(PAT)对交互模型进行死锁及可达性等交互性验证。以变电站定时过流保护IED交互模型为例进行了建模与验证,结果表明该方法能有效检测IED设备设计中存在的交互性缺陷。
Interoperability between IEC 61850 Intelligent Electronic Devices (IEDs) is key to the implementation of IEC 61850. In order to solve the problem of high cost of interoperability test and long test period after IED production, IED interoperability description and verification method based on formal method behavior tree (BT) is proposed. During IED design phase, Operational description and verification. First of all, we use the graphical BT to model the interaction behavior of external IEDs and distributed functions that interact with each other, and then convert the BT model of the interaction model into a communication sequential process (CSP) model, and then use the process analysis tool (PAT) ) Interactive model deadlock and reachability and other interactive verification. The modeling and verification of the IED interacting model with time-over-current protection in substations were carried out. The results show that this method can effectively detect the interaction defects in the IED equipment design.