TA的每日心情 | 奋斗
2020-9-2 15:06 |
|---|
签到天数: 2 天 [LV.1]初来乍到
|
EDA365欢迎您登录！
您需要 登录 才可以下载或查看，没有帐号？注册
x
摘 要： ＶＡＮＥＴ网络中信息的发送和接收具有随机性和不确定性，ＩＥＥＥ８０２１１ｐ广播协议无法适应 ＶＡＮＥＴ网 络拓扑动态变化，于是研究者们根据不同环境中的具体应用需求提出了各种 ＶＡＮＥＴ广播协议，如何对新提出的协议 的性能以及可靠性进行分析与验证是一个关键性问题．自动化的定量验证技术能够针对系统需要满足的多个性质进 行分析，并给出满足需求的最大或者最小概率．然而研究人员在进行定量验证过程中使用的 ＰＴＣＬ、ｒＰＡＴＬ等逻辑语言 都不能够明确描述用户的策略是什么，因此本文提出基于概率策略逻辑的模型定量验证方法．该方法首先对系统中的 多个角色使用概率时间接口自动机对其行为建模，然后使用概率策略逻辑语言对系统需要满足的性质进行描述，最后 基于定量验证算法自动给出系统相关性质的分析结论．本文将该方法应用到 ＶＡＮＥＴ信息广播协议性能分析上，能够 针对外界环境的变化选择合理的策略，从而分析出不同环境下信息广播发送成功的最大概率． ( C" r$ W- J6 B, f# {
8 @% ]* y0 N7 x: [. q1 |' X' {6 j% I8 C x
/ r4 e, M* R4 ?
关键词： ＶＡＮＥＴ；定量验证；基于角色的概率系统；概率策略逻辑( Q, g& }# ]8 I+ l, v* ?# A$ M/ Q1 I
& U# }/ h7 N( K
: h* D v' ]6 \( V0 |3 B V
$ V$ x7 g/ V3 G) K. d) c" i附件下载：
- K1 v/ j) m: k5 N% y J" m |
|
/1 
发表于 2021-4-15 11:12
收藏
淘帖
支持！
反对！