基于UPPAAL的复杂定时数据建模

摘要：

针对路由协议中复杂定时数据建模的难题,提出一种基于离散和抽象的建模方法.该建模方法中,各条复杂定时数据的生存时间被离散化为时间分片,并用时间分片数量表示对应数据的生存时间.采用轮询策略周期性地检查数据的生存时间并更新数据.以路由协议中的链路保持特性为例,在建模过程中运用所提出的方法,对路由协议的链路保持功能和链路断开的敏感性进行验证.结果表明,这种建模方法可应用于复杂定时数据的建模.

关键词： 路由协议 复杂定时数据 时间自动机 UPPAAL工具 建模仿真

作者: 李真 王从银 庄雷

作者单位: 郑州大学 信息工程学院,郑州 450001 郑州大学 信息工程学院,郑州 450001;吉首大学 数学与计算机科学学院,湖南 吉首 416000

会议类型: 国内会议

会议名称: 2014年河南省计算机学会学术年会暨河南省计算机大会

会议地点: 河南安阳

会议语种:中文

页码: 28-32

在线出版日期: 2014-08-18（万方平台首次上网日期，不代表论文的发表时间）