支撑航天、地铁等工业装备沪研制人员攻克软件安全难题

资料图：2018年，上海工业控制系统安全创新功能型平台揭幕仪式。华东师范大学 供图

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

获奖团队代表、华东师范大学软件工程学院院长助理缪炜恺介绍，该项目不仅服务于上海地铁线路、C919大飞机等工程，还支撑了“风云四号”卫星和“神舟八号与天宫一号对接”等在内的多项重要航天任务。

据介绍，项目牵头单位聚焦软件安全可信保障技术，历经十余年深入研究，以产教学研协同创新为路径，攻克了软件安全可信保障技术的三大难题，即正确性“验证难”、可靠性“保障难”与复杂性“分析难”。

项目组支撑卡斯柯信号有限公司的地铁信号系统是获得国际最高安全认证SIL4的信号系统。

来自申通地铁集团技术中心的检测总经理技术总监万勇兵透露，拥有10多条线路、700多公里里程、400余座车站的上海地铁，为对接国家自主可控战略需求，4月已聘请何积丰院士担纲首席科学家。上海地铁将在10号线、17号线无人驾驶基础上，把高可信技术应用于上海智慧地铁建设之中，更新升级“智慧轨交”，助力上海保持在国内外城市轨道交通行业的技术领先地位和持续快速发展。

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

据悉，项目组成员致力于实现“产教学研”的深层次融合，支撑产业和院校的长期化高质量人才培养。未来，项目团队将继续聚焦软件产业，为国产大飞机、深空探测和新型轨道交通信号系统等重大国家级技术攻关提供共性技术，助力上海科创中心建设。