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

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

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

“十幾年前我們就意識到，軟件不總是可以讓人信任的。”何院士回憶，當(dāng)時不斷有企業(yè)找上門來：有的引進(jìn)了國外軟件，卻發(fā)現(xiàn)它水土不服，但又如同“黑匣子”，難以優(yōu)化；有的自主開發(fā)軟件產(chǎn)品，卻不知如何說服客戶信任它…

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

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

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

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

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

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

資料下載_上海控安簡介.pdf