Proceedings of the 2015 International Conference on Mechatronics, Electronic, Industrial and Control Engineering

Application of Formalization Method in Construction ZigBee Technology and RFID System in Internet of Things

Authors
Chunlin Kuang, Weiling Li
Corresponding Author
Chunlin Kuang
Available Online April 2015.
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)

Volume Title
Proceedings of the 2015 International Conference on Mechatronics, Electronic, Industrial and Control Engineering
Series
Advances in Engineering Research
Publication Date
April 2015
ISBN
978-94-62520-62-2
ISSN
2352-5401
DOI
10.2991/meic-15.2015.200How to use a DOI?
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  -