本文主要研究内容
作者陈睿,庞海萍,郝丽,厉达,杨栋（2019）在《Powerlink协议异步调度机制的建模与分析》一文中研究指出：针对通信协议进行形式化建模与分析,能够很大程度上提高工控协议的安全性。通过分析开源实时以太网Powerlink的同步、异步阶段的不同通信行为,以及在同步阶段的不同通信模式,提出一种利用CSP(Communication Sequential Process)语言对Powerlink协议进行形式化建模的方法。使用该方法能够描述Powerlink在数据链路层上不同节点之间的通信行为,以及描述在随机产生异步请求的情况下,异步阶段的异步请求调度行为。同时,该方法也准确模拟了协议运行过程中,错误处理机制对丢失帧情况的处理过程。最后利用软件PAT(Process Analysis Toolkit)验证了这些异步调度过程是否满足优先级顺序等性质,有助于对协议的运行机制进行深入分析。
Abstract
zhen dui tong xin xie yi jin hang xing shi hua jian mo yu fen xi ,neng gou hen da cheng du shang di gao gong kong xie yi de an quan xing 。tong guo fen xi kai yuan shi shi yi tai wang Powerlinkde tong bu 、yi bu jie duan de bu tong tong xin hang wei ,yi ji zai tong bu jie duan de bu tong tong xin mo shi ,di chu yi chong li yong CSP(Communication Sequential Process)yu yan dui Powerlinkxie yi jin hang xing shi hua jian mo de fang fa 。shi yong gai fang fa neng gou miao shu Powerlinkzai shu ju lian lu ceng shang bu tong jie dian zhi jian de tong xin hang wei ,yi ji miao shu zai sui ji chan sheng yi bu qing qiu de qing kuang xia ,yi bu jie duan de yi bu qing qiu diao du hang wei 。tong shi ,gai fang fa ye zhun que mo ni le xie yi yun hang guo cheng zhong ,cuo wu chu li ji zhi dui diu shi zhen qing kuang de chu li guo cheng 。zui hou li yong ruan jian PAT(Process Analysis Toolkit)yan zheng le zhe xie yi bu diao du guo cheng shi fou man zu you xian ji shun xu deng xing zhi ,you zhu yu dui xie yi de yun hang ji zhi jin hang shen ru fen xi 。
论文参考文献
论文详细介绍
论文作者分别是来自计算机工程与应用的陈睿,庞海萍,郝丽,厉达,杨栋，发表于刊物计算机工程与应用2019年17期论文，是一篇关于通信顺序进程论文,建模论文,验证论文,流程分析工具箱论文,计算机工程与应用2019年17期论文的文章。本文可供学术参考使用，各位学者可以免费参考阅读下载，文章观点不代表本站观点，资料来自计算机工程与应用2019年17期论文网站，若本站收录的文献无意侵犯了您的著作版权，请联系我们删除。
标签：通信顺序进程论文; 建模论文; 验证论文; 流程分析工具箱论文; 计算机工程与应用2019年17期论文;