5月19日，一年一度的上海市科学技术奖励大会在上海展览中心举行，隆重表彰为上海科技创新事业和经济社会发展作出突出贡献的科技工作者。由华东师范大学软件工程学院何积丰院士领衔，联合中国电子科技集团公司第三十二研究所、普华基础软件股份有限公司等7家单位共同完成的“面向重大工业装备核心控制软件的安全可信保障技术及应用”项目荣获2019年度上海市科技进步奖特等奖。

上海市科学技术奖由上海市人民政府设立，重点奖励科学发现和技术发明原始性创新、促进经济发展方式转变和培育战略性产业、促进城市安全、健康生态发展和推进区县创新能力和经济发展的重大科技成果。此次，经上海市科学技术奖评审委员会评审、市科学技术奖励委员会审定、上海市人民政府批准，从提名835项（人）中，评选出308项（人）授予2019上海市科学技术奖。

“面向重大工业装备核心控制软件的安全可信保障技术及应用”项目参研单位聚焦我国重大工业装备核心控制软件的安全可信保障技术，对接国家相关战略部署，历经十余年深入研究，以产教学研协同创新为路径，攻克了软件安全可信保障技术的三大难题，即正确性“验证难”、可靠性“保障难”与复杂性“分析难”，突破了控制软件分析、验证及测试等多项关键技术难题，实现了覆盖软件全生命周期的开发与验证工具链，有力地保障了重大工业装备核心控制软件研制的安全可信。

项目实施过程中，普华汽车电子技术团队运用形式化建模及验证的方法在基础软件的规范层及设计实现层进行分析，对AUTOSAR基础软件产品进行验证，对于保障国产汽车电子基础软件平台及多个控制器产品的安全性发挥了极其重要的作用，提高了系统的安全性和可靠性。

作为中国电子科技集团公司旗下发展基础软件的重要平台，普华基础软件肩负提升基础软件产业核心竞争力，引领技术创新，铸就安全基石的使命。普华是中国软件企业中唯一的AUTOSAR高级合作伙伴，是国内首家通过ASPICE 三级认证的汽车电子软件开发企业，通过内引外联吸收国内外先进技术，构建了完整的汽车电子基础软件研发体系，致力于汽车电子AUTOSAR基础软件的研发、产品销售和技术服务。

值得一提的是，早于2011年，华东师范大学和普华就成立了汽车电子联合实验室，双方在汽车电子基础软件方面展开长期合作，研发基于AUTOSAR开放体系架构、符合国内产业需求的汽车电子嵌入式基础软件平台，提供包括汽车电子基础软件测试、仿真、验证技术研究等领域的专业化测试服务。同时，双方将开展面向智能网联汽车的车载计算软硬件平台技术研发工作，针对系统核心关键部件进行技术攻关，运用可信计算技术加以保障。

未来，普华汽车电子将一如既往耕耘AUTOSAR基础软件核心技术的创新发展，关注ISO26262车规功能安全软件设计要求，通过协同创新和产业化应用引领我国汽车电子基础软件的发展，在“软件定义汽车”的大趋势中对国产汽车产业做出更大的贡献。