西门子存储卡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