近日，第四屆ACM中國(guó)圖靈大會(huì)在合肥隆重舉行，本次大會(huì)由中國(guó)科學(xué)技術(shù)大學(xué)等國(guó)內(nèi)二十多所高校聯(lián)合承辦，以“智能+與工業(yè)互聯(lián)網(wǎng)”為主題，共話尖端技術(shù)，探討智能化未來(lái)發(fā)展，是中國(guó)計(jì)算機(jī)領(lǐng)域級(jí)別最高、規(guī)模最大的學(xué)術(shù)盛會(huì)之一。

7月31日下午，圖靈大會(huì)—高可信軟件技術(shù)論壇隆重召開。本次論壇在安徽省經(jīng)濟(jì)和信息化廳的指導(dǎo)下，由中國(guó)科學(xué)技術(shù)大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院、CCF形式化專委會(huì)、CCF合肥分部主辦，由科大國(guó)創(chuàng)、上?？匕?、中科國(guó)創(chuàng)高可信聯(lián)合承辦。

中國(guó)科學(xué)院院士、上?？匕彩紫茖W(xué)家何積豐出席論壇并致辭。何院士表示，軟件作為一門基礎(chǔ)信息技術(shù)，為城市數(shù)字化、智能化轉(zhuǎn)型提供重要支撐，高可信軟件在國(guó)家安全和社會(huì)穩(wěn)定密切相關(guān)的關(guān)鍵基礎(chǔ)設(shè)施建設(shè)中發(fā)揮著關(guān)鍵作用。何院士強(qiáng)調(diào)，企業(yè)需不斷加強(qiáng)軟件基礎(chǔ)研究，加快形成自主可控的軟件技術(shù)能力；緊密對(duì)接行業(yè)需求，構(gòu)建適用于用戶的模型體系，打磨更經(jīng)濟(jì)且受歡迎的市場(chǎng)化產(chǎn)品，解決產(chǎn)業(yè)“卡脖子”難題。

何積豐院士致辭

論壇期間，高可信軟件工具鏈發(fā)布儀式正式啟動(dòng)，此次發(fā)布旨在匯聚行業(yè)優(yōu)質(zhì)資源，加速高可信軟件的國(guó)產(chǎn)化替代進(jìn)程，為用戶提供全方面、高可信的測(cè)試服務(wù)，不斷推動(dòng)高可信軟件的商業(yè)化應(yīng)用和可持續(xù)發(fā)展。

中科國(guó)創(chuàng)高可信、上?？匕?、上海創(chuàng)景、蘇州棱鏡七彩、上海復(fù)深藍(lán)聯(lián)合發(fā)布高可信軟件工具鏈

圓桌對(duì)話環(huán)節(jié)，各專家圍繞“國(guó)產(chǎn)高可信軟件的現(xiàn)狀與未來(lái)”話題展開討論。上海控安可信軟件創(chuàng)新研究院繆煒愷院長(zhǎng)介紹，軟件工具在高校完成原型設(shè)計(jì)后，要真正實(shí)現(xiàn)技術(shù)的商品化，差的不僅僅是“最后一公里”，而是要作為一個(gè)系統(tǒng)化的問(wèn)題來(lái)對(duì)待，其資源投入既需要原始研發(fā)團(tuán)隊(duì)的不斷深入，需要工程化力量的持續(xù)開發(fā)，同時(shí)也需要將行業(yè)用戶方的需求一體納入考慮。作為新型研發(fā)機(jī)構(gòu)，上海控安平臺(tái)公司的設(shè)立即是為了打通技術(shù)成果轉(zhuǎn)化的通道。

繆院長(zhǎng)在發(fā)言中強(qiáng)調(diào)，當(dāng)前可信技術(shù)發(fā)展的一大痛點(diǎn)在于：工具研發(fā)方和行業(yè)應(yīng)用方，在領(lǐng)域知識(shí)上尚且存在鴻溝，因此需匯聚用戶方、技術(shù)方、高校方等多方聯(lián)動(dòng)，構(gòu)建完善的產(chǎn)業(yè)生態(tài)。

上海控安可信軟件創(chuàng)新研究院 繆煒愷院長(zhǎng)分享

關(guān)于國(guó)產(chǎn)軟件未來(lái)發(fā)展，繆院長(zhǎng)提出，當(dāng)前我國(guó)軟件人才稀缺，軟件開發(fā)人員儲(chǔ)備不足，能系統(tǒng)掌握方法學(xué)的人才基數(shù)過(guò)少。人員力量的不足制約了行業(yè)發(fā)展速度。因此，可以考慮的方式包括從高校人才培養(yǎng)入手，學(xué)校課程體系的搭建緊跟產(chǎn)業(yè)需求。上海控安也已開始嘗試將工業(yè)級(jí)案例引入學(xué)生課堂，例如通過(guò)系統(tǒng)化的建模驗(yàn)證等方面的實(shí)踐，推動(dòng)人才培養(yǎng)，探索具普遍性和規(guī)律性問(wèn)題的解決方案。

工業(yè)軟件是工業(yè)制造領(lǐng)域的大腦和神經(jīng)，我們必須堅(jiān)定自主創(chuàng)新，擺脫“卡脖子”的命運(yùn)。上?？匕脖泄?jiān)工業(yè)軟件核心技術(shù)的初心使命，將緊抓歷史機(jī)遇，不斷學(xué)習(xí)縱深行業(yè)場(chǎng)景知識(shí)，充分發(fā)揮本土化優(yōu)勢(shì)，以柔性化定制滿足用戶需求，攜手生態(tài)合作伙伴，腳踏實(shí)地做技術(shù)，助力中國(guó)工業(yè)軟件闖出一片新的天地。