基于UPPAAL的复杂定时数据建模
李真1
王从银2
庄雷1
1.郑州大学信息工程学院,郑州,4500012.郑州大学信息工程学院,郑州450001;吉首大学数学与计算机科学学院,湖南吉首416000
摘要：针对路由协议中复杂定时数据建模的难题,提出一种基于离散和抽象的建模方法.该建模方法中,各条复杂定时数据的生存时间被离散化为时间分片,并用时间分片数量表示对应数据的生存时间.采用轮询策略周期性地检查数据的生存时间并更新数据.以路由协议中的链路保持特性为例,在建模过程中运用所提出的方法,对路由协议的链路保持功能和链路断开的敏感性进行验证.结果表明,这种建模方法可应用于复杂定时数据的建模.
关键词：时间自动机UPPAAL建模时间分片
分类号：TP301(计算技术、计算机技术)
资助基金：河南省科技攻关计划(122102210042)
论文发表日期：2014-07-02
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：5( 28-32 )
英文信息