10月23日，2023年度上海市科学技术奖正式揭晓。由华东师范大学软件工程学院执行院长、上海控安总经理蒲戈光牵头，华东师范大学、上海控安等单位共同完成的《高安全嵌入式控制软件全生命周期关键开发技术与环境》项目，以卓越的技术创新与产业应用价值，荣膺2023年度上海市技术发明奖一等奖。 

获奖项目名称：

高安全嵌入式控制软件全生命周期关键开发技术与环境

主要完成人：

蒲戈光、张民、李钦、缪炜恺、顾斌、郭建、蒋君仁、殷锴、肖前远、蔡喁、冯劲草、王江涛、赵涌鑫、许成伟、宋海涛

主要完成单位：

华东师范大学、上海工业控制安全创新科技有限公司、中国商用飞机有限责任公司上海飞机设计研究院、中国航发商用航空发动机有限责任公司、中国航空无线电电子研究所、北京控制工程研究所、上海交通大学

提名者：

上海市教育委员会

聚焦“安全可信”，引领科技创新高峰

蒲戈光教授团队在大会现场

上海市科学技术奖由上海市人民政府设立，重点表彰在科学发现、技术发明、促进科学技术进步和科学技术普及等方面作出创造性突出贡献的科技工作者与组织，是我国科学技术领域最具权威性的奖项之一，也是国家科技奖励体系的重要组成部分。

工业软件作为现代工业的“灵魂”与“大脑”，是推进我国科技事业高质量发展的核心要素。为构建高安全、高可信的工业嵌入式控制软件开发方法和支撑工具，蒲戈光教授牵头的专家项目团队从基础理论入手，经过在产业界与学术界的长期探索与大量实践，历经十余年的持续研究，突破了嵌入式软件开发软件需求精确表达、设计缺陷有效发现、复杂代码高效测试等核心关键技术，研发了具有完全自主知识产权的高安全嵌入式控制软件开发环境，实现了对三款国外关键软件开发工具的替代和超越，形成了国内首款嵌入式控制软件全生命周期的模型驱动开发基础软件工具集，摆脱了我国在该领域严重受制于人的局面。

蒲戈光教授与团队进行技术攻关

本次荣获上海市技术发明奖一等奖，不仅是对项目团队技术实力和创新成果的充分肯定，也是对上海控安持续推动技术创新、服务国家战略需求的高度认可。上海控安通过不懈努力，攻克了一系列技术难关，为提升我国工业控制系统安全防护能力、保障国家关键基础设施安全稳定运行作出了重要贡献。

实现“自主可控”，护航关键领域安全

嵌入式软件作为工业软件的一种，被广泛应用于航空航天、轨道交通、装备制造等国家战略核心领域，其软件可信性直接影响重大装备运行成败。研发高水平自主可控的工业软件是维护国家安全的重要手段，更是实现中国式现代化的必由之路。国内外学术研究和产业实践表明，保障软件的安全可靠需要对软件开发生命周期阶段产物进行分析与验证，尽可能在软件开发早期消除缺陷。嵌入式控制软件与传统应用软件相比，一方面它与各种硬件设备交互；另一方面，它需要实现具有数学计算的控制逻辑，这些特征为此类软件的正确性保障带来更大挑战。

《高安全嵌入式控制软件全生命周期关键开发技术与环境》项目围绕以上问题，极大程度解决了形式化需求建模方法缺失、软件设计缺陷发现难、代码实现测试效率低等“卡脖子”难题。同时，项目形成SmartRocket TestGrid嵌入式软件自动化测试平台、SmartRocket Modeler高可信嵌入式软件建模开发工具、SmartRocket Prema形式化需求建模工具共3款拥有独立知识产权的国产化替代产品，成功支撑嫦娥5号、天问一号、国产客机等诸多国家重点型号任务，并服务军工装备、轨道交通、航空航天、汽车电子等安全攸关领域众多头部企业，取得了显著的社会和经济效益，为国民经济发展和国防建设作出重要贡献。

SmartRocket TestGrid嵌入式软件自动化测试平台

SmartRocket Modeler高可信嵌入式软件建模开发工具

SmartRocket Prema形式化需求建模工具

项目研究期间，相关技术成果先后取得授权发明专利16项、软件著作权23项，出版专著1部，发表高水平论文36篇，有力支撑“自主可控”国家战略和上海国际科创中心建设。

坚持“创新驱动”，赋能高质量发展建设

习近平总书记指出，我国科技领域仍然存在一些亟待解决的突出问题，要努力实现关键核心技术自主可控，把创新主动权、发展主动权牢牢掌握在自己手中。《上海市数字经济发展“十四五”规划》中明确提出，要加快基础软件国产化，强化关键核心系统的可靠性和安全性，加快推进工业基础软件自主化发展和产业化应用……

坚决维护国家安全、牢牢掌握科技命脉，是时代赋予的重任与使命。上海控安将始终保持“为工业安全赋能”的初心使命，秉承“创新驱动发展”理念，砥砺前行，不断突破关键基础设计及核心领域嵌入式控制软件技术，加速构建安全可信的工业控制体系，为我国科技进步和经济发展谱写更加辉煌的篇章。

阅读原文