• 「迪捷软件」喜获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通信原理

    PCI-Express(peripheral component interconnect express),简称PCIE,是一种高速串行计算机扩展总线标准,主要用于扩充计算机系统总线数据吞吐量以及提高设备通信速度。

    2022-01-07 digiproto

  • 细数嵌入式开发与通用系统开发的不同

    嵌入式开发指在嵌入式操作系统下进行开发,包括在系统化设计指导下的硬件和软件以及综合研发。而通用系统开发则是指在具有有多道批处理、分时、实时处理功能中的两种及以上功能的操作系统中进行开发。

    2021-12-28 digiproto

  • 浅谈ARMv7-A协处理器CP15

    协处理器,顾名思义就是协助型处理器,主要协助做一些主处理器无法执行或者执行效率不佳的事情,比如浮点、图像、音频处理这一类,随着硬件的发展,大多协处理器的功能都慢慢集成到主处理器中,但是某些特定的工作还是需要协处理器进行辅助。

    2021-12-21 digiproto

  • L2C中CtempGen层语义保持证明中环境匹配的定义

    ModelCoder是一款由迪捷软件自主研发,支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具。ModelCoder支持同步数据流以及状态机等嵌入式模型,其从模型生成代码的过程经过了形式化验证,以保证生成过程的正确无误性,能够用于飞行控制系统,航空电子系统,核电的DCS等多个安全关键领域的嵌入式软件的设计和开发。

    2021-12-20 digiproto

上一页123下一页 转至第
首页
产品
新闻
联系