• 浙江省经信厅邬韶杭处长一行莅临迪捷软件调研座谈

    2022年5月24日下午,浙江省经信厅软件和集成电路处处长邬韶杭携省软件行业协会、省半导体行业协会领导赴迪捷软件调研指导,市经信局领导陪同调研。

    2022-05-27 digiproto

  • 「迪捷软件」喜获Pre-A轮千万级融资,硬核科技打造安全关键领域嵌入式数字仿真平台

    不积跬步,无以至千里。面对如此巨大的市场需求,潜心耕耘近20年的迪捷团队抓住机遇,厚积薄发,于2019年成立浙江迪捷软件科技有限公司,推出了基于模型的系统工程(MBSE)的自主研发产品。

    2022-05-09 digiproto

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

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

    2022-04-27 digiproto

  • ModelCoder模块系列:PID模块介绍

    ModelCoder是一款支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具。ModelCoder当前拥有9个基础模块库,40余个模块,PID Controller为ModelCoder实现PID控制算法的模块。

    2022-03-17 digiproto

  • ModelCoder状态机中的State逻辑

    ModelCoder可以进行状态机的搭建以及仿真,其支持的状态机是通过在Mealy和Moore有限状态机的基础上进行扩展来实现的。本文主要讲解状态机中状态(State)的部分逻辑。

    2022-02-08 digiproto

  • ModelCoder中的超密时间模型

    许多仿真模型中都有时间的概念,这就意味着模块间的通信和模块所执行的计算是在一个逻辑时间轴上的,这两个动作在执行时要么按顺序执行,也就是说某个动作在另外一个动作之前;要么两个同时执行(并发执行)。

    2022-01-18 digiproto

  • ModelCoder中的代数环问题

    2020年5月23日,美国商务部宣布,将共计33家中国公司和机构列入实体清单,哈工大、哈工程被禁用“工科神器”Matlab,而Simulink是Matlab软件的扩展,它是一个实现动态系统建模和仿真的软件。Matlab在国内知名院校和关键领域研究院所的禁用,给在国内坐了多年冷板凳,从事基础软件研究和产业化的我们,带来了机遇。

    2021-12-30 digiproto

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

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

    2021-12-20 digiproto

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