新闻动态
智能网联汽车安全保障：望安科技解决方案与工具平台
来源: | 作者:望安科技 | 发布时间: 301天前 | 1174 次浏览 | 分享到:

Solution

望安科技

汽车软件解决方案

面向汽车行业



汽车行业发展趋势

智能网联

新一轮科技革命和产业变革方兴未艾，作为新技术集成应用最佳载体之一的汽车正加速向智能化转型，智能网联汽车已成为全球汽车产业发展的战略方向。当前，智能网联汽车在全球范围内已经进入快速发展期，L1—L2级驾驶辅助系统已经开始大规模装车量产，L3—L4级自动驾驶系统正处于研发和小规模测试阶段，各国均已开始推动开放测试道路、完善法律法规等政策，目前市场主体空前丰富，传统主机厂、互联网企业、ICT企业、出行服务企业等纷纷加入智能网联汽车产业。

软件定义汽车

网联化的普及使“软件定义汽车”成为了可能，随着汽车软件的量级和复杂度不断提高，软件占比持续增大，所有“新汽车”都将被软件定义。软件已成为现代车辆差异化竞争的核心安全，合规要求将明显提高软件开发和验证的成本。



汽车行业软件研发现状与痛点

随着人工智能、信息通信技术加速发展和跨界融合，智能网联汽车与外界的交互手段不断丰富，智能网联汽车在积极融入网络时代的同时，也不可避免地面临信息安全问题。智能网联汽车的信息安全威胁不仅能够造成个人隐私泄露、企业经济损失，还能造成车毁人亡的严重后果，甚至带来国家公共安全问题。

当前，汽车行业软件研发正面临着巨大的挑战，智能车时代整车开发周期缩短至30-40个月，需求调整更频繁，测试周期和成本更紧张。同时，国外车领域开发验证工具还存在测试验证规模大、测评技术不成熟、测试周期长效率低、测试成本高、缺乏功能正确性验证等诸多痛点，难以有效支撑智能汽车的安全产业化落地，亟须研究能够支撑高等级智能驾驶汽车安全落地的工具平台。





面向汽车行业的解决方案及望安工具平台


面对汽车行业软件研发的现状与痛点，望安科技推出面向汽车行业的工具平台——W系列工具。

针对国外车领域开发验证工具存在的问题，望安W系列工具对标解决行业痛点，提供更高效、成熟和可靠的工具支持，为智能网联汽车提供更安全的保障。这些工具将加快测试速度、降低测试成本，并确保汽车软件功能的正确性和安全性，从而推动整个行业的发展。



一、W-AVC

软件源码形式化测试与验证工具

（一）

W-AVC：核心功能

望安科技自主开发的C代码自动化验证平台W-AVC，采用学界领先的形式化验证技术，通过严格的数学证明排查代码中的缺陷和安全隐患，逻辑保障无漏洞；平台中规约完全采用C语言语法，无需为消耗额外学习成本，开发测试人员无缝上手；同时，W-AVC实现了项目源代码与验证代码分离，支持多验证任务并行，通过错误路径追踪便利代码调试，

NEWS