GB 12172-1990 是中国核工业领域关于核电厂安全系统计算机软件的重要技术规范，全称为《核电厂安全系统计算机软件安全规范》。该标准于1990年发布，旨在确保核电厂安全系统中使用的计算机软件在开发、验证、维护和运行阶段的可靠性与安全性，防止因软件故障导致核安全事故。
标准内容涵盖软件生命周期全过程，包括需求分析、设计、编码、测试、文档编制和配置管理等方面，强调软件必须满足高可靠性、可追溯性和容错性要求。标准还对软件的验证与确认（V&V）流程提出严格规定，确保软件在核电厂极端环境下仍能稳定运行。
值得注意的是，GB 12172-1990 属于强制性国家标准，相关企业和机构在核电厂安全系统软件开发中必须遵循其条款。作为国家正式标准文件，GB 12172-1990 受版权保护，不提供免费下载渠道。用户需通过国家标准官方平台（如国家标准全文公开系统）或授权机构获取正版内容，以确保信息的准确性和合法性。擅自传播或使用未授权版本可能面临法律风险。
对于核电厂从业人员和软件开发者而言，深入理解并应用该规范至关重要，它不仅是保障核安全的基石，也是推动行业技术标准化的重要依据。随着技术进步，后续标准（如GB/T 13629系列）已对部分内容进行更新，但GB 12172-1990 仍具有历史参考价值。
