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/).

Download article (PDF)

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  -