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 正版图库