盖世汽车讯 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违规和代码指标等信息。
*版权声明：本文为盖世汽车原创文章，如欲转载请遵守 转载说明 相关规定。违反转载说明者，盖世汽车将依法追究其法律责任!
本文地址：https://auto.gasgoo.com/news/202309/5I70360172C101.shtml
好文章，需要你的鼓励
联系邮箱：info@gasgoo.com
求职应聘：021-39197800-8035
简历投递：zhaopin@gasgoo.com
客服微信：gasgoo12 (豆豆)
新闻热线：021-39586122
商务合作：021-39586681
市场合作：021-39197800-8032
研究院项目咨询：021-39197921
—— 全球视野·中国声音 ——
