西門子存儲卡6ES7954-8LF02-0AA0

西門子存儲卡6ES7954-8LF02-0AA0

執行安全程序變更的步驟

安全相關項目數據正確實現的證明

為了通過系統驗收，必須評估并記錄各個組件的正確性。為記錄組件特性，必須創建安全摘

要。

在安全摘要中需包含以下特性：

● 檢查包括硬件配置在內的安全程序是否正確（包含測試） (頁 313)

● 檢查安全摘要中的信息是否完整 (頁 314)

● 檢查安全程序中使用的系統庫元素是否符合 TÜV 證書報告的附錄 1。 (頁 314)

● 安全程序中使用的設有專有技術保護的 F 塊符合其安全文檔。 (頁 316)

● 檢查硬件配置的完整性和正確性 (頁 318)

● 通信組態的正確性和完整性 (頁 324)

● 在線和離線程序的一致性 (頁 325)

● 其他特性 (頁 326)，如軟件版本，標準用戶程序中的數據應用等

完成驗收后，應對所有相關文檔和項目數據進行歸檔，將已通過驗收的項目作為后續驗收的參

考。

安全摘要

安全摘要 (頁 296)是系統驗收所需的項目文檔。系統驗收

檢查包括硬件配置在內的安全程序是否正確（包含測試）

編程和操作手冊, 10/2019, A5E33215622-03

檢查包括硬件配置在內的安全程序是否正確（包含測試）

軟件的正確性不僅可以通過調試期間的測試和驗證來確保，而且已經要求在創建過程中遵守各

種各樣的措施。另見“概述 (頁 22)”章節中關于該情況的警告 S062。

驗證/功能測試

在創建過程中，將測試 (頁 298)安全程序和相關的硬件配置。在執行系統驗收之前，必須對相

應的安全功能規范進行這些測試，然后對測試進行記錄。

要執行安全程序的代碼檢查并記錄通過驗收的程序代碼，需要為打印輸出選擇“全部”(All) 選

項，然后打印所有 F 塊的源代碼以將其作為安全摘要 (頁 296)的一部分。

如果要在下載之后執行一次功能測試，必須執行程序識別。更多信息，請參見“下載項目數據

(頁 275)”。

在終使用安全程序之前，必須確保該該安全程序的所有功能都符合“系統驗收概述 (頁 312)”

章節中的所有步驟。在使用組態控制（選項處理）時，必須通過執行適當的功能測試，確保安

全程序對所有可能的站選項正確運行。應將測試報告與安全摘要和驗收文檔共同進行歸檔。

監視時間 (頁 542)和延遲時間等時間只能通過功能測試 (頁 275)在一定的程度上得到驗證。例

如，應選擇性檢查這些時間，以使用安全摘要確定這些時間值是否正確。

某些時間值在安全摘要中進行了專門的詳細說明，例如，F 監視時間（監視 F-CPU 與 F-I/O

間的通信）和安全相關 CPU 與 CPU 通信的監視時間（輸入 TIMEOUT）。對于標準條件下

得到的監視時間，Internet