亮眼！科大国创斩获2020CCF中国软件大会软件研究成果原型系统竞赛一等奖

　　在全球新一轮数字化、智能化浪潮下，软件发展面临着新的机遇与挑战，特别在智能机器人、智能汽车、无人工厂、军工、航天、核电等安全攸关行业领域，开发可靠安全性和保密安全性标准极高的高可信软件，具有重要的战略意义。【科大国创(300520)、股吧】（300520）作为行业软件的领先者、大数据研发应用的国家队、数据智能技术的创新者，一直以来致力于打造数据智能和高可信软件等核心技术，其中高可信软件技术是公司近年来重点打造的前瞻性技术。多年来，在研发团队的攻关和不懈努力下，“USTCHCS高可信软件分析工具集”已投入实际使用，“高可信软件验证平台（学习版）”已上线发布，技术水平处于行业领先地位，已在尖端科技领域应用推广，取得了丰硕的研究成果。

　　在日前举办的2020CCF中国软件大会上，科大国创控股子公司安徽中科国创高可信软件有限公司（以下简称“中科国创”）团队参赛的“高可信分析工具集”表现亮眼，斩获“软件研究成果原型系统竞赛（工业组命题型）”一等奖，标志着科大国创高可信软件研究成果在行业内得到充分认可，对公司高可信软件产品的推广及市场化应用起到积极作用。

　　万物互联智能时代已经到来，如何在提供数字化产品的同时保障软件研发过程的可信与安全，成为当前软件研发的巨大挑战。一直以来，科大国创致力于研发高可信软件技术，于2013年成立“中国科大―国创高可信软件工程中心”，2017年成立中科国创控股子公司，一直积极推动与中国科大相关团队的密切合作，在操作系统、关键算法的形式化验证、程序验证工具和程序静态分析等方面拥有诸多理论突破和研究成果，并拥有基于这些理论建立的程序验证与分析框架和程序验证技术。经过多年潜心研发，目前已正式发布“USTCHCS高可信分析工具集”和“高可信软件验证平台（学习版）”；在产学研应用方面，与合肥高新区共建“高可信软件云平台”，并举办了为期一周的“程序形式化验证入门培训班”；近日，更是成功中标“数字经济支撑技术公共服务平台建设”项目，中标金额193.98万，为中标产品的三家公司中唯一一家完全国产自主研发的高可信软件工具，打破了高可信软件国际最高评估级别的技术壁垒，弥补了以往国内高可信软件依赖国外进口的空白，为该平台提供高可信软件支撑等市场化推广应用，具有重要和深远的意义。多年来，科大国创坚持走自主创新的研发路线，注重技术与业务的融合和创新，着力打造一支技术领先、业务精湛的复合型团队。

　　未来，科大国创将秉持“软件兴企报国，创新引领未来”的使命，坚定贯彻“智慧+”“平台驱动”“产品引领”三大发展战略，在国内外不确定因素显着增多的形势下，于危机中育先机、于变局中开新局，于新局中求创新，持续布局数据智能和高可信软件等智能软硬件产品的研发，推动高可信软件在尖端科技、社会经济和生活领域中发挥关键作用，形成具有世界领先水平的高可信软件集成开发平台和工具。同时，随着大数据进入深度应用阶段，人工智能日益融入产业升级，科大国创将基于高水平的高可信软件技术基础，持续开展机器人编程的和新一代人工智能关键共性技术的研究，为公司卓越发展打下基础，不断为数字经济的创新发展贡献力量。