Model Checking nRF24L01-Based Internet of Things Systems

Jiamin Wang; MIlin Wang; Kai Zheng; Xin Huang

doi:10.1109/ITME.2018.00194

Model Checking nRF24L01-Based Internet of Things Systems

Jiamin Wang
, MIlin Wang
, Kai Zheng
, Xin Huang

School of Advanced Technology

Xi'an Jiaotong-Liverpool University

Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

9 Citations (Scopus)

Abstract

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.

Original language	English
Title of host publication	Proceedings - 9th International Conference on Information Technology in Medicine and Education, ITME 2018
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	867-871
Number of pages	5
ISBN (Electronic)	9781538677438
DOIs	https://doi.org/10.1109/ITME.2018.00194
Publication status	Published - 26 Dec 2018
Event	9th International Conference on Information Technology in Medicine and Education, ITME 2018 - Hangzhou, Zhejiang, China Duration: 19 Oct 2018 → 21 Oct 2018

Publication series

Name	Proceedings - 9th International Conference on Information Technology in Medicine and Education, ITME 2018

Conference

Conference	9th International Conference on Information Technology in Medicine and Education, ITME 2018
Country/Territory	China
City	Hangzhou, Zhejiang
Period	19/10/18 → 21/10/18

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

SDG 7 Affordable and Clean Energy

Keywords

CTMC
Internet of things (IoT)
Model checking
NRF24L01
PRISM
Photovoltaic (PV)
Raspberry Pi (RPi)

Access to Document

10.1109/ITME.2018.00194

Cite this

Wang, J., Wang, MI., Zheng, K., & Huang, X. (2018). Model Checking nRF24L01-Based Internet of Things Systems. In Proceedings - 9th International Conference on Information Technology in Medicine and Education, ITME 2018 (pp. 867-871). Article 8589426 (Proceedings - 9th International Conference on Information Technology in Medicine and Education, ITME 2018). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ITME.2018.00194

Wang, Jiamin ; Wang, MIlin ; Zheng, Kai et al. / Model Checking nRF24L01-Based Internet of Things Systems. Proceedings - 9th International Conference on Information Technology in Medicine and Education, ITME 2018. Institute of Electrical and Electronics Engineers Inc., 2018. pp. 867-871 (Proceedings - 9th International Conference on Information Technology in Medicine and Education, ITME 2018).

@inproceedings{2258e759bda24d3ca1a0dcf5ec34fb60,

title = "Model Checking nRF24L01-Based Internet of Things Systems",

abstract = "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.",

keywords = "CTMC, Internet of things (IoT), Model checking, NRF24L01, PRISM, Photovoltaic (PV), Raspberry Pi (RPi)",

author = "Jiamin Wang and MIlin Wang and Kai Zheng and Xin Huang",

note = "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: {\textcopyright} 2018 IEEE.; 9th International Conference on Information Technology in Medicine and Education, ITME 2018 ; Conference date: 19-10-2018 Through 21-10-2018",

year = "2018",

month = dec,

day = "26",

doi = "10.1109/ITME.2018.00194",

language = "English",

series = "Proceedings - 9th International Conference on Information Technology in Medicine and Education, ITME 2018",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "867--871",

booktitle = "Proceedings - 9th International Conference on Information Technology in Medicine and Education, ITME 2018",

}

Wang, J, Wang, MI, Zheng, K & Huang, X 2018, Model Checking nRF24L01-Based Internet of Things Systems. in Proceedings - 9th International Conference on Information Technology in Medicine and Education, ITME 2018., 8589426, Proceedings - 9th International Conference on Information Technology in Medicine and Education, ITME 2018, Institute of Electrical and Electronics Engineers Inc., pp. 867-871, 9th International Conference on Information Technology in Medicine and Education, ITME 2018, Hangzhou, Zhejiang, China, 19/10/18. https://doi.org/10.1109/ITME.2018.00194

Model Checking nRF24L01-Based Internet of Things Systems. / Wang, Jiamin; Wang, MIlin; Zheng, Kai et al.
Proceedings - 9th International Conference on Information Technology in Medicine and Education, ITME 2018. Institute of Electrical and Electronics Engineers Inc., 2018. p. 867-871 8589426 (Proceedings - 9th International Conference on Information Technology in Medicine and Education, ITME 2018).

Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

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 - https://www.scopus.com/pages/publications/85061334457

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 -

Wang J, Wang MI, Zheng K, Huang X. Model Checking nRF24L01-Based Internet of Things Systems. In Proceedings - 9th International Conference on Information Technology in Medicine and Education, ITME 2018. Institute of Electrical and Electronics Engineers Inc. 2018. p. 867-871. 8589426. (Proceedings - 9th International Conference on Information Technology in Medicine and Education, ITME 2018). doi: 10.1109/ITME.2018.00194

Model Checking nRF24L01-Based Internet of Things Systems

Abstract

Publication series

Conference

UN SDGs

Keywords

Access to Document

Other files and links

Fingerprint

Cite this