欢欢＠盖世汽车供应链
悠悠＠盖世汽车
豆豆＠盖世汽车
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违规和代码指标等信息。
