主题中讨论的其他器件:HALCOGEN、
您好!
我正在尝试通过 Hercules 的 IEC61508 SIL 认证。
但是、在 MISRA C 2004的静态分析期间、会出现很多问题。
我知道、HalcogGen 完全符合 MISRA C 2004标准。
因此、我想了解 TI 针对 Hercules 处理器的 MISRA 策略、尤其是 RM48L952。
您是否想分享 MISRA C 2004策略的一些文档和其他可证明合规性的文档?
此致、
李真
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.
您好!
我正在尝试通过 Hercules 的 IEC61508 SIL 认证。
但是、在 MISRA C 2004的静态分析期间、会出现很多问题。
我知道、HalcogGen 完全符合 MISRA C 2004标准。
因此、我想了解 TI 针对 Hercules 处理器的 MISRA 策略、尤其是 RM48L952。
您是否想分享 MISRA C 2004策略的一些文档和其他可证明合规性的文档?
此致、
李真
尊敬的 Jen Lee:
从用于 Hercules 器件的 HALCoGen (RM48)生成的代码 仅符合 MISRA-C 2004编码指南。
SAFETI-HALCOGEN-CSP IDE、配置、编译器或调试器| TI.com
您可以从上面的 CSP 链接下载与 MISRA-C 2004相关的测试报告。
--
谢谢。此致、
Jagadish。
尊敬的 Jin:
以下是构建选项:
编译器选项:-mv7R4 --code_state=32 --float_support=VFPv3D16 --abi=eabi -g --define=_Big_ENDIAN --diag_warning=261 --diag_warning=118 --diag_warning=225 --diag_error=189 --diag_error=994 --diag_error=994 --diag_display_type=ENUDMA
链接器选项:-reread_libs --warn_sections --rom_model --be32
运行时库:rtsv7R4_T_be_v3D16_eabi.lib
CG 工具根路径:C:\ti\ccsv8\tools\compiler\arm_5.1.6
从属方块库启动:
"C:\ti\Hercules\F021 Flash API\02.01.01\F021_API_CortexR4_BE_L2FMC.lib"
可靠的 LibraryEnd
IncludePathStart:
C:\ti\Hercules\F021 Flash API\02.01.01\include
包括 PathEnd
SourcePathStart:
"C:\ti\Hercules\F021 Flash API\02.01.01\source"
源路径编码
您可以尝试使用上述设置吗?
--
谢谢。此致、
Jagadish。
尊敬的 Jin:
只需通过更改构建选项来执行静态分析、然后查看、还请注意以下事项:
关于 MISRA 检查需要注意的几个问题
1) 1)一些 MISRA 检查工具差异、HALCoGen 代码 MISRA 规则检查由 LDRA 工具执行。
2)我们整个团队都有 MisraC2004政策文件,我们遵守,文件包含我们遵守的规则清单和我们有理由违反的规则。 策略文档通过 CSP 提供给客户、也是最上面的一层、我们提出了违反 MISRA 的理由、经过代码审核后得到批准。
3)我们不能简单地启用所有规则,并期望100%遵守。
--
谢谢。此致、
Jagadish。
尊敬的 Jagadish:
我直到现在才能进行静态分析、因为我自己没有 LDRA 工具。
我在韩国的一家咨询公司工作、他们拥有 LDRA 工具并进行测试、我需要一些时间来安排新的测试。
我将按照您所说的进行测试。
顺便说一句,我需要警察说明哪些规则 应该被排除或修改。
您说过它是通过 CSP 提供的...
您是说我必须购买 CSP 许可证吗?
是否有其他方法可以为我获取该文档?
谢谢。
李真