Kai Zheng, Zhe Zhang, Liyou Fang, Yi-Bin Song, Xin Huang
{"title":"软件定义光伏能源系统可靠性评估","authors":"Kai Zheng, Zhe Zhang, Liyou Fang, Yi-Bin Song, Xin Huang","doi":"10.1109/DCABES50732.2020.00038","DOIUrl":null,"url":null,"abstract":"In order to face the challenge of air pollution, renewable energy sources attract more attention. Photovoltaic (PV) energy system is one of renewable energy systems. It has many advantages include: small scaled, no air pollution and so on. However, lack of flexible control of this system weaken the reliability of it. A new architecture, Software Defined PV Energy System (SDPVES) is designed to solve the problem. The users can remotely upload new algorithms to the converters to change the functions of PV energy system. However, how to improve the architecture design of the SDPVES become a challenge. In this paper, Markov models are used to analyze the reliability of different SDPVES architectures. The tool for model checking is PRISM. The influence of different components is analyzed. What's more, the comparison of different architectures is also shown.","PeriodicalId":351404,"journal":{"name":"2020 19th International Symposium on Distributed Computing and Applications for Business Engineering and Science (DCABES)","volume":"60 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2020-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Reliability Evaluation of Software Defined Photovoltaic Energy System\",\"authors\":\"Kai Zheng, Zhe Zhang, Liyou Fang, Yi-Bin Song, Xin Huang\",\"doi\":\"10.1109/DCABES50732.2020.00038\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In order to face the challenge of air pollution, renewable energy sources attract more attention. Photovoltaic (PV) energy system is one of renewable energy systems. It has many advantages include: small scaled, no air pollution and so on. However, lack of flexible control of this system weaken the reliability of it. A new architecture, Software Defined PV Energy System (SDPVES) is designed to solve the problem. The users can remotely upload new algorithms to the converters to change the functions of PV energy system. However, how to improve the architecture design of the SDPVES become a challenge. In this paper, Markov models are used to analyze the reliability of different SDPVES architectures. The tool for model checking is PRISM. The influence of different components is analyzed. What's more, the comparison of different architectures is also shown.\",\"PeriodicalId\":351404,\"journal\":{\"name\":\"2020 19th International Symposium on Distributed Computing and Applications for Business Engineering and Science (DCABES)\",\"volume\":\"60 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2020-10-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2020 19th International Symposium on Distributed Computing and Applications for Business Engineering and Science (DCABES)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/DCABES50732.2020.00038\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2020 19th International Symposium on Distributed Computing and Applications for Business Engineering and Science (DCABES)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/DCABES50732.2020.00038","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Reliability Evaluation of Software Defined Photovoltaic Energy System
In order to face the challenge of air pollution, renewable energy sources attract more attention. Photovoltaic (PV) energy system is one of renewable energy systems. It has many advantages include: small scaled, no air pollution and so on. However, lack of flexible control of this system weaken the reliability of it. A new architecture, Software Defined PV Energy System (SDPVES) is designed to solve the problem. The users can remotely upload new algorithms to the converters to change the functions of PV energy system. However, how to improve the architecture design of the SDPVES become a challenge. In this paper, Markov models are used to analyze the reliability of different SDPVES architectures. The tool for model checking is PRISM. The influence of different components is analyzed. What's more, the comparison of different architectures is also shown.