2025年3月27日，由国家技术标准创新基地（汽车）主办，中国汽车技术研究中心有限公司中国汽车标准化研究院承办的汽车功能安全标准化促进中心2024年度工作会议在无锡市召开。望安科技牵头制定的《TG8-汽车软件功能安全的形式化分析与验证指南》项目，荣获“2024年度优秀项目组—智慧结晶奖”，公司技术总监张峰同时荣获“2024年度优秀个人—智识先锋奖”。此次双项荣誉的获得，标志着望安科技在汽车功能安全领域的技术引领力和标准贡献度获国家级权威认可。

该项目由望安科技联合北京地平线信息技术有限公司牵头，集结首都师范大学-信息工程学院、同济大学-软件学院、华东师范大学-软件工程学院三大顶尖高校学院，以及中国汽车技术研究中心、贝腾软件、中汽创智等11家行业领军单位共同完成。作为全球首个系统性规范汽车功能安全形式化验证技术的指南，成功填补国际标准空白，在汽车软件功能安全领域树立了新的标杆。

智能化与网联化转型使得汽车功能急剧复杂，传统验证方法越来越无法满足汽车软件的功能安全要求。形式化验证技术通过建立精确的数学模型对软件行为进行穷尽式证明，为解决上述难题提供了新范式。因此，汽车功能安全国家标准GB/T 34590（对应国际标准为ISO 26262）对于高等级安全软件的验证与认证过程中“强烈推荐”使用形式化方法。然而，国际、国内的汽车领域功能安全标准缺乏使用形式化方法的指南标准。

由望安科技牵头制定的《TG8-汽车软件功能安全的形式化分析与验证指南》弥补了这一国际、国内标准空白。该指南主要针对GB/T 34590的软件部分—“第6部分、产品开发：软件层面”，明确提出了需求、设计、实现、验证等全部生命周期过程使用形式化方法时应该满足的要求和建议，为企事业单位在汽车软件领域采用形式化方法提供了详细和准确的方法指导。未来，望安科技将携手行业伙伴，共同推动形式化方法在汽车安全标准中的落地实践，为全球汽车产业的安全升级提供坚实保障。

浙江望安科技有限公司是以“形式化验证”和“安全认证”为核心的安全服务及产品提供商。公司致力于为国家重大项目、关键系统及行业企业提供安全保障。业务覆盖航空航天、国防、轨道交通、区块链、物联网、工业控制、芯片设计、操作系统、数据库等重大行业。

公司提供信息技术安全评估标准CC EAL1-EAL7级安全保障级别、IEC 61508、ISO 26262、GM/T国密以及FIPS等高等级安全认证咨询与技术服务，已与国内外多个认证/检测机构建立联合实验室、签署合作协议等。公司拥有自主知识产权的软件源码形式化测试与验证工具W-AVC、基础软硬件形式化建模与验证工具W-Cert、CC安全认证全周期实施平台W-CaaS等工具平台。公司核心技术和工具已应用于载人航天工程、中航工业集团、航天科技集团、航天科工集团、中国信科、小米科技、中国移动、中科海微、元心科技等，覆盖国家重点行业及企业。