盖世汽车讯 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违规和代码指标等信息。
【以上内容转自“盖世汽车”,不代表本网站观点。 如需转载请取得盖世汽车网许可,如有侵权请联系删除。】
延伸阅读:
0
(责任编辑:焦点)
银保监会:前10个月房地产合理贷款需求得到满足 信贷结构持续优化
四川省资阳市1—4月新签约项目41个 协议投资额247.86亿元
力合微(688589.SH)2020年归母净利2782.05万元 基本每股收益0.33元
深高速(00548.HK)年度净利润减少19.88% 末期现金股息每股0.43元