望安科技加入智能网联汽车联盟工作组

浙江望安科技有限公司是国内第一家以"形式化验证"为核心技术的安全服务及产品提供商。公司由主创始人赵永望教授依托十多年的相关研发成果而创办，致力于为国家重大项目、核心软件及重点领域客户提供安全认证保障。业务覆盖航空航天、国防、轨道交通、区块链、物联网、工业控制、芯片设计制造等重大领域。公司拥有的形式化验证核心技术，在领域内已达到国际先进水平；可提供CC、EAL7级最高安全保障级别。其中，操作系统的形式验证居国际前三、国内第一。公司自主研发、拥有自主知识产权的多语言形式化自动验证工具、高级别安全认证的形式开发框架等重要核心资产。

智能网联汽车联盟工作组成员

智能网联汽车联盟工作组工作内容是研究国内外汽车基础软件技术路线和技术标准，推动国内外相关标准建设，形成在汽车基础软件技术方面的产业共识，为整车制造企业和零部件企业提供产品开发指导，保障汽车基础软件的质量，提升汽车基础软件的复用性，缩短智能网联汽车的研发周期，输出标准，行业共识白皮书和研究报告，促进产业革新转变，提升软件质量，加快打造中国自主的汽车基础软件应用产业生态链。

在未来，望安科技将持续与智能网联汽车联盟工作组推进新一代汽车标准建设，联合推动形式化方法在智能网联汽车领域的应用，提高智能网联汽车的安全可靠性，为智能网联汽车落地而增速。