5月19日，由中国科学院院士、上海控安首席科学家何积丰、总经理蒲戈光教授牵头的《面向重大工业装备核心控制软件的安全可信保障技术及应用》项目摘得“2019年度上海市科技进步奖·特等奖”。我国航空航天、轨道交通、电力控制等安全攸关领域，因此都有了中国人自主可控、高度可信的中枢神经。

破解软件“信任危机”，

解决产业“卡脖子”难题

“十几年前我们就意识到，软件不总是可以让人信任的。”何院士回忆，当时不断有企业找上门来：有的引进了国外软件，却发现它水土不服，但又如同“黑匣子”，难以优化；有的自主开发软件产品，却不知如何说服客户信任它…

归根到底，我国要建立一套软件“体检”系统，通过它实现对软件的自动化验证、测试，及时找出软件中存在的隐患，确保运行安全无虞。何院士说，随着软件运行和开发环境从传统的封闭、静态，转向开放、动态、多变的互联网环境，“可信软件”必将成为现代软件技术发展和应用的重要趋势和必然选择。

为了给国产软件打上学术界、产业界都认可的“安全可信”标签，中国科学院院士、上海控安首席科学家何积丰带领控安团队从基础理论入手，破解重重难题，自主研发国内首款通过国际权威认证的嵌入式单元测试工具SmartRocket Unit，并形成11款具有完全自主知识产权的形式化建模、测试与验证工具，其中6款已实现商业化。

目前，这一系列工具已为我国风云四号卫星、探月工程三期等50余个航空航天重大任务提供了支撑，并为上海地铁10号线、17号线等多条国内外轨道交通线路提供安全保障。总体上，项目面向各行各业新增直接经济效益和利润累计超14.2亿元，间接带动了千亿产值的产业效益。

攻关共性技术，

引领我国自主可控软件产业发展

共性技术即通用工具，用何院士的话作比方，就是让不同行业的企业都能像淘宝一样在网上获得软件服务。

在数字经济转型的背景下，上海控安携手上下游合作伙伴，挖掘行业共性问题，以技术创新为驱动，提前布局产业升级技术储备，整合各方优势资源并转化为实际生产力，推动工控安全产业发展。

未来，在何院士的带领下，上海控安将继续为国产大飞机、深空探测和下一代城市轨道交通列车运行控制系统等重大国家级技术攻关提供共性技术，形成自主可控软件人才和产业集聚效应，引领我国自主可控软件产业发展，在国际上也形成高端装备核心软件的“中国造”品牌。