作者:曲国远; 徐晓飞; 刘威廷; 王沁煜; 贺飞形式化方法协议验证模型检测
摘要:时钟同步协议是时间触发网络的一个重要组成部分,是时间触发网络实时性和确定性的关键。本文基于扩展标记变迁模型对时钟同步协议进行建模,基于模型检测方法对协议是否满足正确性属性进行验证。验证结果证明了在不同启动场景下时钟同步网络协议的正确性,也表明了扩展标记变迁模型对于协议验证的有效性。
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社
《国防科技大学学报》(CN:43-1067/T)是一本有较高学术价值的大型双月刊,自创刊以来,选题新奇而不失报道广度,服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《国防科技大学学报》主要刊登航天工程、材料科学与工程、数学与系统科学、物理学、化学工程与技术、机械工程、控制科学与工程、电子科学与技术、信息与通信工程、管理科学与工程、计算机科学与技术、光学工程等学科领域的有创新性的论文,有创造性、实用性的技术成果报告,重要学术问题评述等。
部级期刊
人气 1073984 评论 53
省级期刊
人气 845945 评论 70
人气 806698 评论 68
人气 753046 评论 72