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

doi:10.3778/j.issn.1002-8331.1805-0366

计算机工程与应用 ›› 2019, Vol. 55 ›› Issue (17): 259-265.DOI: 10.3778/j.issn.1002-8331.1805-0366

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

陈睿，庞海萍，郝丽，厉达，杨栋

1.国网上海市电力公司电力科学研究院，上海 200437
2.华东师范大学国家可信嵌入式软件工程技术研究中心，上海 200062
3.上海赛璞乐电力科技有限公司，上海 200437
4.上海丰蕾信息科技有限公司，上海 200333

出版日期:2019-09-01 发布日期:2019-08-30

Modeling and Analysis of Asynchronous Scheduling Mechanism for Powerlink Protocol

CHEN Rui, PANG Haiping, HAO Li, LI Da, YANG Dong

1.State Grid Shanghai Electric Power Research Institute, Shanghai 200437, China
2.National Trusted Embedded Software Engineering Technology Research Center, East China Normal University, Shanghai 200062, China
3.Shanghai SaipuLe Power Technology Co., Ltd., Shanghai 200437, China
4.Shanghai Formal Tech Information Technology Co., Ltd., Shanghai 200333, China

Online:2019-09-01 Published:2019-08-30

摘要/Abstract

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

关键词: Powerlink, 通信顺序进程（CSP）, 建模, 验证, 流程分析工具箱（PAT）

Abstract: Modeling and analysis can help improve the safety of industrial control protocol. This paper summarizes the communicating behaviors of Powerlink and proposes a new modeling method by the modeling language CSP（Communication Sequential Process）. This method simulates the random generation of asynchronous request and the error handling mechanism of losing-frame error. Finally, this paper analyzes the scheduling priority of the requests in PAT（Process Analysis Toolkit）. The results of the experiment show the proposed method can accurately describe the scheduling process in the protocol, which will help the further research of the mechanism of Powerlink.

Key words: Powerlink, Communication Sequential Process（CSP）, modeling, verification, Process Analysis Toolkit（PAT）

陈睿，庞海萍，郝丽，厉达，杨栋. Powerlink协议异步调度机制的建模与分析[J]. 计算机工程与应用, 2019, 55(17): 259-265.

CHEN Rui, PANG Haiping, HAO Li, LI Da, YANG Dong. Modeling and Analysis of Asynchronous Scheduling Mechanism for Powerlink Protocol[J]. Computer Engineering and Applications, 2019, 55(17): 259-265.

[1]	黄逸磊，夏志杰，王诣铭. 强关系型社交媒体平台不实信息传播模型研究[J]. 计算机工程与应用, 2021, 57(9): 126-133.
[2]	郑亮，陈亚，陈小潘，郑逢斌. 人脸局部特征增强的亲属关系验证方法[J]. 计算机工程与应用, 2021, 57(23): 226-233.
[3]	李舵，董超群，司品超，何曼，刘钱超. 神经网络验证和测试技术研究综述[J]. 计算机工程与应用, 2021, 57(22): 53-67.
[4]	王洁，金正猛，冯灿. 自适应广义全变差的图像泊松去噪算法[J]. 计算机工程与应用, 2021, 57(20): 203-209.
[5]	舒乐，戴佳筑. 基于通用对抗扰动的图像验证码保护方法[J]. 计算机工程与应用, 2021, 57(18): 135-141.
[6]	谭莉娟，郑巍，刘友林，樊鑫，杨丰玉. 面向适航标准的机载软件测试验证方法综述[J]. 计算机工程与应用, 2021, 57(15): 9-22.
[7]	刘友林，郑巍，谭莉娟，樊鑫，杨丰玉. 面向适航标准的机载软件测试验证工具综述[J]. 计算机工程与应用, 2021, 57(11): 1-10.
[8]	吴杰，段锦，董锁芹，李英超. DFM-GAN网络在跨年龄模拟的人脸识别技术研究[J]. 计算机工程与应用, 2021, 57(10): 117-124.
[9]	谢艺菲，卢琪，刘鑫，胡亚豪，潘志松，陈浩. 基于图的多层次注意力事实验证算法[J]. 计算机工程与应用, 2021, 57(10): 146-153.
[10]	张悟移，李建国，龚钰雯. 高层住户防抛物、坠物安全意识演化模型[J]. 计算机工程与应用, 2021, 57(1): 254-260.
[11]	陈光，蒋同海，王蒙，唐新余，季文飞. 自定义SWRL知识图谱推理补全插件的实现[J]. 计算机工程与应用, 2021, 57(1): 261-270.
[12]	王琪，闵华松. 双臂机器人的协调控制算法综述[J]. 计算机工程与应用, 2021, 57(1): 1-16.
[13]	仝乐，郝蓉，于佳. 单服务器上的双线性配对安全外包方案[J]. 计算机工程与应用, 2020, 56(9): 131-135.
[14]	吴楚田，陈永乐，陈俊杰. 多协议交叉的HMM协议异常检测算法[J]. 计算机工程与应用, 2020, 56(8): 81-86.
[15]	曹廷荣，陆玲，龚燕红，贾惠珍. 基于对抗网络的验证码识别方法[J]. 计算机工程与应用, 2020, 56(8): 199-204.

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

Modeling and Analysis of Asynchronous Scheduling Mechanism for Powerlink Protocol

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics