VANET信息广播模型定量验证方法

• 作者: 王晓天 赵莹莹 韩啸
• 来源期刊: 吉林大学学报（理学版）
• 学科: 工学
• 关键词: 车用自主网络(VANET) 定量建模与验证 区间概率分布 区间概率实时自动机
• 年，卷（期）: 2017,（5）
• 所属期刊栏目: 计算机科学
• 页码范围: 1255-1260
• 页数: 6页
• 分类号: TP311
• 字数: 4711字
• 语种: 中文
• DOI: 10.13413/j.cnki.jdxblxb.2017.05.39

摘要

针对车用自组网络(VANET)中信息的发送与接收具有随机性和不确定性,且VAENT节点具有高速移动、拓扑变化快的特点,提出一种基于模型检测的定量验证方法.采用区间概率实时自动机(IPTA)模型表示VANET中的节点,使用区间概率表示自动机状态转换的概率,以提高VANET广播协议信息传递的可靠性,并对VANET中信息广播发送与接收的成功概率进行验证,证明该方法的可行性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	韩啸	吉林大学学报编辑部	26	106	6.0	9.0
2	赵莹莹	吉林大学学报编辑部	13	80	4.0	8.0
3	王晓天	大连东软信息学院计算机科学与技术系	4	18	2.0	4.0