• ModelCoder:实现汽车四轮转向控制系统的建模仿真

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

    2022-04-27 digiproto

  • 浅谈SkyEye虚拟ECU

    随着汽车行业向着智能化、电动化、无人化的方向发展,汽车电子领域的研发复杂度急剧上升,汽车ECU(Electronic Control Unit,电子控制器单元)的软件规模也越来越大,其测量、标定等任务也在同比高速增加。如何能够在较短周期内高效地开发和测试 ECU 软件,同时维持较高的安全可靠水准,成为当前汽车电子开发亟需解决的难题之一。

    2022-02-21 digiproto

  • 带你了解PCIE通信原理

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

    2022-01-07 digiproto

  • 浅谈状态机

    在工业生产中,常常会使用到建模软件,而建模的目的就是为了在制造的前期进行验证和试错,以确保制造出来的东西能够很好的使用。而在建模仿真的领域中,状态机又是逃不开的一个话题。

    2021-12-13 digiproto

  • 迪捷软件启航杯MBSE建模大赛见闻

    2020年10月27日,由中国航天科技集团有限公司八院八〇五研究所(上海宇航系统工程研究所)与中国商用飞机有限责任公司北京民用飞机技术研究中心(以下简称中国商飞北研中心)共同主办的“启航杯”...

    2021-06-03 迪捷软件

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