万物互联智能时代已经到来，如何在提供数字化产品的同时保障软件研发过程的可信与安全，成为当前软件研发的巨大挑战。一直以来，科大国创致力于研发高可信软件技术，于2013年成立“中国科大—国创高可信软件工程中心”，2017年成立中科国创控股子公司，一直积极推动与中国科大相关团队的密切合作，在操作系统、关键算法的形式化验证、程序验证工具和程序静态分析等方面拥有诸多理论突破和研究成果，并拥有基于这些理论建立的程序验证与分析框架和程序验证技术。经过多年潜心研发，目前已正式发布“USTCHCS高可信分析工具集”和“高可信软件验证平台(学习版)”；在产学研应用方面，与合肥高新区共建“高可信软件云平台”，并举办了为期一周的“程序形式化验证入门培训班”；近日，更是成功中标“数字经济支撑技术公共服务平台建设”项目，中标金额193.98万，为中标产品的三家公司中唯一一家完全国产自主研发的高可信软件工具，打破了高可信软件国际最高评估级别的技术壁垒，弥补了以往国内高可信软件依赖国外进口的空白，为该平台提供高可信软件支撑等市场化推广应用，具有重要和深远的意义。多年来，科大国创坚持走自主创新的研发路线，注重技术与业务的融合和创新，着力打造一支技术领先、业务精湛的复合型团队。
未来，科大国创将秉持“软件兴企 国，创新引领未来”的使命，坚定贯彻“智慧+”“平台驱动”“产品引领”三大发展战略，在国内外不确定因素显著增多的形势下，于危机中育先机、于变局中开新局，于新局中求创新，持续布局数据智能和高可信软件等智能软硬件产品的研发，推动高可信软件在尖端科技、 会经济和生活领域中发挥关键作用，形成具有世界领先水平的高可信软件集成开发平台和工具。同时，随着大数据进入深度应用阶段，人工智能日益融入产业升级，科大国创将基于高水平的高可信软件技术基础，持续开展机器人编程的和新一代人工智能关键共性技术的研究，为公司卓越发展打下基础，不断为数字经济的创新发展贡献力量。
END
声明：本站部分文章及图片源自用户投稿，如本站任何资料有侵权请您尽早请联系jinwei@zod.com.cn进行处理,非常感谢！