[发明专利]一种核电厂安全级软件设计系统和方法

说明书

本发明涉及一种核电厂安全级软件设计系统和方法，包括：对核电厂安全级软件进行关键性分析、基线维护、跟踪配置管理，以确定核电厂安全级软件设计开发的基线内容的基线配置模块，根据基线内容对核电厂安全级软件进行设计开发获得开发内容的软件设计模块，根据软件设计模块的设计开发生成软件设计开发文档的文档生成模块，对软件设计开发过程中产生的变更进行记录的设计变更模块和对软件设计的关键信息进行线上审核并输出审核结果的专家评审模块；专家评审模块还基于变更内容进行线上审核并输出变更结果。本发明充分考虑核电厂的特有属性进行安全级软件设计开发，既能满足核电厂安全级软件设计的需求，同时还大大缩短研发周期，降低研发成本。

技术领域

本发明涉及核电厂的技术领域，更具体地说，涉及一种核电厂安全级软件设计系统和方法。

背景技术

随着核电站的智能化、网络化和数字化发展，软件的安全性和可靠性越来越引起核电厂单位以及相关部门的重视。安全级软件用于执行核电厂安全重要系统功能的软件，其失效可能直接或间接影响到系统或核设施的可靠性和经济性。因此，核电厂安全级软件的开发设计必须符合相关标准要求的质量管理和配置管理过程。

目前，随着关键设备的自主化研发，越来越多的包含新软件的自主化设备将应用于核电厂。由于软件研发单位对于核安全级软件的开发更多的关于功能的实现，而未充分考虑核电厂的特有属性，从而导致在对拟应用于执行核电厂安全级系统功能的软件鉴定评估时，软件研发单位需要投入大量的人力和物力对整个软件架构及相关质量保证和配置管理过程进行修改和完善，以满足核电厂安全级软件设计的需求，进而导致研发周长加长，研发成本增加。

发明内容

本发明要解决的技术问题在于，针对现有技术的上述缺陷，提供一种核电厂安全级软件设计系统和方法。

本发明解决其技术问题所采用的技术方案是：构造一种核电厂安全级软件设计系统，包括：基线配置模块、软件设计模块、文档生成模块、设计变更模块以及专家评审模块；

所述基线配置模块用于对核电厂安全级软件进行关键性分析、基线维护、跟踪配置管理，以确定核电厂安全级软件设计开发的基线内容；

所述软件设计模块用于根据所述基线内容对核电厂安全级软件进行设计开发，获得开发内容；

所述文档生成模块用于根据所述软件设计模块的设计开发生成软件设计开发文档；

所述设计变更模块用于对软件设计开发过程中产生的变更进行记录，并将变更内容发送给所述专家评审模块；

所述专家评审模块用于对所述基线配置模块、所述软件设计模块和所述文档生成模块中的软件设计的关键信息进行线上审核，并输出审核结果；所述专家评审模块还用于基于所述变更内容进行线上审核并反馈给所述基线配置模块、所述软件设计模块和所述文档生成模块中的任意一个或者多种，并将结果反馈给所述设计变更模块。

在本发明所述的核电厂安全级软件设计系统中，所述基线维护包括：对软件开发的设计输入的维护管理；所述软件开发的设计输入包括：软件开发合同、用户需求、软件设计标准要求、软件开发需求的版本、编码、日期、签字人和审核人。

在本发明所述的核电厂安全级软件设计系统中，所述软件设计模块用于根据所述基线内容对核电厂安全级软件进行设计开发包括：

所述软件设计模块基于所述基线内容完成核电厂安全级软件开发生命周期内的软件需求设计、追溯性分析设计、故障自诊断设计、安全防范性和定期试验设计。

在本发明所述的核电厂安全级软件设计系统中，所述软件设计模块包括：追溯性子模块；

所述追溯性子模块用于进行软件从设计基线到最终软件集成的追溯性设计。

在本发明所述的核电厂安全级软件设计系统中，所述软件设计模块还包括：故障自诊断模块；