随着物联网的高速发展，无线射频识别(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工具完成抽象模型的正确性证明和自动精化，得到了模块的实现模型及自动生成的代码。