國(guó)內(nèi)首創(chuàng)！華東師大牽頭研發(fā)項(xiàng)目獲上海市科技進(jìn)步特等獎(jiǎng)

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

做好做精鑄劍的磨刀石 保障安全攸關(guān)領(lǐng)域自主可控

如何保障高端裝備控制軟件的安全可信是國(guó)際公認(rèn)的重大挑戰(zhàn)，特別是我國(guó)航空、航天、軌道交通和電力控制等安全攸關(guān)領(lǐng)域，其重大裝備的核心控制軟件的研制技術(shù)，例如軟件驗(yàn)證、分析、測(cè)試與質(zhì)量評(píng)估等，急需解決技術(shù)與工具產(chǎn)品的自主可控問(wèn)題，以支撐我國(guó)經(jīng)濟(jì)轉(zhuǎn)型升級(jí)，打破國(guó)外在該領(lǐng)域的壟斷。

高可信技術(shù)是保障核心工業(yè)軟件成功研制的關(guān)鍵手段。正如何積豐院士所言：“控制軟件是工業(yè)重大裝備的中樞，是國(guó)家利器。要讓它足夠鋒利，就需要優(yōu)良的磨刀石。我們就是把鑄劍的磨刀石做好做精，這樣來(lái)提高重大裝備核心控制軟件的質(zhì)量，確保它們安全可信�！�

項(xiàng)目參研單位聚焦我國(guó)重大工業(yè)裝備核心控制軟件的軟件安全可信保障技術(shù)，對(duì)接國(guó)家“自主可控”戰(zhàn)略部署，歷經(jīng)十余年深入研究，以產(chǎn)教學(xué)研協(xié)同創(chuàng)新為路徑，攻克了軟件安全可信保障技術(shù)的三大難題，即正確性“驗(yàn)證難”、可靠性“保障難”與復(fù)雜性“分析難”。

項(xiàng)目組采用形式化分析、測(cè)試與驗(yàn)證等核心技術(shù)，首創(chuàng)形式化統(tǒng)一建模理論與多維度驗(yàn)證技術(shù)，解決了困擾國(guó)際學(xué)術(shù)界二十余年的難題；構(gòu)建了面向信物融合的多層次仿真與測(cè)試技術(shù)，支撐卡斯柯信號(hào)有限公司（國(guó)內(nèi)排名第一）的地鐵信號(hào)系統(tǒng)成為國(guó)內(nèi)首個(gè)獲國(guó)際最高安全認(rèn)證SIL4的信號(hào)系統(tǒng)；發(fā)明了不確定環(huán)境下多屬性量化評(píng)估與分析技術(shù)，應(yīng)用于載人航天工程等一批國(guó)家重要任務(wù)。

科學(xué)研究從產(chǎn)業(yè)實(shí)際出發(fā) 社會(huì)和經(jīng)濟(jì)效益顯著

項(xiàng)目的一大亮點(diǎn)是形成了系統(tǒng)化的自主可控軟件開(kāi)發(fā)工具鏈，覆蓋了重大工業(yè)裝備核心控制軟件開(kāi)發(fā)的全生命周期。據(jù)統(tǒng)計(jì)，完全知識(shí)產(chǎn)權(quán)的形式化建模、測(cè)試與驗(yàn)證工具11款，已經(jīng)形成商業(yè)化產(chǎn)品的達(dá)6款。其中，自主研發(fā)的軟件自動(dòng)化測(cè)試工具SmartUnit更是成為了國(guó)內(nèi)首款通過(guò)國(guó)際上公認(rèn)標(biāo)準(zhǔn)TUV功能安全認(rèn)證的測(cè)試工具。近三年，來(lái)僅工具銷(xiāo)售額即達(dá)到了1.5億。項(xiàng)目成果形成了“理論-方法-技術(shù)-產(chǎn)業(yè)應(yīng)用”的良性循環(huán)�！拔覀円恢毕Ｍ�，我們的科學(xué)研究工作，是能從產(chǎn)業(yè)實(shí)際出發(fā)，提煉科學(xué)問(wèn)題，再通過(guò)研究成果的應(yīng)用來(lái)驗(yàn)證我們的想法，最終形成核心技術(shù)去解決國(guó)家所面臨的問(wèn)題�！焙畏e豐院士說(shuō)。

