10月23日，2023年度上海市科學技術獎正式揭曉。由華東師范大學軟件工程學院執(zhí)行院長、上?？匕部偨?jīng)理蒲戈光牽頭，華東師范大學、上海控安等單位共同完成的《高安全嵌入式控制軟件全生命周期關鍵開發(fā)技術與環(huán)境》項目，以卓越的技術創(chuàng)新與產(chǎn)業(yè)應用價值，榮膺2023年度上海市技術發(fā)明獎一等獎。 

獲獎項目名稱：

高安全嵌入式控制軟件全生命周期關鍵開發(fā)技術與環(huán)境

主要完成人：

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

主要完成單位：

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

提名者：

上海市教育委員會

聚焦“安全可信”，引領科技創(chuàng)新高峰

蒲戈光教授團隊在大會現(xiàn)場

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

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

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

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

實現(xiàn)“自主可控”，護航關鍵領域安全

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

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

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

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

SmartRocket Prema形式化需求建模工具

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

堅持“創(chuàng)新驅動”，賦能高質量發(fā)展建設

習近平總書記指出，我國科技領域仍然存在一些亟待解決的突出問題，要努力實現(xiàn)關鍵核心技術自主可控，把創(chuàng)新主動權、發(fā)展主動權牢牢掌握在自己手中?！渡虾Ｊ袛?shù)字經(jīng)濟發(fā)展“十四五”規(guī)劃》中明確提出，要加快基礎軟件國產(chǎn)化，強化關鍵核心系統(tǒng)的可靠性和安全性，加快推進工業(yè)基礎軟件自主化發(fā)展和產(chǎn)業(yè)化應用……

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

閱讀原文