10.3969/j.issn.1000-3428.2007.22.003
基于UPPAAL的数据关联时序有限自动机模型验证
对数据关联过程建立了时序有限自动机模型,时序有限自动机时钟变量只取整数值,从而减小数据关联过程生成的状态空间.在一定的时间约束下,使用模型检测工具UPPAAL对所建模型的关键性质--关联准确性进行了分析和验证.检测结果验证了利用UPPAAL进行数据关联准确性分析的可行性.
数据关联、时序有限自动机、模型检测
33
TP311(计算技术、计算机技术)
2008-01-14(万方平台首次上网日期,不代表论文的发表时间)
共4页
6-8,11