简讯 5月19日，2019年度上海市科学技术奖励大会在上海展览中心举行，隆重表彰为上海科技创新事业和经济社会发展作出突出贡献的科技工作者。上海自仪参与的“面向重大工业装备核心控制软件的安全可信保障技术及应用”项目摘得了今年全市两个科技进步特等奖的其中之一。

重大工业装备是轨道交通、航空航天等国家关键基础设施的重要组成部分，核心控制软件是工业装备正常运行的关键中枢，若此类软件出现问题将会引发重大经济损失或人员伤亡。如何保障核心控制软件的安全可信是国际公认的重大挑战，也是我国经济转型升级亟需解决的“卡脖子”问题。该项目攻克了控制软件安全可信保障技术三大基础性难题即软件正确性“验证难”、可靠性“保障难”与复杂性“分析难”，并突破了控制软件分析、验证及测试等多项关键技术难题，实现了覆盖软件全生命周期的开发与验证工具链，有力地保障了重大工业装备核心控制软件研制的安全可信。该项目首次建立了并发程序的统一模型框架，解决了困扰国际学术界二十余年的难题；构建了多层次仿真与测试技术，有效提升了控制系统的测试效率与质量；建立了不确定环境下软件多属性定量评估、实时度量、失效估算等综合量化分析技术；自主研发了支撑软件全生命周期的工具链,填补了多项国内技术空白，已替代部分国外同类产品并在若干关键技术环节形成超越。

其项目成果获发明专利27项，软著62项，行业标准2项，英文专著1本，高水平论文60篇；获6项省部级以上奖励；近三年新增销售额14.2亿元，新增利润2.1亿元，技术成果应用于“嫦娥三期”和上海首条无人驾驶地铁线路等一大批重大工程。项目第一完成人担任基金委重大研究计划“可信软件基础研究”首席科学家，支持全国科研院所项目107项，有效提升了我国可信软件研究的国际竞争力和我国重大工业装备控制领域核心控制软件的安全可信保障水平。

去年5月，公司申报的项目(“大型压水堆核电站仪控设备与系统自主化关键技术及应用”)获2018年度上海市科学技术奖获一等奖。今年再次斩获上海市科学技术奖，公司将为各个领域提供可信软件，为这些领域的自主可控保驾护航。