TASKING发布全新Safety Checker 简化确保功能安全的过程

盖世汽车讯 9月5日，汽车嵌入式软件开发工具供应商TASKING推出最新版静态软件分析工具Safety Checker v3.0，专注于证明软件免于干扰（FFI）。

图片来源：TASKING

汽车ECU在同一封装中推出会集成具有不同安全需求的多种功能。TASKING Safety Checker可确保免于干扰，以支持根据ISO 26262的安全论证。通过基于编译器技术的统计代码分析，Safety Checker能够检测出关键的内存违规，从而可在一个内存区域中集成具有不同安全要求的软件组件，即使没有MPU（内存保护单元）可用或MPU不可用（例如由于性能原因）。

在基于MPU的系统中，Safety Checker通过生成内存违规列表和减少繁琐的调试来支持软件开发人员。

此外，Safety Checker还可监督是否遵守MISRA-C或CERT-C等指导原则。Safety Checker独立于编译器和硬件架构，可以集成到Jenkins等持续集成构建环境中。

Safety Checker v3.0以下重要新特性使开发人员更容易使用该工具:

• 新的图形用户界面提高了可用性，并提供定义安全类别和访问权限，以及可将文件/函数分配到安全类别。

• 能够导入AUTOSAR配置文件（.arxml），可以轻松创建配置文件，并使其与ECU项目保持同步。

• 现在报告可以生成HTML, XML或PDF格式，包括访问违规日志、函数调用图、MISRA/CERT C违规和代码指标等信息。

【以上内容转自“盖世汽车”，不代表本网站观点。 如需转载请取得盖世汽车网许可，如有侵权请联系删除。】

延伸阅读：

• 戴世智能首获汽车高精度惯导领域A-SPICE认证
• 英飞凌与Apex.AI合作开发Apex.AI 以显着加快汽车客户的软件开发