5月19日，由华东师范大学牵头，华东师范大学软件工程学院创院院长、中国科学院院士何积丰作为第一完成人的《面向重大工业装备核心控制软件的安全可信保障技术及应用》项目获颁2019年度上海市科技进步奖特等奖。

高可信技术是保障核心工业软件成功研制的关键手段。如何保障高端装备控制软件的安全可信是国际公认的重大挑战，特别是我国航空、航天、轨道交通和电力控制等安全攸关领域，其重大装备的核心控制软件的研制技术，例如软件验证、分析、测试与质量评估等，急需解决技术与工具产品的自主可控问题，以支撑我国经济转型升级，打破国外在该领域的垄断。

高可信技术是保障核心工业软件成功研制的关键手段。正如何积丰所言：“控制软件是工业重大装备的中枢，是国家利器。要让它足够锋利，就需要优良的磨刀石。我们就是把铸剑的磨刀石做好做精，这样来提高重大装备核心控制软件的质量，确保它们安全可信。”

项目参研单位聚焦我国重大工业装备核心控制软件的软件安全可信保障技术，对接国家“自主可控”战略部署，历经十余年深入研究，以产教学研协同创新为路径，攻克了软件安全可信保障技术的三大难题，即正确性“验证难”、可靠性“保障难”与复杂性“分析难”。

项目组采用形式化分析、测试与验证等核心技术，首创形式化统一建模理论与多维度验证技术，解决了困扰国际学术界二十余年的难题；构建了面向信物融合的多层次仿真与测试技术，支撑卡斯柯信号有限公司的地铁信号系统成为获国际最高安全认证SIL4的信号系统；发明了不确定环境下多属性量化评估与分析技术，应用于载人航天工程“天宫一号与神舟八号对接”、风云四号卫星发射等一批国家重要任务。

据介绍，该项目的一大亮点是形成了系统化的自主可控软件开发工具链，覆盖了重大工业装备核心控制软件开发的全生命周期。据统计，该项目已开发具有完全知识产权的形式化建模、测试与验证工具11款，已经形成商业化产品的达6款。其中，自主研发的软件自动化测试工具SmartUnit更是成为了国内首款通过国际上公认标准TUV功能安全认证的测试工具。近三年，仅工具销售额即达到了1.5亿元。项目成果形成了“理论-方法-技术-产业应用”的良性循环。 “我们一直希望，我们的科学研究工作，是能从产业实际出发，提炼科学问题，再通过研究成果的应用来验证我们的想法，最终形成核心技术去解决国家所面临的问题。”何积丰说。

据悉，历经十余年，该项目已产生了显著的社会和经济效益。项目新增直接经济效益和利润累计超14.2亿元人民币，实现利润超2.1亿元人民币，间接带动了千亿产值的产业效益。

同时，该项目成果成功支撑了“风云四号”卫星发射、“神舟八号与天宫一号对接”以及“探月工程月地高速再入返回器”等在内的多项重要航天任务；项目参研单位卡斯柯信号有限公司完全自主研发的城市轨道交通信号系统解决方案，成功部署于东非地区的第一条城市轻轨，成为中国第一套“走出去”的自主信号系统解决方案，有力地支撑了“一带一路”倡议。

2018年，在该项目的支持下，作为支撑上海科技创新中心“四梁八柱”的重要创新力量——上海工业控制系统安全创新功能型平台正式成立。该平台是以可信软件构造为核心技术，聚焦轨道交通、航空航天、汽车电子和电力控制等安全攸关领域的软件研制，是上海市首批推动建设的18个研发与转化功能型平台之一。平台的建立也是项目长期以来有力支撑上海国际科创中心建设，辐射长三角地区、带动相关产业发展落地的重要举措。

据悉，该项目研究期间，共授权发明专利27项，获得软件著作权62项，制定行业标准2项，出版英文专著1本，发表高水平论文60篇，获得包括教育部自然科学奖一等奖在内的3项省部级以上奖励。自2008年1月起，项目第一完成人何积丰担任国家自然科学基金委“可信软件基础研究”重大研究计划首席科学家，支持全国科研院所项目107项，并获得何梁何利科学与技术进步奖及上海市科技功臣、全国优秀科技工作者等称号。