由華東師范大學牽頭，華東師范大學軟件工程學院創(chuàng)院院長、中國科學院院士何積豐作為第一完成人的《面向重大工業(yè)裝備核心控制軟件的安全可信保障技術及應用》項目19日獲得2019年度上海市科技進步特等獎。

獲獎團隊代表、華東師范大學軟件工程學院院長助理繆煒愷介紹，該項目不僅服務于上海地鐵線路、C919大飛機等工程，還支撐了“風云四號”衛(wèi)星和“神舟八號與天宮一號對接”等在內的多項重要航天任務。

據(jù)介紹，項目牽頭單位聚焦軟件安全可信保障技術，歷經(jīng)十余年深入研究，以產(chǎn)教學研協(xié)同創(chuàng)新為路徑，攻克了軟件安全可信保障技術的三大難題，即正確性“驗證難”、可靠性“保障難”與復雜性“分析難”。

項目組支撐卡斯柯信號有限公司的地鐵信號系統(tǒng)是獲得國際最高安全認證SIL4的信號系統(tǒng)。

來自申通地鐵集團技術中心的檢測總經(jīng)理技術總監(jiān)萬勇兵透露，擁有10多條線路、700多公里里程、400余座車站的上海地鐵，為對接國家自主可控戰(zhàn)略需求，4月已聘請何積豐院士擔綱首席科學家。上海地鐵將在10號線、17號線無人駕駛基礎上，把高可信技術應用于上海智慧地鐵建設之中，更新升級“智慧軌交”，助力上海保持在國內外城市軌道交通行業(yè)的技術領先地位和持續(xù)快速發(fā)展。

在該項目的支持下，作為支撐上�？萍紕�(chuàng)新中心“四梁八柱”的重要創(chuàng)新力量——上海工業(yè)控制系統(tǒng)安全創(chuàng)新功能型平臺2018年正式成立。該平臺是以可信軟件構造為核心技術，聚焦軌道交通、航空航天、汽車電子和電力控制等安全攸關領域的軟件研制，是上海市首批推動建設的18個研發(fā)與轉化功能型平臺之一。平臺的建立也是項目長期以來有力支撐上海國際科創(chuàng)中心建設、輻射長三角地區(qū)，帶動相關產(chǎn)業(yè)發(fā)展的落地舉措。

據(jù)悉，項目組成員致力于實現(xiàn)“產(chǎn)教學研”的深層次融合，支撐產(chǎn)業(yè)和院校的長期化高質量人才培養(yǎng)。未來，項目團隊將繼續(xù)聚焦軟件產(chǎn)業(yè)，為國產(chǎn)大飛機、深空探測和新型軌道交通信號系統(tǒng)等重大國家級技術攻關提供共性技術，助力上�？苿�(chuàng)中心建設。

(新媒體責編：zfy2019)