科大國創:高可信軟體賦能尖端科技領域 打造數字經濟發展新引擎

　　當前,全球新一輪科技革命和產業變革正加速演進，新一代信息技術及其深度應用已經推動人類社會步入到新的發展階段，數字經濟成為發展的新引擎，將引領未來發展。在數字經濟時代，軟體技術已經成為企業的核心競爭力。高可信軟體為國家安全攸關行業提供高安全性、高可靠性、高可信性保障，是國家信息和網絡安全的關鍵性技術和基礎工具的護城河，具有重要的戰略意義。在「軟體定義一切」的當下，未來社會經濟高質量的發展，都離不開軟體技術的支撐。特別是在航空航天、國防裝備、核能、金融、交通、智慧機器人、智能汽車、無人工廠、醫療等安全攸關的應用領域，開發高可信的軟體成為迫切的需求和挑戰。

　　根據資料顯示，目前國際上能達到或接近達到國際標準15408（即CC標準，我國的GB/T 18336國家標準等同此標準）中最高評估級別「採用形式驗證方法的設計和測試」的軟體鳳毛麟角，尤其是極少有採用基於演繹推理證明方式。該證明方式技術壁壘高、軟體工具少、技術人員匱乏。針對目前採用形式驗證方法的高端空白市場，科大國創（300520）依託中國科學技術大學軟體安全實驗室和中國科大――國創高可信軟體工程中心的教授、博士團隊，經過十多年潛心研究和沉澱，開發出基於演繹推理的程序驗證工具，實現了高可信軟體技術從實驗室向實際應用的跨越。目前，科大國創高可信軟體技術水平已達到國際領先地位。

　　今天，萬物互聯無處不在，人工智慧已經向我們款款而來，「用代碼改變世界」的流行語不再是程式設計師的自我調侃。為普及程序形式化驗證的基礎理論、方法和技術，培養從事形式化驗證的高端人才，近日，科大國創控股子公司――安徽中科國創高可信軟體有限公司在合肥舉辦了為期一周的「首期程序形式化驗證入門培訓班」。培訓班採用講解和實踐相結合的學習方式，由淺而深地介紹了程序驗證的基礎理論、形式化方法、實現技術和科創驗證器學習平臺的使用，學員們初步掌握了基本的程序驗證技術，對此次培訓班的舉辦表示高度認可。這也是科大國創在與合肥高新區共同打造的國內高可信軟體領域產學研用緊密結合的新型創新平臺――「高可信軟體雲平臺」基礎上，匯聚和連接研究、學習、應用與開發者，構建高可信軟體的生態體系的一項重要舉措。未來，在信息化發展的高速公路上，科大國創將持續深耕高可信軟體的研發與應用，推動高可信軟體在國家安全和社會穩定密切相關的關鍵基礎設施建設中發揮關鍵作用，形成具有世界領先水平的高可信軟體開發產品及技術，不斷打造高可信軟體集成開發平臺和高可信軟體驗證工具，為尖端科技領域保駕護航。

　　圖：科創驗證器驗證平臺

　　經過二十年的不斷努力,科大國創已成為行業軟體的領先者、大數據研發應用的國家隊、數據智能技術的創新者。公司將繼續堅持以內生發展和外延擴張相結合、市場與研發雙輪驅動、產品和服務共同推進、創新引領和行業精耕細作相融合、團隊高素質和工作高效率相協同為總體思路，堅定貫徹「智慧+」「平臺驅動」「產品引領」三大戰略，圍繞公司主營業務，應用領先的數據智能技術，向客戶提供優質的產品與服務，努力實現十四五時期發展目標，為振興國產軟體產業開啟新的篇章，為數字經濟的創新發展貢獻力量。

關注同花順財經（ths518），獲取更多機會

責任編輯：wm