Application of Formalization Method in Construction ZigBee Technology and RFID System in Internet of Things
- DOI
- 10.2991/meic-15.2015.200How to use a DOI?
- Keywords
- RFID; ZigBee; Formalization method; BCCS; Internet of things
- Abstract
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.
- Copyright
- © 2015, the Authors. Published by Atlantis Press.
- Open Access
- This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).
Cite this article
TY - CONF AU - Chunlin Kuang AU - Weiling Li PY - 2015/04 DA - 2015/04 TI - Application of Formalization Method in Construction ZigBee Technology and RFID System in Internet of Things BT - Proceedings of the 2015 International Conference on Mechatronics, Electronic, Industrial and Control Engineering PB - Atlantis Press SP - 874 EP - 879 SN - 2352-5401 UR - https://doi.org/10.2991/meic-15.2015.200 DO - 10.2991/meic-15.2015.200 ID - Kuang2015/04 ER -