[1]金仙力,陈楚娇. 基于UPPAAL的RFID定位系统准确性验证[J].计算机技术与发展,2016,26(09):104-108.
　JIN Xian-li,CHEN Chu-jiao. Accuracy Verification of RFID Positioning System Based on UPPAAL[J].,2016,26(09):104-108.
点击复制

 基于UPPAAL的RFID定位系统准确性验证()
分享到：

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:
26
期数:
2016年09期
页码:
104-108
栏目:
应用开发研究
出版日期:
2016-09-10

文章信息/Info

Title:
 Accuracy Verification of RFID Positioning System Based on UPPAAL
文章编号:
1673-629X（2016)09-0104-05
作者:
 金仙力; 陈楚娇
 南京邮电大学 计算机学院 软件学院
Author(s):
 JIN Xian-li ; CHEN Chu-jiao
关键词:
 ; RFID定位系统; 时间自动机; UPPAAL; 模型验证
Keywords:
 ; RFID positioning system; time automaton; UPPAAL; model validation
分类号:
TP393
文献标志码:
A
摘要:
 随着移动通信和移动定位技术的快速发展，极大地推动了移动目标定位系统的发展。对于移动目标实时定位需求的与日俱增，人们更加注重移动目标实时定位的准确性和可靠性。介绍了时间自动机理论，并分析了基于RFID技术的移动定位处理流程。采用时间自动机模型对移动定位系统进行形式化分析，分别对定位系统的四个核心模块—标签、阅读器、数据库和处理器进行建模。为了验证定位系统的可靠性，通过构建各个模块中的动作行为状态，判定不同行为状态之间的转换是否满足时间约束条件。采用模型检测工具UPPAAL对建模后的定位系统进行活性验证和安全性验证分析。实验结果表明：所设计的定位模型不存在死锁问题，满足系统的安全性并能确保移动目标的精确定位。
Abstract:
 Mobile positioning systems are greatly promoted with the rapid development of mobile communication and positioning technol-ogy. Due to the increasing demands of real-time moving targets positioning,the accuracy and reliability of real-time positioning for mov-ing target is paid more attention. The time automaton theory is introduced and the process of mobile positioning based on RFID technolo-gy is analyzed in this paper. The mobile positioning system is formally analyzed by time automaton model. Four core modules,including tag,reader,database and processor,are respectively modeled. In order to verify the reliability of positioning system,through the construc-tion of state action in each model,it makes sure whether the conversion between different decision behavior state can meet the time con-straints. Active authentication and security verification of positioning system are analyzed by checking tool UPPAAL. The experimental results show that the positioning model exists no deadlock problems,with enough safety and accuracy positioning of the moving target.

相似文献/References:

[1]张志宏,吴庆波,邵立松,等.基于飞腾平台TOE协议栈的设计与实现[J].计算机技术与发展,2014,24(07):1.
　ZHANG Zhi-hong,WU Qing-bo,SHAO Li-song,et al. Design and Implementation of TCP/IP Offload Engine Protocol Stack Based on FT Platform[J].,2014,24(09):1.
[2]梁文快,李毅. 改进的基因表达算法对航班优化排序问题研究[J].计算机技术与发展,2014,24(07):5.
　LIANG Wen-kuai,LI Yi. Research on Optimization of Flight Scheduling Problem Based on Improved Gene Expression Algorithm[J].,2014,24(09):5.
[3]黄静,王枫,谢志新,等. EAST文档管理系统的设计与实现[J].计算机技术与发展,2014,24(07):13.
　HUANG Jing,WANG Feng,XIE Zhi-xin,et al. Design and Implementation of EAST Document Management System[J].,2014,24(09):13.
[4]侯善江[],张代远[][][]. 基于样条权函数神经网络P2P流量识别方法[J].计算机技术与发展,2014,24(07):21.
　HOU Shan-jiang[],ZHANG Dai-yuan[][][]. P2P Traffic Identification Based on Spline Weight Function Neural Network[J].,2014,24(09):21.
[5]李璨,耿国华,李康,等. 一种基于三维模型的文物碎片线图生成方法[J].计算机技术与发展,2014,24(07):25.
　LI Can,GENG Guo-hua,LI Kang,et al. A Method of Obtaining Cultural Debris’ s Line Chart Based on Three-dimensional Model[J].,2014,24(09):25.
[6]翁鹤,皮德常. 混沌RBF神经网络异常检测算法[J].计算机技术与发展,2014,24(07):29.
　WENG He,PI De-chang. Chaotic RBF Neural Network Anomaly Detection Algorithm[J].,2014,24(09):29.
[7]刘茜[],荆晓远[],李文倩[],等. 基于流形学习的正交稀疏保留投影[J].计算机技术与发展,2014,24(07):34.
　LIU Qian[],JING Xiao-yuan[,LI Wen-qian[],et al. Orthogonal Sparsity Preserving Projections Based on Manifold Learning[J].,2014,24(09):34.
[8]尚福华,李想,巩淼. 基于模糊框架-产生式知识表示及推理研究[J].计算机技术与发展,2014,24(07):38.
　SHANG Fu-hua,LI Xiang,GONG Miao. Research on Knowledge Representation and Inference Based on Fuzzy Framework-production[J].,2014,24(09):38.
[9]叶偲,李良福,肖樟树. 一种去除运动目标重影的图像镶嵌方法研究[J].计算机技术与发展,2014,24(07):43.
　YE Si,LI Liang-fu,XIAO Zhang-shu. Research of an Image Mosaic Method for Removing Ghost of Moving Targets[J].,2014,24(09):43.
[10]余松平[][],蔡志平[],吴建进[],等. GSM-R信令监测选择录音系统设计与实现[J].计算机技术与发展,2014,24(07):47.
　YU Song-ping[][],CAI Zhi-ping[] WU Jian-jin[],GU Feng-zhi[]. Design and Implementation of an Optional Voice Recording System Based on GSM-R Signaling Monitoring[J].,2014,24(09):47.

更新日期/Last Update: 2016-10-25