Axivion静态代码分析工具已通过SGS-TÜV Saar的ISO 26262、IEC 61508以及IEC 62304的认证服务,具备了在汽车电子、健康医疗等领域内以安全为关键的软件项目中的使用资质。
作为Vector官方合作伙伴的Axivion,是一家100%德资背景的科技企业,其总部同样设立在德国斯图加特市。Axivion孵化自德国斯图加特大学的前沿项目,扎实专业的学术背景在过去15年多的时间里服务过全球数千用户,以“德国制造”的标准致力于为静态代码分析和防止软件侵蚀,提供创新和先进的解决方案。
2021年6月底,Axivion的静态代码分析工具Static Code Analysis(简称SCA,内嵌于工具集Axivion Suite中)通过了SGS-TÜV Saar的认证服务,适用于依照安全标准ISO 26262(最高至ASIL D等级)、IEC 61508(最高至SIL 4)以及IEC 62304(最高至C等级)的开发。这使得从事于汽车电子、健康医疗以及具有严格功能安全要求的软件开发/测试人员拥有了一款强大工具,确保软件从项目伊始至迭代更新和最终交付阶段都符合最高安全标准。该认证对SCA工具的7.1及后续版本有效。
SCA工具可实现对诸多编码规则,如MISRA C:2012、MISRA C++:2008、CERT和AUTOSAR C++14等的自动检查;且支持将其集成到客户现有的开发和测试框架以及持续集成过程中,提高工具的复用性,实现“便捷集成以提高测试频次、更多测试以确保更高质量”的目标。此外,Axivion可根据MISRA和AUTOSAR C++14规范提供相应的鉴定包服务,完全满足认证强需求的项目和客户。
责任编辑:haq
-
汽车电子
+关注
关注
3029文章
8054浏览量
168168 -
代码
+关注
关注
30文章
4851浏览量
69349 -
SGS
+关注
关注
0文章
71浏览量
9166
原文标题:Axivion静态代码分析工具通过SGS功能安全认证
文章出处:【微信号:VectorChina,微信公众号:Vector维克多】欢迎添加关注!文章转载请注明出处。
发布评论请先 登录
相关推荐
HarmonyOS NEXT 原生应用/元服务-性能分析基础耗时分析Time分析
集成电路设计中静态时序分析介绍
ADC的静态指标有专用的分析工具吗?
英诺达发布全新静态验证产品,提升芯片设计效率
Perforce静态分析工具2024.2新增功能:Helix QAC全新CI/CD集成支持、Klocwork分析引擎改进和安全增强

恒讯科技分析:如何测试海外静态IP服务的稳定性和速度?
代码静态测试工具Helix QAC 2024.2新发

DevOps中的质量门工作原理,以及静态代码分析Klocwork和Perforce Helix QAC在质量门中的实践应用
IAR通过多架构认证的静态分析工具加速代码质量自动化
黑芝麻智能代码生成工具荣获DEKRA德凯ISO 26262:2018 ASIL D功能安全认证

中微半导自主研发的车规级高品质32位MCU,已通过AEC-Q100认证

芯海科技CS32G020通过140W高功率EPR PD3.1认证

评论