望安科技受邀参加第五届中国嵌入式技术大会，发表“形式化验证助力汽车软件开发”的演讲
来源:
|
作者:望安科技
|
发布时间: 392天前
|
814 次浏览
|
分享到:
" Technology Conference "
2023年8月23-25日，第五届中国嵌入式技术大会在深圳会展中心（福田）成功举办，本届大会以“智能、创新、开源”为主题，聚焦智能系统、汽车电子、开源芯片和基础软件四大板块，汇聚优质企业及知名专家学者，提供全球嵌入式技术的行业交流平台。会议包括专家论坛和6个论坛、几十场技术报告。
望安科技作为系统形式化验证与安全认证的推动者，受邀参加了本次大会，并由产品经理——章喆发表了《如何利用形式化验证助力汽车软件开发》的主题演讲。
在过去几十年中，伴随着算法研究和工程实践的日臻完善，形式化验证作为对软件安全保障的「终极手段」，在芯片设计、航空航天、轨道交通等领域得到越来越广泛的应用。近年来，随着汽车领域的软件复杂度和重要度的提升和行业标准和开发模式的日趋成熟，形式化验证技术也正在为汽车领域软件开发和验证带来深刻的变革。
望安科技自主开发的C代码自动化验证平台W-AVC，基于形式化验证技术，可以对C代码中常见的运行时错误做自动检查，并对用户编写的函数功能规约进行验证。平台支持对CERT C、CWE等多个安全漏洞数据库的检测，支持对第三方函数做插桩验证。同时，对于分析报告中的漏洞，W-AVC会给出基于完整路径的具体反例，帮助提升调试效率。
针对车领域标准ISO 26262，W-AVC提供包含形式化验证、代码语句覆盖度、数据流分析等在内的多项设计、实现和验证阶段的工具辅助和证据支持。针对AUTOSAR开发标准，W-AVC提供基于接口标准的第三方插桩库，大大减少验证工作的难度和复杂性。结合平台提供的验证任务管理、IDE插件、CI/CD等工程优化方面的功能，W-AVC将助力未来汽车基础软件研发更安全、更高效。
望安科技是以"形式化验证"为核心技术的安全服务及产品提供商。公司致力于为国家重大项目、关键系统及行业企业提供安全认证保障，目前已经形成了形式化验证平台、CC评估服务平台两大平台体系。当前，形式化验证技术已成为学术界的热门研究领域，吸引了众多专家学者的关注和投入。为推进新一代汽车标准建设，望安科技加入智能网联汽车联盟工作组，联合推动形式化方法在智能网联汽车领域的应用，加快科研成果在智能网联汽车产业落地，助力智能网联汽车行业高质量发展，提高智能网联汽车行业的安全可靠性。
未来，望安科技将继续推动形式化验证技术在汽车软件开发中的应用，并与行业合作伙伴共同探索更多创新解决方案。同时，持续加强技术研发实力和创新能力，为汽车行业的智能安全发展做出更大的贡献！
