5月19日，由中國(guó)科學(xué)院院士、上?？匕彩紫茖W(xué)家何積豐、總經(jīng)理蒲戈光教授牽頭的《面向重大工業(yè)裝備核心控制軟件的安全可信保障技術(shù)及應(yīng)用》項(xiàng)目摘得“2019年度上海市科技進(jìn)步獎(jiǎng)·特等獎(jiǎng)”。我國(guó)航空航天、軌道交通、電力控制等安全攸關(guān)領(lǐng)域，因此都有了中國(guó)人自主可控、高度可信的中樞神經(jīng)。

破解軟件“信任危機(jī)”，

解決產(chǎn)業(yè)“卡脖子”難題

“十幾年前我們就意識(shí)到，軟件不總是可以讓人信任的?！焙卧菏炕貞洠?dāng)時(shí)不斷有企業(yè)找上門來(lái)：有的引進(jìn)了國(guó)外軟件，卻發(fā)現(xiàn)它水土不服，但又如同“黑匣子”，難以優(yōu)化；有的自主開(kāi)發(fā)軟件產(chǎn)品，卻不知如何說(shuō)服客戶信任它…

歸根到底，我國(guó)要建立一套軟件“體檢”系統(tǒng)，通過(guò)它實(shí)現(xiàn)對(duì)軟件的自動(dòng)化驗(yàn)證、測(cè)試，及時(shí)找出軟件中存在的隱患，確保運(yùn)行安全無(wú)虞。何院士說(shuō)，隨著軟件運(yùn)行和開(kāi)發(fā)環(huán)境從傳統(tǒng)的封閉、靜態(tài)，轉(zhuǎn)向開(kāi)放、動(dòng)態(tài)、多變的互聯(lián)網(wǎng)環(huán)境，“可信軟件”必將成為現(xiàn)代軟件技術(shù)發(fā)展和應(yīng)用的重要趨勢(shì)和必然選擇。

攻關(guān)共性技術(shù)，

引領(lǐng)我國(guó)自主可控軟件產(chǎn)業(yè)發(fā)展

共性技術(shù)即通用工具，用何院士的話作比方，就是讓不同行業(yè)的企業(yè)都能像淘寶一樣在網(wǎng)上獲得軟件服務(wù)。

在數(shù)字經(jīng)濟(jì)轉(zhuǎn)型的背景下，上海控安攜手上下游合作伙伴，挖掘行業(yè)共性問(wèn)題，以技術(shù)創(chuàng)新為驅(qū)動(dòng)，提前布局產(chǎn)業(yè)升級(jí)技術(shù)儲(chǔ)備，整合各方優(yōu)勢(shì)資源并轉(zhuǎn)化為實(shí)際生產(chǎn)力，推動(dòng)工控安全產(chǎn)業(yè)發(fā)展。

未來(lái)，在何院士的帶領(lǐng)下，上?？匕矊⒗^續(xù)為國(guó)產(chǎn)大飛機(jī)、深空探測(cè)和下一代城市軌道交通列車運(yùn)行控制系統(tǒng)等重大國(guó)家級(jí)技術(shù)攻關(guān)提供共性技術(shù)，形成自主可控軟件人才和產(chǎn)業(yè)集聚效應(yīng)，引領(lǐng)我國(guó)自主可控軟件產(chǎn)業(yè)發(fā)展，在國(guó)際上也形成高端裝備核心軟件的“中國(guó)造”品牌。

資料下載_上?？匕埠?jiǎn)介.pdf