在這樣的共識(shí)下，項(xiàng)目團(tuán)隊(duì)潛心研究探索，并在實(shí)踐中不斷完善。歷經(jīng)十余年，該項(xiàng)目已產(chǎn)生了顯著的社會(huì)和經(jīng)濟(jì)效益。項(xiàng)目新增直接經(jīng)濟(jì)效益和利潤(rùn)累計(jì)超14.2億元人民幣，實(shí)現(xiàn)利潤(rùn)超2.1億元人民幣，間接帶動(dòng)了千億產(chǎn)值的產(chǎn)業(yè)效益。

項(xiàng)目成果成功支撐了“風(fēng)云四號(hào)”衛(wèi)星發(fā)射、“神舟八號(hào)與天宮一號(hào)對(duì)接”以及“探月工程月地高速再入返回器”等在內(nèi)的多項(xiàng)重要航天任務(wù)；項(xiàng)目參研單位卡斯柯信號(hào)有限公司完全自主研發(fā)的TRANAVI城市軌道交通信號(hào)系統(tǒng)解決方案，成功部署于東非地區(qū)的第一條城市輕軌，即埃塞俄比亞的斯亞貝巴輕軌，成為中國(guó)第一套“走出去”的自主信號(hào)系統(tǒng)解決方案，有力地支撐了“一帶一路”倡議。

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

“80后”挑大梁 探索出有別于傳統(tǒng)科研模式的新路

該項(xiàng)目的完成團(tuán)隊(duì)是一支團(tuán)結(jié)、拼搏、富于創(chuàng)造性、充滿(mǎn)活力的隊(duì)伍。以何積豐院士為隊(duì)伍的主心骨，項(xiàng)目組成員來(lái)自五湖四海，既有從美國(guó)、日本回來(lái)的青年海歸教授，也有國(guó)內(nèi)院校培養(yǎng)的人才，同時(shí)也匯聚了一批來(lái)自重點(diǎn)領(lǐng)域企業(yè)的研發(fā)和技術(shù)骨干。團(tuán)隊(duì)年齡結(jié)構(gòu)合理，一大批青年才俊已經(jīng)在項(xiàng)目中起到中堅(jiān)作用。在何積豐院士看來(lái)，各類(lèi)不同風(fēng)格和研究背景的同志在一起，更容易激發(fā)靈感�！拔覀兊年�(duì)伍里，‘80后’的同志也已經(jīng)挑大梁，這一點(diǎn)對(duì)長(zhǎng)期發(fā)展來(lái)說(shuō)很重要�！睋�(jù)統(tǒng)計(jì)，項(xiàng)目15名主要完成人中，“80后”青年科研工作者就有6名。

項(xiàng)目成功的一大重要因素是發(fā)揮了“舉國(guó)體制、團(tuán)隊(duì)作戰(zhàn)”的威力，并且在機(jī)制層面嘗試創(chuàng)新。從一開(kāi)始，這支隊(duì)伍就在探索一條有別于傳統(tǒng)科研模式的新路。在項(xiàng)目的發(fā)展歷程中，高校、研究所和企業(yè)的合作則顯得高度融合。華東師范大學(xué)軟件工程學(xué)院的教授們與企業(yè)研發(fā)團(tuán)隊(duì)，一直以解決行業(yè)一線(xiàn)問(wèn)題為目標(biāo)，其知識(shí)產(chǎn)權(quán)和工作模式，體現(xiàn)了極高的協(xié)同性。院士工作站，落戶(hù)卡斯柯信號(hào)有限公司；中電科32所則與華東師范大學(xué)聯(lián)合組建了國(guó)家工程中心。正是這樣的機(jī)制創(chuàng)新，充分挖掘了項(xiàng)目參與方的各自?xún)?yōu)勢(shì)條件，為項(xiàng)目成功奠定了基礎(chǔ)。

項(xiàng)目組成員致力于實(shí)現(xiàn)“產(chǎn)教學(xué)研”的深層次融合，支撐產(chǎn)業(yè)和院校的長(zhǎng)期化高質(zhì)量人才培養(yǎng)。由項(xiàng)目單位研制的測(cè)試工具在軟件工程頂級(jí)學(xué)術(shù)會(huì)議ICSE上獲國(guó)際計(jì)算機(jī)協(xié)會(huì)（ACM）學(xué)生學(xué)術(shù)競(jìng)賽研究生組金獎(jiǎng)，這是中國(guó)大陸高校研究生首次在軟件工程類(lèi)頂級(jí)國(guó)際學(xué)術(shù)競(jìng)賽獲此殊榮。多年來(lái)，近千名高端軟件人才從這里出發(fā)，投身于軌道交通、航空航天、汽車(chē)電子和電力控制等領(lǐng)域，有效提升了我國(guó)可信軟件研究的國(guó)際競(jìng)爭(zhēng)力，極大推動(dòng)了軟件可信技術(shù)在工業(yè)界的轉(zhuǎn)化與應(yīng)用。

