Multi-Agent Based Formal Verification of Data in RFID Middleware

As the load of traffic increases in RFID middleware, RFID system can no longer manage the RFID tags. Because of the incapability of the RFID system to handle vast amount of RFID tags, there are possibilities that the data cannot be processed efficiently in the RFID middleware. Implementation of agent technology is useful for verification and validation in RFID system architecture because intelligent agent is autonomous and has the capability to define specific verification process to increase efficiency and trustworthiness of the data in RFID middleware. Therefore, in this research, the authors have implemented the multi-agent based verification of data in RFID middleware. The results of the implementation have been encouraging based on the investigation and verification done on the simulation platform. As a result, the verification of RFID middleware system architecture is clearly understood and has been successfully implemented in RFID system.