论文部分内容阅读
IEC 61850将变电站智能电子设备(IED)的功能抽象成若干逻辑节点,以达到信息交换的目的。IED及其逻辑节点之间的交互关系复杂,如何正确地设计并实现这种复杂的行为是IEC 61850实施的关键。形式化方法为此提供了良好的途径。提出采用进程代数方法对各种功能在IED之间、IED内部逻辑节点之间的交互关系、系统行为进行严谨地描述并进行自动验证,以保证分布式功能的正确性。以定时过电流保护功能为例,建立了基于IEC 61850的IED交互模型,采用在通信顺序进程(CSP)上加入时间相关操作形成的形式化语言Timed CSP描述其交互功能及系统行为,在验证工具——进程分析工具包(PAT)环境中进行了验证。结果表明,所提出的方法能有效地检测出描述中潜在的缺陷,有利于指导IED交互系统的设计并节约开发成本。
IEC 61850 abstracts the functionality of substation intelligent electronic devices (IEDs) into logical nodes for the purpose of information exchange. The interaction between IEDs and their logical nodes is complex. How to design and implement this complex behavior correctly is the key to IEC 61850 implementation. Formal methods provide a good way to do this. The process algebra method is proposed to describe the interaction of various functions between IEDs and IEDs, and to systematically describe the system behavior and verify it automatically to ensure the correctness of distributed functions. Taking timed overcurrent protection as an example, an IEC 61850-based IED interaction model was established. Timed CSP, a formalized language called Time-Dependent Operation (CSP), was used to describe its interaction and system behavior. In the verification tool - Process Analysis Toolkit (PAT) environment was verified. The results show that the proposed method can effectively detect the potential defects in the description, is conducive to guiding the design of IED interactive system and saving the development cost.