• 状态
  • 已锁定 已锁定
  • 回复 3 回复
  • 订户 0 订户
  • 视图 281 视图
  • 用户 0 会员在此处
选项
选项
相关

This thread has been locked.

If you have a related question, please click the "Ask a related question" button in the top right corner. The newly created question will be automatically linked to this question.

[参考译文] SAFETI-HALCOGEN-CSP：SAFETI-HALCOGEN-CSP 和 SAFETI_CQKIT 安全证书标准

admin
Guru**** 2540720 points
Other Parts Discussed in Thread: SAFETI-HALCOGEN-CSP, HALCOGEN

请注意，本文内容源自机器翻译，可能存在语法或其它翻译错误，仅供参考。如需获取准确内容，请参阅链接中的英语原文或自行翻译。

https://e2e.ti.com/support/microcontrollers/arm-based-microcontrollers-group/arm-based-microcontrollers/f/arm-based-microcontrollers-forum/1209856/safeti-halcogen-csp-safeti-halcogen-csp-and-safeti_cqkit-safety-certificate-standards

器件型号：SAFETI-HALCOGEN-CSP
主题中讨论的其他器件： HALCOGEN

您好！

目前、我们公司正在使用 TMS570LC43xx Hercules MCU 进行嵌入式软件开发。 我们的目标是获得 BS EN50128 SIL3/SIL4安全证书。 我知道这一点  

" TÜV NORD 已对安全编译器资质审核套件进行了评估,以符合 IEC 61508和 ISO 26262,并与 专门从事软件工具资质审核的咨询公司 Validas 合作开发。"

这是否意味着 SAFETI-HALCOGEN-CSP 和 SAFETI_CQKIT 是认证工具？ 如果是、这些工具符合哪些安全证书？

另一个问题是、如何利用 SAFETI-HALCOGEN-CSP 和 SAFETI_CQKIT 工具来帮助我们实现 BS EN50128 (与 IEC61508等效或相似)？ 我们是否需要将我们的编译器工具从正常的  ti_CGT_ARM_20.2.7.LTS 工具切换到 SAFETI_CQKIT 并将正常的 HalCoGen 工具 HALCoGen IDE 04.07.01切换到 SAFETI-HALCOGEN-CSP？ 除了使用这两个专用工具外、我们还需要做什么？

非常感谢！ 祝您度过美好的一天！

  • 0
    TI__Guru**** 2540720 points
    请注意，本文内容源自机器翻译，可能存在语法或其它翻译错误，仅供参考。如需获取准确内容，请参阅链接中的英语原文或自行翻译。
    Unknown 说：
    这是否意味着 SAFETI-HALCOGEN-CSP 和 SAFETI_CQKIT 是认证工具？ 如果是，这些工具符合哪些安全证书？

    THW CQKIT 和 CSP 的软件开发流程已 通过 TUV Nord 的 IEC 61508和 ISO 26262认证。  CQKIT 由 TUV Nord 进行评估,以符合 IEC 61508和 ISO 26262。  

    Unknown 说：
    如何利用 SAFETI-HALCOGEN-CSP 和 SAFETI_CQKIT 工具来帮助我们实现 BS EN50128 (相当于或类似于 IEC61508)？

    https://www.ti.com/lit/fs/spnu605c/spnu605c.pdf?ts=1679927862372&ref_url=https%253A%252F%252Fwww.ti.com%252Ftool%252FSAFETI-HALCOGEN-CSP

    https://software-dl.ti.com/codegen/esd/cgt_public_sw/QKIT/ARM-CQKIT/20.2.7.LTS/exports/coverage_testing_instructions.pdf

    Unknown 说：
    我们是否需要将我们的编译器工具从正常的  ti_cgt_arm_20.2.7.LTS 工具切换到 SAFETI_CQKIT 并将正常的 HalCoGen 工具 HALCoGen IDE 04.07.01切换到 SAFETI-HALCOGEN-CSP ？ [/报价]

    TI_CGT_ARM_20.2.7.LTS 是编译器、但 SAFETI_CQKIT 是编译器资质审核套件。  SAFETI-HALCOGEN-CSP 是 为 HALCoGen 生成的代码提供必要的文档、报告和单元测试报告。

  • 0
    TI__Guru**** 2540720 points
    请注意，本文内容源自机器翻译，可能存在语法或其它翻译错误，仅供参考。如需获取准确内容，请参阅链接中的英语原文或自行翻译。

    非常感谢您,王! 感谢您的及时回复！

    我是否能够理解 SAFETI_CQKIThelp 在 HALCOGEN-CSP 帮助进行单元测试的同时生成覆盖率测试报告？ 我们是否可以使用诸如 LDRA 的第三方供应商来实现这些目标？

    还有一个问题、我找不到"bincov"文件夹、我是否漏掉了任何东西：

    将"bincov"文件夹解压缩到临时位置。 此文件夹包含所有编译器工具链可执行文件的测试版本以及每个可执行文件的覆盖数据收集文件(*。cov 文件)。"

  • 0
    TI__Guru**** 2540720 points
    请注意，本文内容源自机器翻译，可能存在语法或其它翻译错误，仅供参考。如需获取准确内容，请参阅链接中的英语原文或自行翻译。
    Unknown 说：
    SAFETI_CQKIThelp 生成覆盖范围测试报告

    是的、它 会生成覆盖数据、以验证用于编译代码的编译器工具链的所有部分也都由验证测试执行。

    Unknown 说：
    HALCOGEN-CSP 帮助进行单元测试

    CSP 为 HalCoGen 支持的所有模块提供单元测试用例和功能测试用例。 它将生成单元测试报告、动态覆盖分析报告等  

    Unknown 说：
    我们是否可以使用此类 LDRA 第三方供应商来执行这些操作？

    如果你使用同样的版本编译器和同样的版本 HalCoGen、你可以使用 HalCoGen CSP 随附的报告。  

    是的、使用 LDRA 执行单元测试。

    Unknown 说：
    一个额外的问题，我找不到"bincov"文件夹，我漏掉了什么：

    请从 TI.com 下载 bincov 文件