ModelCoder-媒体中心-迪捷软件-国内领先的嵌入式DevOps解决方案提供商

如何搭建点燃式发动机仿真模型

点燃式发动机仿真模型可使用功率、空气流量、燃料流量、排气温度、效率和排放性能的物理量查找模块来实现。

2022-08-29 digiproto

1.形式化方法基本概念形式化方法是基于严格的数学基础，通过采用数学逻辑证明来对计算机软硬件系统进行建模、规约、分析、推理和验证，是用于保证计算机软硬件系统正确性以及安全性的一种重要方法。形式化方法使用数学及逻辑证明的手段对计算机系统进行建模、规约、分析、推理，其主要涵盖以下几个研究方向：定理证明、形式模型、形式语义与形式建模、形式规约、形式验证技术。下面以高可信工业领域实际应用中最广泛的形式化规格

2022-08-01 digiproto

ModelCoder状态机：对柴油机工况判断策略进行建模

1.柴油机ECU简介柴油机是用柴油作燃料的内燃机，属于压缩点火式发动机。柴油机ECU（Electronic Control Unit，电子控制单元）的主要功能有：接受来自柴油机上的各个传感器信号；进行工况判断；根据开发人员事先编写的控制策略与标定存储的各类MAP（汽车工程上常用的实验数据图），计算判断在当前工况下的所需的喷油量、喷油正时与喷射压力等控制参数；通过功率驱动模块控制执行器输出。柴油机E

2022-07-29 digiproto

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

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中的超密时间模型

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

2022-01-18 digiproto

媒体中心

媒体中心

产品与解决方案

媒体中心

人才战略

关于迪捷