TY - GEN
T1 - Model Checking nRF24L01-Based Internet of Things Systems
AU - Wang, Jiamin
AU - Wang, MIlin
AU - Zheng, Kai
AU - Huang, Xin
N1 - Funding Information:
This work was supported by the XJTLU research development fund projects under Grant RDF140243 and Grant RDF150246, in part by the National Natural Science Foundation of China under Grant No. 61701418, in part by Innovation Projects of The Next Generation Internet Technology under Grant NGII20170301, in part by the Suzhou Science and Technology Development Plan under Grant SYG201516, and in part by the Jiangsu Province National Science Foundation under Grant BK20150376.
Publisher Copyright:
© 2018 IEEE.
PY - 2018/12/26
Y1 - 2018/12/26
N2 - In order to solve the consumption of energy problem, Internet of Things (IoT) monitoring network in photovoltaic (PV) energy system based on nRF24L01 system is developed. Therefore, the system has higher performance by connecting the physical world with the network system with lower energy consumption in data transmission. However, the failure rate of each components leads to the decrease of the reliability of the system, which directly affects the reliability of the whole transmission system. This paper intends to analyze two architectures of IoT information transmission. The reliability of the architectures will be tested by PRISM. Additionally, the experimental results are helpful to contribute to improve the reliability of IoT.
AB - In order to solve the consumption of energy problem, Internet of Things (IoT) monitoring network in photovoltaic (PV) energy system based on nRF24L01 system is developed. Therefore, the system has higher performance by connecting the physical world with the network system with lower energy consumption in data transmission. However, the failure rate of each components leads to the decrease of the reliability of the system, which directly affects the reliability of the whole transmission system. This paper intends to analyze two architectures of IoT information transmission. The reliability of the architectures will be tested by PRISM. Additionally, the experimental results are helpful to contribute to improve the reliability of IoT.
KW - CTMC
KW - Internet of things (IoT)
KW - Model checking
KW - NRF24L01
KW - PRISM
KW - Photovoltaic (PV)
KW - Raspberry Pi (RPi)
UR - http://www.scopus.com/inward/record.url?scp=85061334457&partnerID=8YFLogxK
U2 - 10.1109/ITME.2018.00194
DO - 10.1109/ITME.2018.00194
M3 - Conference Proceeding
AN - SCOPUS:85061334457
T3 - Proceedings - 9th International Conference on Information Technology in Medicine and Education, ITME 2018
SP - 867
EP - 871
BT - Proceedings - 9th International Conference on Information Technology in Medicine and Education, ITME 2018
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 9th International Conference on Information Technology in Medicine and Education, ITME 2018
Y2 - 19 October 2018 through 21 October 2018
ER -
