可信软件的基础理论与技术及其在电网调度中心继电保护软件系统中的初步应用研究

项目名称： 可信软件的基础理论与技术及其在电网调度中心继电保护软件系统中的初步应用研究

项目编号： No.50907024

项目类型： 青年科学基金项目

立项/批准年度： 2010

项目学科： 金属学与金属工艺

项目作者： 石东源

作者单位： 华中科技大学

项目金额： 20万元

中文摘要： 软件可信性问题是近年来国内外软件领域研究的热点问题之一，其目标是通过对软件综合可信度量理论、软件构建过程理论和方法的研究来提高软件系统的可信性。随着软件在电力系统自动化与信息化建设中重要性的增加，其可信性问题日益突出，不可信软件对电网安全运行的潜在威胁不容忽视。本项目首次提出在电力系统软件研发领域跟踪计算机领域中的可信软件基础研究，并结合其在电网调度中心继电保护在线整定计算系统中的应用开展研究，具有重要的探索性意义。研究内容包括，研究基于领域知识的可信性需求分析理论和方法及其应用，研究基于契约设计和形式化验证的组件可信质量模型及保证方法，研究继电保护定值在线计算与修改的安全性评估方法，研究基于工作流的继电保护在线整定计算软件可信过程管理方法，并最终构筑电网继电保护在线整定计算原型软件，通过实际试验对软件的可信性进行评估，该软件的可信和实用化将对电网继电保护整定计算产生深远影响。

中文关键词： 可信软件；电网；继电保护；在线整定；

英文摘要：

英文关键词： High Confidence Software；Power Grid；Protection Relay；Online Coordination；