功能安全和 HAL 代码生成器

问题描述

我目前正在努力实现嵌入式项目的功能安全。在合格工具和流程链中的许多其他主题中,还有由 STM32CubeMX 生成的 STM32 MCU 的 HAL 代码。

此工具生成有助于安全相关系统的可执行代码的代码。所以在我看来,我会把它评为 T3。这意味着工具本身必须按照安全标准进行开发

由于任何安全文档中均未提及此软件,因此我不认为 STM32CubeMX 是合格的工具。尽管如此,如果我不想自己编写它,我将不得不使用该软件生成的代码(我认为这更容易出错)

所以我想知道如何处理这种特殊情况。如果我对生成的代码进行某种验证测试或审查,是否可以使用代码?我如何才能获得足够的信心,是否有一些现有的指导方针?

解决方法

暂无找到可以解决该程序问题的有效方法,小编努力寻找整理中!

如果你已经找到好的解决方法,欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@)