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

來源:36氪
發佈時間:2022-05-16
迪捷軟體填補了國內嵌入式虛擬倣真領域的空白

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年軍工從業背景,掌握及擁有核心智慧財産權。

本文圖片來自:企業官方Pexels 正版圖庫