论文部分内容阅读
智能电网大规模事故给人们生活带来了严重后果,经过专家学者对控制系统软件可靠性的研究得出,某些软件可靠性模型在处理软件可靠性评估和故障诊断时无法得到良好的效果,因此如何构建适应智能电网控制系统的软件可靠性模型成为本文研究的核心问题。本文目标是采用基于形式化的软件可靠性模型构建高可靠性的软件运行模式。以现有的电网控制系统软件可靠性研究入手,分析电网及其控制系统特性,把控软件可靠性模型的基本要素,利用形式化方法的严谨性和一致性解决软件可靠性评估中遇到的二义性等问题,使用贝叶斯网络解决电网控制系统软件模块化