论文部分内容阅读
随着物联网的高速发展,无线射频识别(Radio Frequency Identification,RFID)技术的应用范围越来越广泛,快速多样化的发展对RFID技术的适应性、灵活性及可维护性有了更高的要求,RFID中间件由此应运而生。RFID中间件能够处理来自读写器的原始标签信息,提供上层应用所感兴趣的、有效的数据,使上层应用与读写器等RFID硬件设备能够连接起来。RFID中间件从本质上来说是一个软件系统,而软件系统的缺陷和漏洞难以避免,如何保证对它的可靠性成为影响RFID系统稳定运行的关键。B方法是目前应用比较广泛的形式化方法之一,它建立在严格的数学基础之上,通过一系列的证明义务来证明系统构造的正确性,进而保证设计的正确性和系统的可靠性。本文根据EPCglobal提出的RFID系统架构中对应RFID中间件的应用层事件(Application Level Event,ALE)标准进行RFID中间件的模块划分和非形式化的设计,然后按照B方法软件开发的一般流程对系统进行设计和开发。文章首先介绍了RFID、RFID中间件和ALE标准的相关背景知识,在全面了解了B方法的数学基础、验证理论和开发过程的基础上,提炼出B方法提高软件可靠性的有利因素。然后根据应用层事件标准将RFID中间件系统划分为事件处理、访问控制和硬件管理三大模块,结合标准中相关接口的设定对RFID中间件各模块进行非形式化的设计,得到各模块的UML类图。使用B方法对模块进行形式化分析和设计,得到系统的形式化抽象模型。最后按照B方法软件开发的一般流程以事件处理模块为例,使用Atelier B工具完成抽象模型的正确性证明和自动精化,得到了模块的实现模型及自动生成的代码。