Model checking of IoT system in microgrid

Lulu Liang; Kai Zheng; Zilong Wei; Yanmei Wang; Sihan Wu; Xin Huang

doi:10.1109/ITME.2016.0142

Model checking of IoT system in microgrid

Lulu Liang
, Kai Zheng
, Zilong Wei
, Yanmei Wang
, Sihan Wu
, Xin Huang

School of Advanced Technology

China Information Technology Security Evaluation Center
Xi'an Jiaotong-Liverpool University

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

3 Citations (Scopus)

Abstract

Due to the serious air pollution, the renewable energy sources had attracted more and more attention. In order to manage the renewable energy sources, the concept of microgrid is introduced. The IoT system can also be used in microgrid for the monitoring and control. However, how to verify the reliability of the system is still a problem. In this paper, the probabilistic model checking is used to verify the reliability of IoT system in microgrid. The results suggest the further improvement of IoT system in microgrid.

Original language	English
Title of host publication	Proceedings - 2016 8th International Conference on Information Technology in Medicine and Education, ITME 2016
Editors	Ying Dai, Shaozi Li, Yun Cheng
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	601-604
Number of pages	4
ISBN (Electronic)	9781509039050
DOIs	https://doi.org/10.1109/ITME.2016.0142
Publication status	Published - 12 Jul 2017
Event	8th International Conference on Information Technology in Medicine and Education, ITME 2016 - Fuzhou, China Duration: 23 Dec 2016 → 25 Dec 2016

Publication series

Name	Proceedings - 2016 8th International Conference on Information Technology in Medicine and Education, ITME 2016

Conference

Conference	8th International Conference on Information Technology in Medicine and Education, ITME 2016
Country/Territory	China
City	Fuzhou
Period	23/12/16 → 25/12/16

UN SDGs

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

SDG 7 Affordable and Clean Energy

Keywords

Internet of Things
Microgrid
Probablistic model checking

Access to Document

10.1109/ITME.2016.0142

Cite this

Liang, L., Zheng, K., Wei, Z., Wang, Y., Wu, S., & Huang, X. (2017). Model checking of IoT system in microgrid. In Y. Dai, S. Li, & Y. Cheng (Eds.), Proceedings - 2016 8th International Conference on Information Technology in Medicine and Education, ITME 2016 (pp. 601-604). Article 7976556 (Proceedings - 2016 8th International Conference on Information Technology in Medicine and Education, ITME 2016). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ITME.2016.0142

Liang, Lulu ; Zheng, Kai ; Wei, Zilong et al. / Model checking of IoT system in microgrid. Proceedings - 2016 8th International Conference on Information Technology in Medicine and Education, ITME 2016. editor / Ying Dai ; Shaozi Li ; Yun Cheng. Institute of Electrical and Electronics Engineers Inc., 2017. pp. 601-604 (Proceedings - 2016 8th International Conference on Information Technology in Medicine and Education, ITME 2016).

@inproceedings{fe103b33e2de4941891e5ab56a079654,

title = "Model checking of IoT system in microgrid",

abstract = "Due to the serious air pollution, the renewable energy sources had attracted more and more attention. In order to manage the renewable energy sources, the concept of microgrid is introduced. The IoT system can also be used in microgrid for the monitoring and control. However, how to verify the reliability of the system is still a problem. In this paper, the probabilistic model checking is used to verify the reliability of IoT system in microgrid. The results suggest the further improvement of IoT system in microgrid.",

keywords = "Internet of Things, Microgrid, Probablistic model checking",

author = "Lulu Liang and Kai Zheng and Zilong Wei and Yanmei Wang and Sihan Wu and Xin Huang",

note = "Funding Information: This work was supported in part by the Natural Science Foundation of China under Grant No. 61401517,in part by the National High Technology Research and Development Program({"}863{"}Program) of China under Grant No. 2015AA016001 Funding Information: ACKNOWLEDGEMENT This work has been supported by the XJTLU research development fund projects RDF140243 and RDF150246, as well as by the Suzhou Science and Technology Development Plan under grant SYG201516, and Jiangsu Province National Science Foundation under grant BK20150376. Publisher Copyright: {\textcopyright} 2016 IEEE.; 8th International Conference on Information Technology in Medicine and Education, ITME 2016 ; Conference date: 23-12-2016 Through 25-12-2016",

year = "2017",

month = jul,

day = "12",

doi = "10.1109/ITME.2016.0142",

language = "English",

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

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

pages = "601--604",

editor = "Ying Dai and Shaozi Li and Yun Cheng",

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

}

