axivion7.11通过大幅缩短手动审查代码安全违规的时间,助力开发人员在高度监管的行业中更专注于打造稳定、高性能的gpu与ai密集型应用。
QtGroup(Nasdaq, Helsinki:QTCOM)于11月17日发布了一款全新工具,可自动检测基于英伟达加速计算平台开发的程序是否符合其CUDA编码安全规范。该功能已集成至最新发布的Axivion7.11版本中,旨在帮助安全关键领域开发者高效构建符合行业标准、具备先进图形处理和人工智能能力的可靠软件,广泛适用于自动驾驶系统、医疗成像设备及工业机器人等场景。

QtGroup支持英伟达CUDA安全与编码指南
作为领先的GPU加速计算平台,英伟达CUDA被广泛应用于人工智能、深度学习、3D图形渲染和高性能计算等领域。全球数百万开发者依托该平台开发对质量与安全性要求极高的汽车、医疗及自动化系统软件。近期,英伟达推出了针对稳健性与安全关键型编程的CUDAC++编码指南,以指导开发者建立更强的安全实践,提升基于CUDA的应用程序整体安全性与稳定性。
Axivion是一套用于C/C++语言的静态代码分析与架构合规验证工具集。此前7.10版本已实现对CUDA环境的基本支持,而此次推出的7.11版本则进一步实现了对英伟达CUDAC++编码指南的原生自动化执行。这一增强功能使企业能够在安全认证项目中依据国际标准快速完成代码合规性验证。长期来看,有助于在开发早期识别潜在缺陷,降低技术债务积累,并有效缩小GPU加速代码在合规性方面的差距。
Axivion for CUDA目前提供以下核心能力:
● 自动化检查CUDA代码是否遵循主流安全标准(如MISRA、CERT)、英伟达官方CUDAC++编码指南以及企业内部自定义规则。
● 提供完整可追溯、基于证据的审计路径,提前发现标准C++与CUDA源码中的死代码、重复代码、不安全依赖关系以及免于干扰(FFI)等问题,满足ISO26262、IEC62304与IEC61508等严苛安全认证要求。
● 持续保障软件架构在受控环境下的结构一致性与安全性。
“仅依靠后期质量检测已无法应对现代软件复杂度,开发者必须证明其代码未发生‘软件侵蚀’——即防止当前的规范偏差从个别模块蔓延至整个代码库。”QtGroup高级副总裁Juhapekka Niemi表示,“随着英伟达CUDAC++编码指南的推出,CUDA开发者现在拥有了标准化、可强制执行的安全与稳健性基准。Axivion已能自动实施这些规则,让开发团队无论是在新建系统还是维护遗留项目时,都能更加专注于功能创新而非合规负担。”
目前,Axivion已被广泛应用于多个受监管行业,能够自动识别代码层与架构层的错误、复杂度问题及合规风险。未来,该工具将持续强化内存安全检测与数据流分析能力,进一步提升对高安全性需求场景的支持水平。
每个人都需要一台速度更快、更稳定的 PC。随着时间的推移,垃圾文件、旧注册表数据和不必要的后台进程会占用资源并降低性能。幸运的是,许多工具可以让 Windows 保持平稳运行。
Copyright 2014-2025 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号