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

36氪獲悉，浙江迪捷軟體科技有限公司（以下簡稱“迪捷軟體”）宣佈完成Pre-A輪千萬級融資，本輪融資由深圳正軒投資領投，啟迪之星創投聯合投資。據悉，本輪融資將主要用於完善產品和構建SaaS，提升核心技術，以及市場推廣和品牌宣傳。

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

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

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

迪捷軟體 SkyEye

據迪捷軟體介紹，SkyEye的出現填補了國內嵌入式虛擬模擬領域的空白，是世界上支援計算機架構和作業系統數量最多的虛擬模擬平臺。在工業產品迭代速度和頻率要求越來越高的今天，客戶無需等待硬體到位，即可透過SkyEye提前實現對產品從設計、應用程式開發、整合與測試、產品交付到系統維護各個階段的全生命週期的支援，幫助客戶節省時間和成本，提高產品研發效率，加快產品迭代速度，使產品更快推向市場。

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

迪捷軟體 ModelCoder

據迪捷軟體介紹，至今，ModelCoder已經成熟應用於客戶的核電機組中，並覆蓋其所有新建堆型。

我國工業體量目前已位居世界第一位，並呈逐年擴張之勢。國家科技部2021年釋出的《關於對“十四五”國家重點研發計劃首批18個重點專項2021年度專案申報指南征求意見的通知》中，明確將工業軟體納入科技部國家重點研發計劃首批重點專案，這標誌著工業軟體已成為國家科技領域最高級別的戰略部署。

隨著“中國製造2025”的逐步落實，我國現代工業化程序不斷加快。工業軟體作為智慧製造的重要基礎和核心支撐，廣泛應用於防務、航空航天，汽車、軌道交通和通訊等高階裝備製造業及其它民用工業領域，對於推動我國製造業轉型升級，實現製造強國戰略具有重要意義。當工業4。0和智慧製造愈發聚焦於“數字化”的時候，“數字建模和模擬”也必將成為中國數字化工業轉型的中堅力量。

在國內數字化工業轉型帶來的迅猛需求、外部形勢嚴峻和國家政策加持等多重因素作用下，國內工業軟體的發展正面臨著前所未有的機遇和挑戰。據Gartner資料顯示，2018年全球工業軟體市場規模達到3893億美元，同比增長5。19%。據工信部資料顯示，我國工業軟體市場規模持續高速增長，遠超國際同期水平，在2019年市場規模為1720億元，至2022年中將達到2600億元，並有望在2026年突破4300億元，複合增長率超10%。

迪捷軟體先後與防務、航空航天、船舶、核工業、汽車電子、軌道交通、通訊和電子電力等安全關鍵領域的眾多國內客戶，開展了產品設計、開發、驗證和最佳化等多方面的深入合作，積累了多領域、多場景的行業經驗；並透過在實戰中不斷完善和提高，最佳化和豐富了自身產品，未來將持續在國產嵌入式軟體系統領域深耕技術和開拓市場。

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