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 - http://www.scopus.com/inward/record.url?scp=85027728154&partnerID=8YFLogxK
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 -
