基于UPPAAL的RFID定位系统准确性验证

• 作者: 金仙力 陈楚娇
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: RFID定位系统 时间自动机 UPPAAL 模型验证
• 年，卷（期）: 2016,（9）
• 所属期刊栏目: 应用开发研究
• 页码范围: 104-108,113
• 页数: 6页
• 分类号: TP393
• 字数: 4504字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2016.09.024

摘要

随着移动通信和移动定位技术的快速发展，极大地推动了移动目标定位系统的发展。对于移动目标实时定位需求的与日俱增，人们更加注重移动目标实时定位的准确性和可靠性。介绍了时间自动机理论，并分析了基于RFID技术的移动定位处理流程。采用时间自动机模型对移动定位系统进行形式化分析，分别对定位系统的四个核心模块—标签、阅读器、数据库和处理器进行建模。为了验证定位系统的可靠性，通过构建各个模块中的动作行为状态，判定不同行为状态之间的转换是否满足时间约束条件。采用模型检测工具UPPAAL对建模后的定位系统进行活性验证和安全性验证分析。实验结果表明：所设计的定位模型不存在死锁问题，满足系统的安全性并能确保移动目标的精确定位。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	金仙力	南京邮电大学计算机学院软件学院	14	81	5.0	8.0
2	陈楚娇	南京邮电大学计算机学院软件学院	1	3	1.0	1.0