[發明專利]一種核電廠安全級軟件設計系統和方法

在審

• 申請號: 202110313444.0
• 申請日: 2021-03-24
• 公開（公告）號: CN113010152A
• 公開（公告）日: 2021-06-22
• 發明（設計）人: 梁慧慧;葉王平;劉偉;謝紅云;盧超;王升超;席望;張超;唐建中;熊偉;凡陽陽
• 申請（專利權）人: 中廣核工程有限公司;深圳中廣核工程設計有限公司;中國廣核集團有限公司;中國廣核電力股份有限公司
• 主分類號: G06F8/20
• 分類號: G06F8/20;G06F8/38;G06Q10/06
• 代理公司: 深圳市瑞方達知識產權事務所(普通合伙) 44314
• 代理人: 馮小梅

1.一種核電廠安全級軟件設計系統，其特征在于，包括：基線配置模塊、軟件設計模塊、文檔生成模塊、設計變更模塊以及專家評審模塊；

所述基線配置模塊用于對核電廠安全級軟件進行關鍵性分析、基線維護、跟蹤配置管理，以確定核電廠安全級軟件設計開發的基線內容；

所述軟件設計模塊用于根據所述基線內容對核電廠安全級軟件進行設計開發，獲得開發內容；

所述文檔生成模塊用于根據所述軟件設計模塊的設計開發生成軟件設計開發文檔；

所述設計變更模塊用于對軟件設計開發過程中產生的變更進行記錄，并將變更內容發送給所述專家評審模塊；

所述專家評審模塊用于對所述基線配置模塊、所述軟件設計模塊和所述文檔生成模塊中的軟件設計的關鍵信息進行線上審核，并輸出審核結果；所述專家評審模塊還用于基于所述變更內容進行線上審核并反饋給所述基線配置模塊、所述軟件設計模塊和所述文檔生成模塊中的任意一個或者多種，并將結果反饋給所述設計變更模塊。

2.根據權利要求1所述的核電廠安全級軟件設計系統，其特征在于，所述基線維護包括：對軟件開發的設計輸入的維護管理；所述軟件開發的設計輸入包括：軟件開發合同、用戶需求、軟件設計標準要求、軟件開發需求的版本、編碼、日期、簽字人和審核人。

3.根據權利要求1所述的核電廠安全級軟件設計系統，其特征在于，所述軟件設計模塊用于根據所述基線內容對核電廠安全級軟件進行設計開發包括：

所述軟件設計模塊基于所述基線內容完成核電廠安全級軟件開發生命周期內的軟件需求設計、追溯性分析設計、故障自診斷設計、安全防范性和定期試驗設計。

4.根據權利要求3所述的核電廠安全級軟件設計系統，其特征在于，所述軟件設計模塊包括：追溯性子模塊；

所述追溯性子模塊用于進行軟件從設計基線到最終軟件集成的追溯性設計。

5.根據權利要求4所述的核電廠安全級軟件設計系統，其特征在于，所述軟件設計模塊還包括：故障自診斷模塊；

所述故障自診斷模塊用于進行核電廠安全級軟件故障模式識別和故障自診斷功能設計。

6.根據權利要求5所述的核電廠安全級軟件設計系統，其特征在于，所述軟件設計模塊還包括：安全防范性子模塊；

所述安全防范性子模塊用于對核電廠安全級軟件的安全防范性進行分析和制定安全策略。

7.根據權利要求6所述的核電廠安全級軟件設計系統，其特征在于，所述軟件設計模塊還包括：定期試驗子模塊；

所述定期試驗子模塊用于對核電廠安全軟件的安全性和可靠性進行定期試驗設計。

8.根據權利要求1-7任一項所述的核電廠安全級軟件設計系統，其特征在于，所述開發文檔包括：軟件需求文檔、設計文檔、實現文檔、集成設計文檔和測試說明文檔。

9.一種核電廠安全級軟件設計方法，其特征在于，包括：

步驟S1、對核電廠安全級軟件進行關鍵性分析、基線維護、跟蹤配置管理，以確定核電廠安全級軟件設計開發的基線內容；

步驟S2、根據所述基線內容對核電廠安全級軟件進行設計開發，獲得開發內容；

步驟S3、根據所述開發內容生成軟件設計的開發文檔。

10.根據權利要求9所述的核電廠安全級軟件設計方法，其特征在于，所述方法還包括：

在執行所述步驟S1、所述步驟S2和所述步驟S3過程，對所述步驟S1、所述步驟S2和所述步驟S3中的軟件設計的關鍵信息進行線上審核，并輸出審核結果。

11.根據權利要求9所述的核電廠安全級軟件設計方法，其特征在于，所述方法還包括：

接收變更信息；

基于所述變更信息進行記錄，獲得變更內容；

對所述變更內容進行線上審核。