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年军工从业背景，掌握及拥有核心知识产权。
,
