@inproceedings{b051e1c4b8f34baf949cb4088f468e01,
title = "Model checking PV energy system with remote reprogramming function",
abstract = "With the energy problems becoming serious, photovoltaic (PV) energy system attracts more and more attention. With the need of flexible control, the reliability of performance of the systems becomes more significant. In this paper, two models of the system with reprogramming function have been proposed. However, how to verify the reliability of the designed systems is a challenge. Thus this paper presents the probabilistic model checking technique with the tool of PRISM for the verification. The experimental results are expected to suggest the further improvements on distributed energy system construction.",
keywords = "Internet of Things (IoT), Model checking, PRISM, PV energy system, Remote reprogramming",
author = "Sihan Wu and Kai Zheng and Xin Huang",
note = "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.0143",
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 = "606--610",
editor = "Ying Dai and Shaozi Li and Yun Cheng",
booktitle = "Proceedings - 2016 8th International Conference on Information Technology in Medicine and Education, ITME 2016",
}
