2020年5月19日上午，2019年度上海市科学技术奖励大会在上海展览中心中央大厅召开，隆重表彰为上海科技创新事业和经济社会发展做出突出贡献的科技工作者。“面向重大工业装备核心控制软件的安全可信保障技术及应用”项目荣获科技进步奖特等奖，该项目由华东师范大学牵头, 上海自动化仪表有限公司作为主要参与单位完成。

该项目属计算机科学与技术领域。重大工业装备是轨道交通、航空航天、军事国防、能源装备等国家关键基础设施的重要组成部分，核心控制软件是工业装备正常运行的关键中枢。如何保障核心控制软件的安全可信是国际公认的重大挑战，也是我国经济转型升级亟需解决的“卡脖子”问题。项目攻克了控制软件安全可信保障技术三大基础性难题即软件正确性“验证难”、可靠性“保障难”与复杂性“分析难”，并突破了控制软件分析、验证及测试等多项关键技术难题，实现了覆盖软件全生命周期的开发与验证工具链，有力地保障了重大工业装备核心控制软件研制的安全可信。技术成果目前已应用于“嫦娥三期”和上海首条无人驾驶地铁线路等一大批重大工程，未来也将在能源装备领域，特别是核电领域核心控制软件研制等方面发挥重要作用。