全景网10月28日讯 2020年10月28日“高可信软件技术应用研讨会”在美丽的科技新城—合肥成功举办。本次活动旨在共同探讨高可信软件技术面临的挑战和发展前景,助力数字经济不断发展。

当前,全球新一轮科技革命和产业变革正加速演进,数字经济成为发展的新引擎,将引领未来发展。在“软件定义一切”的时代,未来社会经济高质量的发展,都离不开软件技术的支撑。特别是在航空航天、国防装备、核能、金融、医疗设备、交通等安全攸关的应用领域,开发高可信的软件成为迫切的需求和挑战。为了应对未来软件的新挑战。

在本次研讨会上,多位行业大咖、专家学者倾力分享、深度对话,围绕“高可信软件技术应用的挑战与思考”这一主题进行思想的交锋与碰撞,为未来高可信软件技术的发展应用及社会经济的高质量发展贡献力量。

本次活动由中国科学技术大学计算机学院和中国科大-国创高可信软件工程中心主办,科大国创股份有限公司和安徽中科国创高可信软件有限公司联合承办。

本次活动的主办方之一中国科大-国创高可信软件工程中心,由中国科学技术大学与科大国创软件股份有限公司合作创办,双方共同将高可信软件的相关技术应用于与国家安全和社会稳定密切相关的关键基础设施开发中,努力争取建成高可信软件国家工程中心,占领技术制高点,推动高可信软件开发和评测体制的建立,推动高可信软件系统的应用,提高关键领域的软件可靠性和安全性,为国家、社会和人民生命财产的安全服务。

活动承办方科大国创软件股份有限公司,是国内领先的数据智能技术研发和应用的高科技上市企业(股票代码:),致力于打造软硬件一体化的智能产品,提供以云平台为基础的IT整体解决方案与服务。经过十余年的努力,公司已成为行业软件的领先者,大数据研发应用的国家队,数据智能技术的创新者。

研讨会主题涉及软件分析与验证的理论基础、工具开发和应用实践等高可信软件开发的多个方面。介绍国内外的研究与应用现状,探讨高可信软件技术的应用挑战和发展前景,为促进程序分析与形式化验证技术在软件安全中的应用,推动高可信软件评测标准的建立,增强自主可控软件工具的开发贡献力量,共同推动高可信软件在国家安全和社会稳定密切相关的关键基础设施建设中发挥关键作用,为数字经济的创新发展添砖加瓦、保驾护航。(全景网)

文章来源：《数字技术与应用》 网址: http://www.szjsyyyzz.cn/zonghexinwen/2020/1030/995.html