基于IEC+61850地GOOSE报文传输一致性测试研究.pdfVIP

61 基于IEC 测试研究 殷志良 (上海电力公司超高压输变电公司 上海200063) 摘要：以实现站内智能电子设备互操作性为主要目标的IEC61850是未来数字化变电站建设所遵循 61850的一个全新应用，文 的国际通信标准，一致性测试是实现此目标的重要保障。GOOSE是IEC 章从有限状态机基本理论出发，分析了GOOSE报文传输的流程，推导生成了GOOSE报文传输一致性 测试序列，深入挖掘了状态机技术在报文传输一致性测试中的应用． 关键词：IEC61850一致性测试有限状态机GOOSE 近年来，随着一次设备的智能化、二次设备的网络化和通信技术的飞速发展，基于 IEC 61850的数字化变电站已成为变电站自动化领域的研究热点，IEC61850标准制定 的首要目标是实现各生产厂家智能电子设备(IED)的互操作性，为此，标准的第十部 分定义了兼容认证步骤，即协议的一致性测试Ⅲ。协议一致性测试研究内容比较广泛， 包括测试方法、测试集描述、测试结果分析等多个方面，其实质则是测试序列和测试 数据的生成和测试执行过程。 State Machine)出发， 本文从协议的形式化模型技术一有限状态机(FSM，Finite 以面向通用对象的变电站事件(G00SE)模型为例，对其报文传输流程进行了分析，深 入挖掘有限状态机技术在GOOSE报文传输一致性测试中的应用，并推导生成报文传输一 致性测试序列心】。 1 FSM的基本定义 FSM是一种具有离散输入输出系统的数学模型，它以一种“事件驱动”的方式工作， 由有限个稳定的状态构成，通过激励信号(内部或外部的消息)，推动状态的迁移和自动 机的运转，同时，在运转的过程中，会产生一定的输出信号。FSM技术的基础是计算机 科学的经典理论一“自动机理论。自动机理论创立于1936年，最初被应用于开关电 路的设计，如今在网络通讯、协议一致性测试、语法分析程序、模式识别程序和图形用 户界面(GUI)测试等方面都有广泛应用。自动机理论首次被引入到变电站通讯标准IEC 61850中，表明随着电力自动化的深入发展，势必会产生电力自动化与计算机科学理论 相结合的趋势H1。 FSM包括以下几个部分：一个有限状态集，用于描述系统的不同状态：一个输入集， 用于表征系统所接收的不同输入信息；一个状态转移规则集，用于表述系统在接收不同 输入下从一个状态转移到另一个状态的规则。FSM的形式定义如下Ⅲ： 502 其中： FSM是一个5元组M=(Q，∑，万，q。，F)， 在任一确定时刻，FSM只能处于一个确 (1)Q={q。，q。，…，q。)是有限状态集合， 定的状态q。； (2)∑={仃。，口．，…，仃。)是有限输入字符集合，在任一确定的时刻，FSM只能 接收一个确定的输入仃，； Q， (3)万：Q×∑一Q是状态转移函数，如果在某一确定时刻，FSM处于某一状态qiE 并接收一个输入字符仃JE∑，那么在下一时刻将处于一个确定的状态q=8(q。，盯j)∈Q。 这里规定q=6(q，s)，即对任何状态q，当读入空字符s时，FSM不发生任何状态转移； (4)qo∈Q是初始状态，有限状态机由此状态开始接收输入； (5)FcQ是终止状态集合，这里并不是指M一旦进入这种状态就终止了，而是 指M一旦在处理完输入字符串时到达这种状态，则M就是接收当前处理的字符串，所以， 终止状态又称为接受状态。 2基于FSM的GOOSE报文传输 2．1 GOOSE报文的服务原语分析 一致性测试要求