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.

[参考译文] F28377D-SEP:如何为 C28 内核实现 QAC?

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

https://e2e.ti.com/support/microcontrollers/c2000-microcontrollers-group/c2000/f/c2000-microcontrollers-forum/1623673/f28377d-sep-how-to-implement-qac-for-c28-core

器件型号: F28377D-SEP

您好的团队、

我向我的客户询问这个问题。 为了证明其代码符合 MISRA-C2012 要求、客户使用了 QAC 进行证明。

但 QAC 不支持 C28 内核、如何证明 c28 代码符合 MISRA-C2012 要求?

BRS

Shuqing

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

    虽然 QAC 不支持 C28 内核、但 TI 通过 C2000 C/C++编译器本身提供内置 MISRA-C:2012 合规性检查、并提供全面的 MISRA-C 策略文档和预先验证的 Driverlib、可用于证明代码符合 MISRA-C2012 要求。

    响应

    TI 内置 MISRA-C:2012 合规性解决方案

    您的客户不使用 QAC、而是利用专为 C28 内核设计的 TI 原生 MISRA-C:2012 合规工具。 C2000 C/C++编译器包含一项内置功能、可检查源代码是否符合 MISRA C:2012 规则[1]。 这提供了 QAC 的直接替代方案、与 C28 架构完全兼容。

    要启用和使用此 MISRA C:2012 检查特性、代码生成工具文档[1]中提供了详细说明。 这种原生编译器支持消除了与在 C28 内核上使用 QAC 等第三方工具相关的兼容性问题。

    C2000 MISRA-C 政策文档

    TI 提供了全面的解决方案 C2000Tm MISRA-C 策略 定义 C2000 系列特定 MISRA-C 合规方法的文档[2][3]。 本政策文件是了解 MISRA-C:2012 要求如何应用于 C28 核心开发的权威参考、在制定合规程序时应参考该要求。

    预先验证的 Driverlib

    对于使用 TI 外设驱动程序的客户、Driverlib 提供了额外的合规性保证:

    • Driverlib 进行了 MISRA-C:2012 静态分析[4]
    • 所有驱动程序均符合 C2000 MISRA-C:2012 政策[4]
    • 使用这些预先验证的驱动程序可以减轻客户代码的合规性验证负担[4]

    功能安全认证

    对于需要针对功能安全标准进行正式编译器认证的客户、TI 提供了 编译器资质审核套件 有助于使 C2000 C/C++编译器符合 ISO 26262 和 IEC 61508 等标准[1]。 该套件可为安全关键型应用提供附加文档和证据。

    建议的方法

    要证明不带 QAC 的 C28 内核代码符合 MISRA-C2012 标准、请执行以下操作:

    1. 在 C2000 C/C++编译器中启用 MISRA C:2012 检查
    2. 参考 C2000 MISRA-C 政策文档以获取合规指南
    3. 尽可能使用预先验证的 Driverlib
    4. 考虑适用于安全关键型应用的编译器资质审核套件
    5. 使用编译器的内置检查报告来记录合规性

    引文

    1. C2000 C/C++编译器 MISRA C:2012 校验功能和编译器资质审核套件
    2. C2000Tm MISRA-C 政策参考文档
    3. C2000 MISRA-C:2012 政策详细信息
    4. Driverlib MISRA-C:2012 合规性和静态分析