2024 CCF中国软件大会（2024 CCF ChinaSoft）将于2024年11月15日至17日在陕西省西安高新国际会议中心召开。大会由中国计算机学会（CCF）主办，CCF软件工程专委会、系统软件专委会、形式化方法专委会、西安电子科技大学承办，西安电子科技大学计算机科学与技术学院（国家示范性软件学院）具体落实，西安市智能软件工程重点实验室负责实施，得到西安高新区管委会的大力支持。同时，大会由西安交通大学、西北工业大学、西北农林科技大学、陕西师范大学、长安大学、西北大学、西安理工大学、西安建筑科技大学、西安邮电大学、中国航空工业集团公司西安航空计算技术研究所、陕西省计算机学会协办，由华为技术有限公司、汇丰科技中国、蚂蚁集团、百度集团、知存科技有限公司、北京轩宇信息技术有限公司、荣耀集团、望安科技有限公司等作为赞助商。本届大会的主题为“智能软件创新赋能新质生产力发展”。

「大会合作单位」

浙江省望安科技有限公司

公司简介

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

望安科技依托形式化验证核心技术，以“两服务、三工具”作为业务主线。“两服务”包括形式化验证解决方案与服务、安全认证解决方案与服务。望安科技可提供信息技术安全评估标准CC EAL1-EAL7级安全保障级别、IEC 61508、ISO 26262、GM/T国密以及FIPS高等级安全认证咨询与技术服务。望安科技基于形式化验证核心技术支撑各领域信息技术产品高安全保障级别认证，是国内首个EAL5+及以上评估保障级别认证服务企业。“三工具”包括基础软硬件形式化建模与验证工具W-Cert、信息安全评估服务平台W-CaaS、软件源码形式化测试与验证工具W-AVC。其中，基础软硬件形式化建模与验证工具W-Cert主要面向处理器、操作系统(RTOS、微内核、Hypervisor、TEE等)、基础软件库（编程语言标准库、文件系统、网络协议库等），可应用于汽车、物联网、航空航天、医疗、芯片和金融等关键领域；软件源码形式化测试与验证工具W-AVC引入形式化验证技术，通过数学证明排查代码中的缺陷和安全隐患，自动检查代码中的安全漏洞，从而在开发流程的早期增强系统的安全性，减少现代大型软件架构带来的潜在风险；信息安全评估服务平台W-CaaS可便捷快速地进行信息安全认证的实施与管理，在认证产品时可节省约50%以上的时间与人力成本，符合标准的可靠性最高可以达到99.99%。望安科技的核心技术和工具已应用于载人航天工程、中航工业集团、航天科技集团、航天科工集团、中国信科、小米科技、中国移动、中科海微、元心科技等机构与企业，客户覆盖国防、航空、航天、电网、轨道、汽车、互联网、基础软件等多个国家重大关键领域的核心单位。

望安科技具备完善的生态建设与广泛的业界影响力。公司分别与国内金融行业的最高检测机构——国家金融科技测评中心、国内唯一信息安全EAL认证机构——中国网络安全审查技术与认证中心、欧洲JTSEC实验室、CCLAB实验室等CC信息安全检测机构建立技术合作。公司作为信息安全CC标准下属OS内核技术委员会成员、国际ARINC653航空机载操作系统标准委员会成员、智能网联汽车基础软件标准工作组成员、ISO26262-GB/T34590汽车软件功能安全标准形式化工作组牵头单位，加入国际国内标准组织，牵头或共同起草安全标准。公司参与多项CC信息安全认证的行业标准起草工作，包括《虚拟机监控器产品安全技术要求（EAL5+）》、《操作系统安全技术要求（EAL4+、EAL5+）》、《智能终端可信执行环境操作系统安全技术要求》等。

望安科技注重人才培养与技术创新。承接国家级人才引进计划、浙江省绍兴市“海内外英才计划”、海外博士工作站等项目，与浙江大学、北京航空航天大学、首都师范大学、南京航空航天大学、浙江工业大学、浙江理工大学等知名高校通过共建实验室、共同技术研究等联合培养人才。目前，望安科技作为浙江省“尖兵”研发攻关计划承担单位，已成长为国家高新技术企业、国家科技型中小企业、浙江省创新型中小企业。