基于IEC 61850的智能电子设备交互模型形式化描述与验证

• 作者: 张其林 杜双育 王先培 赵宇
• 来源期刊: 电力系统自动化
• 学科: 工学
• 关键词: IEC 61850 智能电子设备 形式化 通信顺序进程
• 年，卷（期）: 2012,（17）
• 所属期刊栏目: 研制与开发
• 页码范围: 72-76
• 页数: 5页
• 分类号: TM
• 字数: 4380字
• 语种: 中文

摘要

IEC 61850将变电站智能电子设备（IED）的功能抽象成若干逻辑节点,以达到信息交换的目的。IED及其逻辑节点之间的交互关系复杂,如何正确地设计并实现这种复杂的行为是IEC 61850实施的关键。形式化方法为此提供了良好的途径。提出采用进程代数方法对各种功能在IED之间、IED内部逻辑节点之间的交互关系、系统行为进行严谨地描述并进行自动验证,以保证分布式功能的正确性。以定时过电流保护功能为例,建立了基于IEC 61850的IED交互模型,采用在通信顺序进程（CSP）上加入时间相关操作形成的形式化语言Timed CSP描述其交互功能及系统行为,在验证工具——进程分析工具包（PAT）环境中进行了验证。结果表明,所提出的方法能有效地检测出描述中潜在的缺陷,有利于指导IED交互系统的设计并节约开发成本。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杜双育	武汉大学电子信息学院	9	132	5.0	9.0
2	王先培	武汉大学电子信息学院	109	1198	16.0	30.0
3	张其林	武汉大学电子信息学院	6	86	3.0	6.0
4	赵宇	武汉大学电子信息学院	35	177	8.0	12.0