10月23日，2023年度上海市科學技術獎正式揭曉。由華東師范大學軟件工程學院執行院長、上?？匕部偨浝砥迅旯鉅款^，華東師范大學、上?？匕驳葐挝还餐瓿傻摹陡甙踩度胧娇刂栖浖芷陉P鍵開發技術與環境》項目，以卓越的技術創新與產業應用價值，榮膺2023年度上海市技術發明獎一等獎。 

獲獎項目名稱：

高安全嵌入式控制軟件全生命周期關鍵開發技術與環境

主要完成人：

蒲戈光、張民、李欽、繆煒愷、顧斌、郭建、蔣君仁、殷鍇、肖前遠、蔡喁、馮勁草、王江濤、趙涌鑫、許成偉、宋海濤

主要完成單位：

華東師范大學、上海工業控制安全創新科技有限公司、中國商用飛機有限責任公司上海飛機設計研究院、中國航發商用航空發動機有限責任公司、中國航空無線電電子研究所、北京控制工程研究所、上海交通大學

提名者：

上海市教育委員會

聚焦“安全可信”，引領科技創新高峰

蒲戈光教授團隊在大會現場

上海市科學技術獎由上海市人民政府設立，重點表彰在科學發現、技術發明、促進科學技術進步和科學技術普及等方面作出創造性突出貢獻的科技工作者與組織，是我國科學技術領域最具權威性的獎項之一，也是國家科技獎勵體系的重要組成部分。

工業軟件作為現代工業的“靈魂”與“大腦”，是推進我國科技事業高質量發展的核心要素。為構建高安全、高可信的工業嵌入式控制軟件開發方法和支撐工具，蒲戈光教授牽頭的專家項目團隊從基礎理論入手，經過在產業界與學術界的長期探索與大量實踐，歷經十余年的持續研究，突破了嵌入式軟件開發軟件需求精確表達、設計缺陷有效發現、復雜代碼高效測試等核心關鍵技術，研發了具有完全自主知識產權的高安全嵌入式控制軟件開發環境，實現了對三款國外關鍵軟件開發工具的替代和超越，形成了國內首款嵌入式控制軟件全生命周期的模型驅動開發基礎軟件工具集，擺脫了我國在該領域嚴重受制于人的局面。

蒲戈光教授與團隊進行技術攻關

本次榮獲上海市技術發明獎一等獎，不僅是對項目團隊技術實力和創新成果的充分肯定，也是對上?？匕渤掷m推動技術創新、服務國家戰略需求的高度認可。上海控安通過不懈努力，攻克了一系列技術難關，為提升我國工業控制系統安全防護能力、保障國家關鍵基礎設施安全穩定運行作出了重要貢獻。

實現“自主可控”，護航關鍵領域安全

嵌入式軟件作為工業軟件的一種，被廣泛應用于航空航天、軌道交通、裝備制造等國家戰略核心領域，其軟件可信性直接影響重大裝備運行成敗。研發高水平自主可控的工業軟件是維護國家安全的重要手段，更是實現中國式現代化的必由之路。國內外學術研究和產業實踐表明，保障軟件的安全可靠需要對軟件開發生命周期階段產物進行分析與驗證，盡可能在軟件開發早期消除缺陷。嵌入式控制軟件與傳統應用軟件相比，一方面它與各種硬件設備交互；另一方面，它需要實現具有數學計算的控制邏輯，這些特征為此類軟件的正確性保障帶來更大挑戰。

《高安全嵌入式控制軟件全生命周期關鍵開發技術與環境》項目圍繞以上問題，極大程度解決了形式化需求建模方法缺失、軟件設計缺陷發現難、代碼實現測試效率低等“卡脖子”難題。同時，項目形成SmartRocket TestGrid嵌入式軟件自動化測試平臺、SmartRocket Modeler高可信嵌入式軟件建模開發工具、SmartRocket Prema形式化需求建模工具共3款擁有獨立知識產權的國產化替代產品，成功支撐嫦娥5號、天問一號、國產客機等諸多國家重點型號任務，并服務軍工裝備、軌道交通、航空航天、汽車電子等安全攸關領域眾多頭部企業，取得了顯著的社會和經濟效益，為國民經濟發展和國防建設作出重要貢獻。

SmartRocket TestGrid嵌入式軟件自動化測試平臺

SmartRocket Modeler高可信嵌入式軟件建模開發工具

SmartRocket Prema形式化需求建模工具

項目研究期間，相關技術成果先后取得授權發明專利16項、軟件著作權23項，出版專著1部，發表高水平論文36篇，有力支撐“自主可控”國家戰略和上海國際科創中心建設。

堅持“創新驅動”，賦能高質量發展建設

習近平總書記指出，我國科技領域仍然存在一些亟待解決的突出問題，要努力實現關鍵核心技術自主可控，把創新主動權、發展主動權牢牢掌握在自己手中?！渡虾Ｊ袛底纸洕l展“十四五”規劃》中明確提出，要加快基礎軟件國產化，強化關鍵核心系統的可靠性和安全性，加快推進工業基礎軟件自主化發展和產業化應用……

堅決維護國家安全、牢牢掌握科技命脈，是時代賦予的重任與使命。上?？匕矊⑹冀K保持“為工業安全賦能”的初心使命，秉承“創新驅動發展”理念，砥礪前行，不斷突破關鍵基礎設計及核心領域嵌入式控制軟件技術，加速構建安全可信的工業控制體系，為我國科技進步和經濟發展譜寫更加輝煌的篇章。

閱讀原文