在全球新一輪數位化、智能化浪潮下，軟體發展面臨著新的機遇與挑戰，特別在智慧機器人、智能汽車、無人工廠、軍工、航天、核電等安全攸關行業領域，開發可靠安全性和保密安全性標準極高的高可信軟體，具有重要的戰略意義。科大國創作為行業軟體的領先者、大數據研發應用的國家隊、數據智能技術的創新者，一直以來致力於打造數據智能和高可信軟體等核心技術，其中高可信軟體技術是公司近年來重點打造的前瞻性技術。多年來，在研發團隊的攻關和不懈努力下，「USTCHCS高可信軟體分析工具集」已投入實際使用，「高可信軟體驗證平臺（學習版）」已上線發布，技術水平處於行業領先地位，已在尖端科技領域應用推廣，取得了豐碩的研究成果。
在日前舉辦的2020CCF中國軟體大會上，科大國創控股子公司安徽中科國創高可信軟體有限公司（以下簡稱「中科國創」）團隊參賽的「高可信分析工具集」表現亮眼，斬獲「軟體研究成果原型系統競賽（工業組命題型）」一等獎，標誌著科大國創高可信軟體研究成果在行業內得到充分認可，對公司高可信軟體產品的推廣及市場化應用起到積極作用。
萬物互聯智能時代已經到來，如何在提供數位化產品的同時保障軟體研發過程的可信與安全，成為當前軟體研發的巨大挑戰。一直以來，科大國創致力於研發高可信軟體技術，於2013年成立「中國科大—國創高可信軟體工程中心」，2017年成立中科國創控股子公司，一直積極推動與中國科大相關團隊的密切合作，在作業系統、關鍵算法的形式化驗證、程序驗證工具和程序靜態分析等方面擁有諸多理論突破和研究成果，並擁有基於這些理論建立的程序驗證與分析框架和程序驗證技術。經過多年潛心研發，目前已正式發布「USTCHCS高可信分析工具集」和「高可信軟體驗證平臺（學習版）」；在產學研應用方面，與合肥高新區共建「高可信軟體雲平臺」，並舉辦了為期一周的「程序形式化驗證入門培訓班」；近日，更是成功中標「數字經濟支撐技術公共服務平臺建設」項目，中標金額193.98萬，為中標產品的三家公司中唯一一家完全國產自主研發的高可信軟體工具，打破了高可信軟體國際最高評估級別的技術壁壘，彌補了以往國內高可信軟體依賴國外進口的空白，為該平臺提供高可信軟體支撐等市場化推廣應用，具有重要和深遠的意義。多年來，科大國創堅持走自主創新的研發路線，注重技術與業務的融合和創新，著力打造一支技術領先、業務精湛的複合型團隊。
未來，科大國創將秉持「軟體興企報國，創新引領未來」的使命，堅定貫徹「智慧+」「平臺驅動」「產品引領」三大發展戰略，在國內外不確定因素顯著增多的形勢下，於危機中育先機、於變局中開新局，於新局中求創新，持續布局數據智能和高可信軟體等智能軟硬體產品的研發，推動高可信軟體在尖端科技、社會經濟和生活領域中發揮關鍵作用，形成具有世界領先水平的高可信軟體集成開發平臺和工具。同時，隨著大數據進入深度應用階段，人工智慧日益融入產業升級，科大國創將基於高水平的高可信軟體技術基礎，持續開展機器人編程的和新一代人工智慧關鍵共性技術的研究，為公司卓越發展打下基礎，不斷為數字經濟的創新發展貢獻力量。
(編輯：張夢）