華師大與普華合作項目榮獲上海科技進步獎特等獎

5月19日，一年一度的上海市科學技術獎勵大會在上海展覽中心舉行，隆重表彰為上海科技創新事業和經濟社會發展作出突出貢獻的科技工作者。由華東師範大學軟體工程學院何積豐院士領銜，聯合中國電子科技集團公司第三十二研究所、普華基礎軟體股份有限公司等7家單位共同完成的「面向重大工業裝備核心控制軟體的安全可信保障技術及應用」項目榮獲2019年度上海市科技進步獎特等獎。

華東師範大學軟體工程學院何積豐院士（左3）

上海市科學技術獎由上海市人民政府設立，重點獎勵科學發現和技術發明原始性創新、促進經濟發展方式轉變和培育戰略性產業、促進城市安全、健康生態發展和推進區縣創新能力和經濟發展的重大科技成果。此次，經上海市科學技術獎評審委員會評審、市科學技術獎勵委員會審定、上海市人民政府批准，從提名835項（人）中，評選出308項（人）授予2019上海市科學技術獎。

「面向重大工業裝備核心控制軟體的安全可信保障技術及應用」項目參研單位聚焦我國重大工業裝備核心控制軟體的安全可信保障技術，對接國家相關戰略部署，歷經十餘年深入研究，以產教學研協同創新為路徑，攻克了軟體安全可信保障技術的三大難題，即正確性「驗證難」、可靠性「保障難」與複雜性「分析難」，突破了控制軟體分析、驗證及測試等多項關鍵技術難題，實現了覆蓋軟體全生命周期的開發與驗證工具鏈，有力地保障了重大工業裝備核心控制軟體研製的安全可信。

項目實施過程中，普華汽車電子技術團隊運用形式化建模及驗證的方法在基礎軟體的規範層及設計實現層進行分析，對AUTOSAR基礎軟體產品進行驗證，對於保障國產汽車電子基礎軟體平臺及多個控制器產品的安全性發揮了極其重要的作用，提高了系統的安全性和可靠性。

作為中國電子科技集團公司旗下發展基礎軟體的重要平臺，普華基礎軟體肩負提升基礎軟體產業核心競爭力，引領技術創新，鑄就安全基石的使命。普華是中國軟體企業中唯一的AUTOSAR高級合作夥伴，是國內首家通過ASPICE 三級認證的汽車電子軟體開發企業，通過內引外聯吸收國內外先進技術，構建了完整的汽車電子基礎軟體研發體系，致力於汽車電子AUTOSAR基礎軟體的研發、產品銷售和技術服務。

值得一提的是，早於2011年，華東師範大學和普華就成立了汽車電子聯合實驗室，雙方在汽車電子基礎軟體方面展開長期合作，研發基於AUTOSAR開放體系架構、符合國內產業需求的汽車電子嵌入式基礎軟體平臺，提供包括汽車電子基礎軟體測試、仿真、驗證技術研究等領域的專業化測試服務。同時，雙方將開展面向智能網聯汽車的車載計算軟硬體平臺技術研發工作，針對系統核心關鍵部件進行技術攻關，運用可信計算技術加以保障。

未來，普華汽車電子將一如既往耕耘AUTOSAR基礎軟體核心技術的創新發展，關注ISO26262車規功能安全軟體設計要求，通過協同創新和產業化應用引領我國汽車電子基礎軟體的發展，在「軟體定義汽車」的大趨勢中對國產汽車產業做出更大的貢獻。