Powerlink协议异步调度机制的建模与分析

• 作者: 厉达 庞海萍 杨栋 郝丽 陈睿
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: Powerlink 通信顺序进程(CSP) 建模 验证 流程分析工具箱(PAT)
• 年，卷（期）: 2019,（17）
• 所属期刊栏目: 工程与应用
• 页码范围: 259-265
• 页数: 7页
• 分类号: TP393.04
• 字数: 6419字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1805-0366

摘要

针对通信协议进行形式化建模与分析,能够很大程度上提高工控协议的安全性.通过分析开源实时以太网Powerlink的同步、异步阶段的不同通信行为,以及在同步阶段的不同通信模式,提出一种利用CSP(Communication Sequential Process)语言对Powerlink协议进行形式化建模的方法.使用该方法能够描述Powerlink在数据链路层上不同节点之间的通信行为,以及描述在随机产生异步请求的情况下,异步阶段的异步请求调度行为.同时,该方法也准确模拟了协议运行过程中,错误处理机制对丢失帧情况的处理过程.最后利用软件PAT(Process Analysis Toolkit)验证了这些异步调度过程是否满足优先级顺序等性质,有助于对协议的运行机制进行深入分析.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郝丽	华东师范大学国家可信嵌入式软件工程技术研究中心	2	3	1.0	1.0
3	陈睿	国网上海市电力公司电力科学研究院	4	13	3.0	3.0
4	厉达	国网上海市电力公司电力科学研究院	3	5	2.0	2.0
6	庞海萍	华东师范大学国家可信嵌入式软件工程技术研究中心	1	3	1.0	1.0
14	杨栋	国网上海市电力公司电力科学研究院	1	3	1.0	1.0