迪捷軟體獲Pre-A輪千萬級融資，打造安全關鍵領域嵌入式數字模擬平臺

投資界5月16日訊息，浙江迪捷軟體科技有限公司（以下簡稱“迪捷軟體”）宣佈完成

Pre-A輪千萬級融資

，本輪融資由

深圳正軒投資領投，啟迪之星創投聯合投資

。據悉，本輪融資將主要用於

完善產品和構建SaaS，提升核心技術，以及市場推廣和品牌宣傳。

迪捷軟體成立於2019年，總部位於浙江紹興，是一傢俱有核心自主智慧財產權，遵循中立開放的商業理念，致力於為國內防務等諸多安全關鍵領域提供MBSE和數字裝備產品及解決方案的科技公司。

迪捷軟體經自主研發推出了基於模型的系統工程（MBSE）產品：SkyEye天目全數字實時模擬軟體和形式化驗證的程式碼生成工具ModelCoder。這兩個產品不僅涵蓋了整個MBSE的生命週期，也針對需求分析、設計、開發、模擬測試和部署等各個環節提供完整覆蓋的解決方案。

SkyEye天目全數字實時模擬軟體（以下簡稱SkyEye），源於2003年清華大學系統軟體和軟體工程研究室的SkyEye虛擬模擬專案。迪捷軟體的核心團隊經過近20年的技術深耕，已突破了所有關鍵技術，並擁有多項發明專利和軟著，其中動態二進位制翻譯處於世界領先水平。此外，由迪捷軟體發起的開源專案有SkyEye，L2C，Android_S2E等，在國內外有著很高知名度。

迪捷軟體 SkyEye

ModelCoder是一款支援多種嵌入式系統建模，且可自動生成高安全可靠的C程式碼的軟體設計和開發工具。ModelCoder最早起源於迪捷軟體與客戶合作的國產替代專案，2015年，其技術團隊突破了從Lustre到C語言（L2C，ModelCoder核心模組）可信編譯器的關鍵技術，被業內評價為“攻克了軟體程式碼生成技術等世界性難題”。同年ModelCoder成功交付運行於客戶的核級DCS控制系統中，標誌著在該領域實現了國產替代，其在形式化驗證的程式碼生成器方面也填補了國內空白。

迪捷軟體 ModelCoder

軟體的核心技術團隊均為清華大學，創始人兼CEO康爍有著20年系統軟體經驗，以及10年軍工從業背景，掌握及擁有核心智慧財產權。