论文部分内容阅读
Because of the smart grid control system controls the whole smart grid operation; the reliability of the software problem has received the unprecedented attention.Using formal method has many advantages which other methods cannot easily find,such as find inconsistency,ambiguity and incompleteness when describing software.This article focuses on the software reliability evaluation in smart grid control system based on Bayesian method,which makes smart grid control system software achieve high reliability.