日前，由【科大國創(chuàng)(300520)、股吧】（300520）牽頭建設(shè)的安徽中科國創(chuàng)高可信軟件有限公司成功入選首批合肥高新區(qū)以企業(yè)為主體協(xié)同創(chuàng)新平臺項目，并簽署了“合肥高新區(qū)以企業(yè)為主體的協(xié)同創(chuàng)新平臺――高可信軟件云平臺”合作共建協(xié)議，標志著科大國創(chuàng)持續(xù)投入研發(fā)的高可信軟件開始嶄露頭角。

　　高可信軟件是指可靠、可信和安全性標準極高的軟件，為國家安全攸關(guān)行業(yè)提供高安全性、高可靠性、高可信性保障，是國家信息和網(wǎng)絡(luò)安全的關(guān)鍵性技術(shù)和基礎(chǔ)工具的護城河，具有重要的戰(zhàn)略意義。

　　科大國創(chuàng)依托中國科學技術(shù)大學軟件安全實驗室和中國科大――國創(chuàng)高可信軟件工程中心的教授、博士團隊，經(jīng)過10多年的相關(guān)理論研究，在嵌入式操作系統(tǒng)驗證、關(guān)鍵算法的形式化驗證、安全C程序驗證工具和C/C++程序內(nèi)存安全與缺陷分析等方面完成了諸多理論突破。在此基礎(chǔ)上，公司控股子公司中科國創(chuàng)高可信秉承“打造自主智能軟件，為軟件質(zhì)量與安全而奮斗”的理念，以自主的智能算法研發(fā)了業(yè)內(nèi)領(lǐng)先的程序分析和程序驗證工具等原創(chuàng)軟件產(chǎn)品，為人工智能、機器人、無人駕駛、軍工、航天、核電等安全攸關(guān)的關(guān)鍵領(lǐng)域的軟件安全可靠提供保障。

　　目前，在程序分析工具方面，科大國創(chuàng)已推出“USTCHCS 分析工具集”，實現(xiàn)了對C和C++程序的靜態(tài)分析，可運行于多種操作系統(tǒng)和開發(fā)平臺，支持多種國際、國家和行業(yè)標準；在程序驗證工具方面，科大國創(chuàng)推出了“科創(chuàng)驗證器學習平臺”，在國創(chuàng)云平臺上線公開。

　　此次，由合肥高新區(qū)與科大國創(chuàng)共同簽約打造的“高可信軟件云平臺”是國內(nèi)高可信軟件領(lǐng)域產(chǎn)學研用緊密結(jié)合的新型創(chuàng)新平臺。匯聚和連接研究、學習、應(yīng)用與開發(fā)者，構(gòu)建高可信軟件的生態(tài)體系，旨在推動高可信軟件在國家安全和社會穩(wěn)定密切相關(guān)的關(guān)鍵基礎(chǔ)設(shè)施建設(shè)中發(fā)揮關(guān)鍵作用，形成具有世界領(lǐng)先水平的高可信軟件開發(fā)工具產(chǎn)品及技術(shù)，打造以程序分析和程序驗證為核心的高可信軟件集成開發(fā)平臺。這也標志著科大國創(chuàng)領(lǐng)先的高可信軟件技術(shù)已走出開發(fā)間，技術(shù)成果已嶄露頭角，為進一步的規(guī)模市場化應(yīng)用奠定堅實基礎(chǔ)。（胡心宇）