浙江迪捷软件科技有限公司

　　迪捷软件专注于安全关键领域数字化转型，遵循中立开放的商业理念，致力于核心工业软件国产化研究，为我国安全关键领域提供嵌入式DevOps 、 MBSE和数字装备产品及解决方案，以构建全生命周期的数字孪生系统。公司注册资金为1103.3333万，总部位于浙江绍兴，在北京、上海、成都、西安等地设有子公司。

　　创始团队和核心技术团队均来自清华大学计算机系的系统软件和软件工程研究所，在嵌入式虚拟化、形式化证明和符号执行等领域处于国内领先地位。由迪捷发起的开源项目有SkyEye，L2C，Android_S2E等，俱在国内外有较高知名度。

　　迪捷软件自主创新、自主设计、自主可控、自主知识产权的一系列嵌入式DevOps与MBSE仿真建模产品，涉及了高端装备的需求、设计、开发直至仿真测试等环节，已成功应用于我国C919、飞机发动机、载人航天、火星探测器、核电站、汽车、轨交等领域，提供了基于计算机的高效设计开发环境，解决了高端装备软件开发和测试时硬件环境搭建成本高、资源调度难、研发周期长等问题，填补了国内嵌入式虚拟仿真领域空白。

　　公司官网：https://www.digiproto.com