Application of Formalization Method in Construction ZigBee Technology and RFID System in Internet of Things
Chunlin Kuang, Weiling Li · 2015
RFID technology is the use of radio frequency signal through space coupling to achieve non-contact transmission of information through the transmission of information to automatically identify the purpose of technology.ZigBee protocol stack structure is composed of a set of the layer of the die block.Each layer is a layer above the execution of a set of specific services: data entity and data transmission service, management entity to provide all of the services.The paper presents application of formalization method in construction ZigBee technology and RFID system in Internet of things.Formal method is an important means to improve the system safety and reliability.BCCS model overcomes the shortcoming of the traditional method separates the information system of each facet.