基于概率策略逻辑的ＶＡＮＥＴ信息广播模型定量验证方法研究

QqWw11 · 发表于 2021-4-15 11:12

EDA365欢迎您登录！

您需要登录才可以下载或查看，没有帐号？注册

x

摘要：ＶＡＮＥＴ网络中信息的发送和接收具有随机性和不确定性，ＩＥＥＥ８０２１１ｐ广播协议无法适应ＶＡＮＥＴ网络拓扑动态变化，于是研究者们根据不同环境中的具体应用需求提出了各种ＶＡＮＥＴ广播协议，如何对新提出的协议的性能以及可靠性进行分析与验证是一个关键性问题．自动化的定量验证技术能够针对系统需要满足的多个性质进行分析，并给出满足需求的最大或者最小概率．然而研究人员在进行定量验证过程中使用的ＰＴＣＬ、ｒＰＡＴＬ等逻辑语言都不能够明确描述用户的策略是什么，因此本文提出基于概率策略逻辑的模型定量验证方法．该方法首先对系统中的多个角色使用概率时间接口自动机对其行为建模，然后使用概率策略逻辑语言对系统需要满足的性质进行描述，最后基于定量验证算法自动给出系统相关性质的分析结论．本文将该方法应用到ＶＡＮＥＴ信息广播协议性能分析上，能够针对外界环境的变化选择合理的策略，从而分析出不同环境下信息广播发送成功的最大概率．

关键词：ＶＡＮＥＴ；定量验证；基于角色的概率系统；概率策略逻辑

附件下载：

游客，如果您要查看本帖隐藏内容请回复

enhgf65 · 发表于 2021-4-15 11:25

学习学习；；；

帐号		自动登录	找回密码
密码			注册

[毕业设计] 基于概率策略逻辑的ＶＡＮＥＴ信息广播模型定量验证方法研究

EDA365欢迎您登录！

浏览过的版块

推荐内容 /1

[毕业设计] 基于概率策略逻辑的 ＶＡＮＥＴ信息 广播模型定量验证方法研究

EDA365欢迎您登录！

浏览过的版块

推荐内容 /1

[毕业设计] 基于概率策略逻辑的ＶＡＮＥＴ信息广播模型定量验证方法研究