喜报丨上海控安荣获中国计算机学会科学技术奖技术发明一等奖

（原标题：喜报丨上海控安荣获中国计算机学会科学技术奖技术发明一等奖）

　　 近日，中国计算机学会(CCF)公布了2021年度“CCF科学技术奖”评选结果。上海工业控制安全创新科技有限公司与华东师范大学、卡斯柯信号有限公司、工业和信息化部电子第五研究所合作的项目“面向工业领域的软件形式化建模与自动化测试关键技术及工具国产化应用”荣获2021年CCF科学技术奖技术发明一等奖。

　　 CCF科学技术奖

　　 “CCF科学技术奖”由中国计算机学会在CNCC大会期间颁发，是国内权威的科技奖项，因其专业性和公信力成为衡量企业、高校技术创新水平的重要评选活动。CCF科学技术奖的设立，旨在授予在计算机科学、技术或工程领域具有重要发现、发明、原始创新，在相关领域有一定国际影响的优秀成果。大会每年都会就计算机及相关领域最新进展和宏观发展趋势进行探讨，展示中国学术界、企业界最新成果，是中国计算机领域级别最高、规模最大的学术盛会。

　　 获奖项目概述

　　 软件被广泛应用在工业制造领域，如轨道交通、航空航天、军事国防等。软件是工业装备正常运行的关键中枢，若此类软件出现问题将会引发重大经济损失或人员伤亡。如何保障软件的安全可信是国际公认的重大挑战。

　　 在国家自然科学基金委创新群体等项目资助下，项目组针对软件开发全生命周期的核心步骤即软件建模、软件编码与软件确认验证过程中三大挑战， 即形式化工程建模方法缺失、人工测试效率低、软件缺陷发现难 ，在面向控制软件形式化建模与验证工程方法、基于程序分析的软件智能白盒测试技术、面向模型的工业 APP 的自动化黑盒测试技术等方面实现了技术发明的突破。

　　 本项目授权发明专利14项、获软件著作权13项、发表高水平论文9篇；实现覆盖软件全生命周期的开发与验证工具3款，其中成功商业化1款。利用工具研发的系统所产生间接经济效益超过12亿元。

　　 内容来源于：中国计算机学会（CCF）官网

　　 工业软件是工业制造领域的大脑和神经，上海控安始终以攻坚工业软件核心技术为己任，坚定自主创新的步伐，紧抓时代发展机遇，不断探索行业需求，脚踏实地打磨技术产品，联合上下游企业构建产业生态，助力我国工业技术软件化的强国之路。