核反應堆儀控系統軟件驗證與確認過程研究

肖安洪，楊大為，曾 輝，蔣 亮，陳曉凡

(中國核動力研究設計院核反應堆系統設計技術重點實驗室，四川 成都 610041)

核反應堆儀控系統軟件驗證與確認過程研究

肖安洪，楊大為，曾 輝，蔣 亮，陳曉凡

(中國核動力研究設計院核反應堆系統設計技術重點實驗室，四川 成都 610041)

儀控系統通過軟件程序和硬件設備對核反應堆進行監測、運行以及安全保護，對核安全具有重要作用。為保證儀控系統中軟件的安全性、可靠性，需要在軟件生命周期過程中，開展驗證與確認工作。論述了在核反應堆儀控系統軟件開發過程中需要定義的驗證與確認階段，對每個階段驗證與確認的活動、輸入、輸出進行定義，以指導軟件驗證與確認工作的有效實施。

反應堆；儀控系統；軟件；驗證與確認

隨著數字化的發展，軟件的應用領域不斷擴展，模擬儀控系統被數字化儀控系統取代是普遍趨勢，因為數字化儀控系統具有如下優點：1)系統靈活，易維護，具有冗余、容錯、故障安全等功能；2)使用通訊網絡進行數據傳輸，提供數據傳輸的安全性和可靠性；3)系統邏輯運算能力強大，計算效率和精度高；4)成本低，安全性高。國外儀控系統的數字化研究較早，并推出了成熟的商業化產品，如西門子公司的TELEPERM XP、TELEPERM XS等，廣泛應用于核電廠儀控系統。國內數字化儀控系統數字化研發進展相對緩慢，直到現在還未推出成熟的、具有自主知識產權的數字化儀控系統產品，嚴重制約了我國核行業的發展，對國家“核電走出去”戰略也帶來不利影響。……