您現在的位置是:首頁 > 娛樂
迪捷軟體獲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年軍工從業背景,掌握及擁有核心智慧財產權。
推薦文章
- 真正厲害的人,都是一開口就能說重點,一接話就能說到人心坎裡
會說話的人一開口就是重點03 三個溝通秘籍,讓你一開口就能說重點,一接話就能說到人心坎裡很多人都說,自己知道身在職場,會說話是多麼的重要,但是自己就是嘴笨,智商不夠,不知道該如何精簡表達,能怎麼辦呢...
- 一個角色+兩種外觀+能打能抗=六邊形戰士?這遊戲新職業太上頭了
能打能抗已經不太能滿足我們的需求了,最好能打能抗能奶,六邊形越滿越好——在《新笑傲江湖》手遊全新版本中,新職業逍遙登場,可遠攻爆炸輸出,可近身掌握戰場,還能回覆團隊延長續航,這不就是我的夢中情職嗎...
- 這菜冬天特貴,只有夏天便宜,用它做餃子餡,比韭菜雞蛋好吃10倍
白芸豆豬肉餃子食材:五花肉:600克,白芸豆:500克,薑末、蔥末:適量,蠔油:適量,生抽:適量,老抽:少許,香油:少許,13十三香:少許,麵粉:400克,水:200克做法:1、白芸豆擇去芸豆絲,去掉兩頭,放入水裡清洗乾淨...