CAJ | 학술논문

IEC 61850将变电站智能电子设备（IED）的功能抽象成若干逻辑节点,以达到信息交换的目的。IED及其逻辑节点之间的交互关系复杂,如何正确地设计并实现这种复杂的行为是IEC 61850实施的关键。形式化方法为此提供了良好的途径。提出采用进程代数方法对各种功能在IED之间、IED内部逻辑节点之间的交互关系、系统行为进行严谨地描述并进行自动验证,以保证分布式功能的正确性。以定时过电流保护功能为例,建立了基于IEC 61850的IED交互模型,采用在通信顺序进程（CSP）上加入时间相关操作形成的形式化语言Timed CSP描述其交互功能及系统行为,在验证工具——进程分析工具包（PAT）环境中进行了验证。结果表明,所提出的方法能有效地检测出描述中潜在的缺陷,有利于指导IED交互系统的设计并节约开发成本。
IEC 61850장변전참지능전자설비（IED）적공능추상성약간라집절점,이체도신식교환적목적。IED급기라집절점지간적교호관계복잡,여하정학지설계병실현저충복잡적행위시IEC 61850실시적관건。형식화방법위차제공료량호적도경。제출채용진정대수방법대각충공능재IED지간、IED내부라집절점지간적교호관계、계통행위진행엄근지묘술병진행자동험증,이보증분포식공능적정학성。이정시과전류보호공능위례,건립료기우IEC 61850적IED교호모형,채용재통신순서진정（CSP）상가입시간상관조작형성적형식화어언Timed CSP묘술기교호공능급계통행위,재험증공구——진정분석공구포（PAT）배경중진행료험증。결과표명,소제출적방법능유효지검측출묘술중잠재적결함,유리우지도IED교호계통적설계병절약개발성본。
In IEC 61850,functions of substation intelligent electronic devices（IEDs） can be divided into several logic nodes in order to achieve the purpose of information exchange.There are complex interactive relationships among IEDs and their internal logic nodes（LNs）.How to design and implement this kind of complex behaviors is a key for application of IEC 61850.Formal method may provide a good way.The rigorous description and automatic verification with process algebra for the interaction functions and system behaviors among IEDs and the internal LNs of IEDs are put forward in order to guarantee correction of distribute functions.The IEDs interaction model based on IEC 61850 for time over-current protection is established and the interaction functions and system behaviors are described with Timed communicating sequential processes（CSP）,then automatic verification is done on process analysis toolkit（PAT） platform.Test results show that the method proposed can effectively detect potential defects in specification so as to guide the design of interactive systems of IEDs and save development costs.