器件型号: F28377D-SEP
您好的团队、
我向我的客户询问这个问题。 为了证明其代码符合 MISRA-C2012 要求、客户使用了 QAC 进行证明。
但 QAC 不支持 C28 内核、如何证明 c28 代码符合 MISRA-C2012 要求?
BRS
Shuqing
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
您好的团队、
我向我的客户询问这个问题。 为了证明其代码符合 MISRA-C2012 要求、客户使用了 QAC 进行证明。
但 QAC 不支持 C28 内核、如何证明 c28 代码符合 MISRA-C2012 要求?
BRS
Shuqing
虽然 QAC 不支持 C28 内核、但 TI 通过 C2000 C/C++编译器本身提供内置 MISRA-C:2012 合规性检查、并提供全面的 MISRA-C 策略文档和预先验证的 Driverlib、可用于证明代码符合 MISRA-C2012 要求。
您的客户不使用 QAC、而是利用专为 C28 内核设计的 TI 原生 MISRA-C:2012 合规工具。 C2000 C/C++编译器包含一项内置功能、可检查源代码是否符合 MISRA C:2012 规则[1]。 这提供了 QAC 的直接替代方案、与 C28 架构完全兼容。
要启用和使用此 MISRA C:2012 检查特性、代码生成工具文档[1]中提供了详细说明。 这种原生编译器支持消除了与在 C28 内核上使用 QAC 等第三方工具相关的兼容性问题。
TI 提供了全面的解决方案 C2000 MISRA-C 策略 定义 C2000 系列特定 MISRA-C 合规方法的文档[2][3]。 本政策文件是了解 MISRA-C:2012 要求如何应用于 C28 核心开发的权威参考、在制定合规程序时应参考该要求。
对于使用 TI 外设驱动程序的客户、Driverlib 提供了额外的合规性保证:
对于需要针对功能安全标准进行正式编译器认证的客户、TI 提供了 编译器资质审核套件 有助于使 C2000 C/C++编译器符合 ISO 26262 和 IEC 61508 等标准[1]。 该套件可为安全关键型应用提供附加文档和证据。
要证明不带 QAC 的 C28 内核代码符合 MISRA-C2012 标准、请执行以下操作: