近日，第四届ACM中国图灵大会在合肥隆重举行，本次大会由中国科学技术大学等国内二十多所高校联合承办，以“智能+与工业互联网”为主题，共话尖端技术，探讨智能化未来发展，是中国计算机领域级别最高、规模最大的学术盛会之一。

7月31日下午，图灵大会—高可信软件技术论坛隆重召开。本次论坛在安徽省经济和信息化厅的指导下，由中国科学技术大学计算机科学与技术学院、CCF形式化专委会、CCF合肥分部主办，由科大国创、上海控安、中科国创高可信联合承办。

中国科学院院士、上海控安首席科学家何积丰出席论坛并致辞。何院士表示，软件作为一门基础信息技术，为城市数字化、智能化转型提供重要支撑，高可信软件在国家安全和社会稳定密切相关的关键基础设施建设中发挥着关键作用。何院士强调，企业需不断加强软件基础研究，加快形成自主可控的软件技术能力；紧密对接行业需求，构建适用于用户的模型体系，打磨更经济且受欢迎的市场化产品，解决产业“卡脖子”难题。

何积丰院士致辞

论坛期间，高可信软件工具链发布仪式正式启动，此次发布旨在汇聚行业优质资源，加速高可信软件的国产化替代进程，为用户提供全方面、高可信的测试服务，不断推动高可信软件的商业化应用和可持续发展。

中科国创高可信、上海控安、上海创景、苏州棱镜七彩、上海复深蓝联合发布高可信软件工具链

圆桌对话环节，各专家围绕“国产高可信软件的现状与未来”话题展开讨论。上海控安可信软件创新研究院缪炜恺院长介绍，软件工具在高校完成原型设计后，要真正实现技术的商品化，差的不仅仅是“最后一公里”，而是要作为一个系统化的问题来对待，其资源投入既需要原始研发团队的不断深入，需要工程化力量的持续开发，同时也需要将行业用户方的需求一体纳入考虑。作为新型研发机构，上海控安平台公司的设立即是为了打通技术成果转化的通道。

缪院长在发言中强调，当前可信技术发展的一大痛点在于：工具研发方和行业应用方，在领域知识上尚且存在鸿沟，因此需汇聚用户方、技术方、高校方等多方联动，构建完善的产业生态。

上海控安可信软件创新研究院 缪炜恺院长分享

关于国产软件未来发展，缪院长提出，当前我国软件人才稀缺，软件开发人员储备不足，能系统掌握方法学的人才基数过少。人员力量的不足制约了行业发展速度。因此，可以考虑的方式包括从高校人才培养入手，学校课程体系的搭建紧跟产业需求。上海控安也已开始尝试将工业级案例引入学生课堂，例如通过系统化的建模验证等方面的实践，推动人才培养，探索具普遍性和规律性问题的解决方案。

工业软件是工业制造领域的大脑和神经，我们必须坚定自主创新，摆脱“卡脖子”的命运。上海控安秉承攻坚工业软件核心技术的初心使命，将紧抓历史机遇，不断学习纵深行业场景知识，充分发挥本土化优势，以柔性化定制满足用户需求，携手生态合作伙伴，脚踏实地做技术，助力中国工业软件闯出一片新的天地。