-
「迪捷软件」喜获Pre-A轮千万级融资，硬核科技打造安全关键领域嵌入式数字仿真平台
不积跬步，无以至千里。面对如此巨大的市场需求，潜心耕耘近20年的迪捷团队抓住机遇，厚积薄发，于2019年成立浙江迪捷软件科技有限公司，推出了基于模型的系统工程（MBSE）的自主研发产品。
2022-05-09 digiproto
-
虚拟ECU：唤醒传统汽车开发灵魂
迪捷软件作为汽车等安全关键领域产品与解决方案提供商，通过涵盖基于模型的系统工程（Model Based System Engineering，MBSE）的整个生命周期的全系列产品，为汽车电子系统开发提供完整的解决方案，支持虚拟ECU和从系统到软件的车辆虚拟样机设计。
2022-04-28 digiproto
-
迪捷软件荣登首版次产品目录
近日，浙江省经济和信息化厅公布的《2021年浙江省首版次软件产品应用推广指导目录》中，浙江迪捷软件科技有限公司的“天目全数字实时仿真软件 V3.5”榜上有名，成为2021年度绍兴市唯一入围软件产品。
2022-03-03 digiproto
-
Docker Compose如何与SkyEye完美结合
docker-compose是docker官方的开源项目，负责容器集群编排的支持与实现。docker-compose允许用户通过一个单独的docker-compose.yml模板文件（YAML 格式）来定义一组相关联的应用容器为一个项目。
2022-01-24 digiproto
-
![带你了解PCIE通信原理]()
带你了解PCIE通信原理
PCI-Express(peripheral component interconnect express)，简称PCIE，是一种高速串行计算机扩展总线标准，主要用于扩充计算机系统总线数据吞吐量以及提高设备通信速度。
2022-01-07 digiproto
-
![细数嵌入式开发与通用系统开发的不同]()
细数嵌入式开发与通用系统开发的不同
嵌入式开发指在嵌入式操作系统下进行开发，包括在系统化设计指导下的硬件和软件以及综合研发。而通用系统开发则是指在具有有多道批处理、分时、实时处理功能中的两种及以上功能的操作系统中进行开发。
2021-12-28 digiproto
-
![浅谈ARMv7-A协处理器CP15]()
浅谈ARMv7-A协处理器CP15
协处理器，顾名思义就是协助型处理器，主要协助做一些主处理器无法执行或者执行效率不佳的事情，比如浮点、图像、音频处理这一类，随着硬件的发展，大多协处理器的功能都慢慢集成到主处理器中，但是某些特定的工作还是需要协处理器进行辅助。
2021-12-21 digiproto
-
![L2C中CtempGen层语义保持证明中环境匹配的定义]()
L2C中CtempGen层语义保持证明中环境匹配的定义
ModelCoder是一款由迪捷软件自主研发，支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具。ModelCoder支持同步数据流以及状态机等嵌入式模型，其从模型生成代码的过程经过了形式化验证，以保证生成过程的正确无误性，能够用于飞行控制系统，航空电子系统，核电的DCS等多个安全关键领域的嵌入式软件的设计和开发。
2021-12-20 digiproto
