GB 12172-1990 是中國核工業領域關于核電廠安全系統計算機軟件的重要技術規范，全稱為《核電廠安全系統計算機軟件安全規范》。該標準于1990年發布，旨在確保核電廠安全系統中使用的計算機軟件在開發、驗證、維護和運行階段的可靠性與安全性，防止因軟件故障導致核安全事故。

標準內容涵蓋軟件生命周期全過程，包括需求分析、設計、編碼、測試、文檔編制和配置管理等方面，強調軟件必須滿足高可靠性、可追溯性和容錯性要求。標準還對軟件的驗證與確認（V&V）流程提出嚴格規定，確保軟件在核電廠極端環境下仍能穩定運行。

值得注意的是，GB 12172-1990 屬于強制性國家標準，相關企業和機構在核電廠安全系統軟件開發中必須遵循其條款。作為國家正式標準文件，GB 12172-1990 受版權保護，不提供免費下載渠道。用戶需通過國家標準官方平臺（如國家標準全文公開系統）或授權機構獲取正版內容，以確保信息的準確性和合法性。擅自傳播或使用未授權版本可能面臨法律風險。

對于核電廠從業人員和軟件開發者而言，深入理解并應用該規范至關重要，它不僅是保障核安全的基石，也是推動行業技術標準化的重要依據。隨著技術進步，后續標準（如GB/T 13629系列）已對部分內容進行更新，但GB 12172-1990 仍具有歷史參考價值。