Axivion静态代码分析工具已通过认证服务

描述

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

打开APP阅读更多精彩内容
声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。 举报投诉

全部0条评论

快来发表一下你的评论吧 !

×
20
完善资料,
赚取积分