[参考译文] TMS570LS3137：SAFETI-Hercules DIAG-LIB-CSP、SafeTI-HALCoGen-CSP

您好、Zhanghong、

安装 CSP 后、某些文档会复制到 docs 文件夹中。 您还需要什么？

您好、王

在 EN50128中  

7.3.4.7使用预先存在的软件应遵守以下限制。

c)对于软件安全完整性等级 SIL 3或 SIL 4、应采取以下预防措施：

核查和验证过程应确保

1)预先存在的软件满足分配的要求、
2) 2)检测到预先存在的软件的故障、并 保护预先存在的软件集成到的系统免受这些故障的影响、
3)满足有关现有软件环境的假设。

此处使用的是 SAFETI 软件。

我想知道  预先存在的软件的这个环境是  用户指南的安全手册中的假设和约束条件、还是其他的环境？

张勇、您好

您的安装是否包含我之前的消息中提到的文档？

由 HalCoGen 生成的软件是在一个 SIL3/ASILD 认证过程中开发的。 有一个选项卡指示可以选择使用安全初始化进行引导。  您可以使用 SafeTI 诊断库中的启动文件。

 由 HalCoGen 和 SafeTI 诊断库生成的软件未经认证。 我们提供了 CSP 封装、可帮助您为评估人员创建测试证据、证明其适合功能安全使用。  

您好、Wang、

我的安装与您的安装相同。

在2.4.0_LDRA_Lless 文件夹中、包含 一个 libs 文件夹。 这些库是否经过 TI 认证。 这意味着我可以直接使用该库 、而无需再进行单元测试。

同时、 这些库或由 HalCoGen 生成的源代码是否有单独的安全相关应用条件文件？ 这是我提出的第一个问题。