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

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

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

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

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

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

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

(新媒體責(zé)編：zfy2019)