核電廠安全系統中數字計算機的適用準則

內容簡介

本標準修改採用美國標準IEEE Std7-4．3．2-2003《核電廠安全系統中數字計算機的適用準則》(英文版)，技術內容等同，只是將IEEE Std7-4．3．2中引用的美國標準改為相應的我國標準，編寫方法和格式符合GB/T 1．1—2000的要求。

本標準代替GB/T 13629—1998《核電廠安全系統中數字計算機的適用準則》。

本標準與GB/T 13629—1998相比主要變化如下：

——第5章中增加了5．3．6“軟體工程風險管理”和5．5．3“故障探測和自診斷”；將獨立驗證與確認的內容放入正文，增加了5．3．4“獨立驗證與確認要求”，而刪除了附錄E“驗證與確認”；將取消的5．3．2“現有商品級計算機的質量鑑定”修訂為5．4．2，並細化了相關的要求；

——取消了附錄C“抗電磁干擾能力”；

——將附錄F“異常狀態和事件的鑑別和解決”修訂為附錄D“危害的鑑別和解決”，並重新編寫了該附錄；

——取消了附錄I“核電廠用軟體的質量保證要求”；