回顧十余年創(chuàng)業(yè)歷程，令團(tuán)隊(duì)成員感到自豪的，是這支隊(duì)伍在長(zhǎng)期工作中自然形成的團(tuán)隊(duì)文化：要“仰望星空”，以天下為己任，對(duì)接國(guó)家戰(zhàn)略，勇于挑戰(zhàn)根本問(wèn)題；要“腳踏實(shí)地”，“把論文寫(xiě)在祖國(guó)大地上”，形成核心技術(shù)、切實(shí)解決行業(yè)問(wèn)題；要有務(wù)實(shí)的工作態(tài)度，拒絕浮躁心理，不盲目追逐熱點(diǎn)，堅(jiān)持長(zhǎng)期專(zhuān)注探索，“甘坐冷板凳，十年磨一劍”；要有寬廣的視野胸懷，勇于善于拼搏、敢于直面國(guó)際競(jìng)爭(zhēng)以“推動(dòng)中國(guó)制造向中國(guó)創(chuàng)造轉(zhuǎn)變”；要有開(kāi)放的創(chuàng)新思維，勇于突破發(fā)展瓶頸、善于完善創(chuàng)新機(jī)制、“搭建創(chuàng)新服務(wù)平臺(tái)，推動(dòng)科技和經(jīng)濟(jì)緊密結(jié)合”。正是這樣的精神力量，項(xiàng)目組克服了科研道路上的各種困難，解決了一個(gè)個(gè)難題，最終形成了令人矚目的成果。

未來(lái)，項(xiàng)目團(tuán)隊(duì)將一如既往緊密?chē)�繞“中國(guó)制造2025”國(guó)家戰(zhàn)略和“一帶一路”倡議等，聚焦我國(guó)自主可控安全攸關(guān)軟件產(chǎn)業(yè)，為國(guó)產(chǎn)大飛機(jī)、深空探測(cè)和新型軌道交通信號(hào)系統(tǒng)等重大國(guó)家級(jí)技術(shù)攻關(guān)提供共性技術(shù)，通過(guò)協(xié)同創(chuàng)新和產(chǎn)業(yè)化應(yīng)用形成自主可控軟件人才和產(chǎn)業(yè)的集聚效應(yīng)，為上�？苿�(chuàng)中心及長(zhǎng)江經(jīng)濟(jì)帶建設(shè)提供有力支撐，引領(lǐng)我國(guó)自主可控軟件產(chǎn)業(yè)發(fā)展，在國(guó)際上形成高端裝備核心軟件的“中國(guó)制造”品牌。

該項(xiàng)目的成功離不開(kāi)包括國(guó)家自然科學(xué)基金委員會(huì)、科技部、上海市科委和上海市經(jīng)信委在內(nèi)的多方支持。2011年項(xiàng)目獲得國(guó)家基金委創(chuàng)新群體項(xiàng)目資助，并于2014年獲滾動(dòng)資助；同年，獲得科技部首個(gè)信息物理融合系統(tǒng)主題863研究項(xiàng)目“面向信息-物理融合的系統(tǒng)平臺(tái)”資助；2015年，再獲國(guó)家自然科學(xué)基金重大研究計(jì)劃重點(diǎn)項(xiàng)目資助。項(xiàng)目研究期間，共授權(quán)發(fā)明專(zhuān)利27項(xiàng)，獲得軟著62項(xiàng)，制定行業(yè)標(biāo)準(zhǔn)2項(xiàng)，出版英文專(zhuān)著1本，發(fā)表高水平論文60篇，獲得包括教育部自然科學(xué)獎(jiǎng)一等獎(jiǎng)在內(nèi)的3項(xiàng)省部級(jí)以上獎(jiǎng)勵(lì)。自2008年1月起，項(xiàng)目第一完成人何積豐院士擔(dān)任國(guó)家自然科學(xué)基金委“可信軟件基礎(chǔ)研究”重大研究計(jì)劃首席科學(xué)家，支持全國(guó)科研院所項(xiàng)目107項(xiàng)，并獲得何梁何利科學(xué)與技術(shù)進(jìn)步獎(jiǎng)及上海市科技功臣、全國(guó)優(yōu)秀科技工作者等稱(chēng)號(hào)。