Liang, L, Zheng, K, Wei, Z, Wang, Y, Wu, S & Huang, X 2017, Model checking of IoT system in microgrid. in Y Dai, S Li & Y Cheng (eds), Proceedings - 2016 8th International Conference on Information Technology in Medicine and Education, ITME 2016., 7976556, Proceedings - 2016 8th International Conference on Information Technology in Medicine and Education, ITME 2016, Institute of Electrical and Electronics Engineers Inc., pp. 601-604, 8th International Conference on Information Technology in Medicine and Education, ITME 2016, Fuzhou, China, 23/12/16. https://doi.org/10.1109/ITME.2016.0142

Model checking of IoT system in microgrid. / Liang, Lulu; Zheng, Kai; Wei, Zilong et al.
Proceedings - 2016 8th International Conference on Information Technology in Medicine and Education, ITME 2016. ed. / Ying Dai; Shaozi Li; Yun Cheng. Institute of Electrical and Electronics Engineers Inc., 2017. p. 601-604 7976556 (Proceedings - 2016 8th International Conference on Information Technology in Medicine and Education, ITME 2016).

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

TY - GEN

T1 - Model checking of IoT system in microgrid

AU - Liang, Lulu

AU - Zheng, Kai

AU - Wei, Zilong

AU - Wang, Yanmei

AU - Wu, Sihan

AU - Huang, Xin

N1 - Funding Information: This work was supported in part by the Natural Science Foundation of China under Grant No. 61401517,in part by the National High Technology Research and Development Program("863"Program) of China under Grant No. 2015AA016001 Funding Information: ACKNOWLEDGEMENT This work has been supported by the XJTLU research development fund projects RDF140243 and RDF150246, as well as by the Suzhou Science and Technology Development Plan under grant SYG201516, and Jiangsu Province National Science Foundation under grant BK20150376. Publisher Copyright: © 2016 IEEE.

PY - 2017/7/12

Y1 - 2017/7/12

N2 - Due to the serious air pollution, the renewable energy sources had attracted more and more attention. In order to manage the renewable energy sources, the concept of microgrid is introduced. The IoT system can also be used in microgrid for the monitoring and control. However, how to verify the reliability of the system is still a problem. In this paper, the probabilistic model checking is used to verify the reliability of IoT system in microgrid. The results suggest the further improvement of IoT system in microgrid.

AB - Due to the serious air pollution, the renewable energy sources had attracted more and more attention. In order to manage the renewable energy sources, the concept of microgrid is introduced. The IoT system can also be used in microgrid for the monitoring and control. However, how to verify the reliability of the system is still a problem. In this paper, the probabilistic model checking is used to verify the reliability of IoT system in microgrid. The results suggest the further improvement of IoT system in microgrid.

KW - Internet of Things

KW - Microgrid

KW - Probablistic model checking

UR - https://www.scopus.com/pages/publications/85027728154

U2 - 10.1109/ITME.2016.0142

DO - 10.1109/ITME.2016.0142

M3 - Conference Proceeding

AN - SCOPUS:85027728154

T3 - Proceedings - 2016 8th International Conference on Information Technology in Medicine and Education, ITME 2016

SP - 601

EP - 604

BT - Proceedings - 2016 8th International Conference on Information Technology in Medicine and Education, ITME 2016

A2 - Dai, Ying

A2 - Li, Shaozi

A2 - Cheng, Yun

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 8th International Conference on Information Technology in Medicine and Education, ITME 2016

Y2 - 23 December 2016 through 25 December 2016

ER -

Liang L, Zheng K, Wei Z, Wang Y, Wu S, Huang X. Model checking of IoT system in microgrid. In Dai Y, Li S, Cheng Y, editors, Proceedings - 2016 8th International Conference on Information Technology in Medicine and Education, ITME 2016. Institute of Electrical and Electronics Engineers Inc. 2017. p. 601-604. 7976556. (Proceedings - 2016 8th International Conference on Information Technology in Medicine and Education, ITME 2016). doi: 10.1109/ITME.2016.0142

Model checking of IoT system in microgrid

Abstract

Publication series

Conference

UN SDGs

Keywords

Access to Document

Other files and links

Fingerprint

Cite this