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

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

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

2022-07-29 digiproto

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

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

2022-04-27 digiproto

ModelCoder状态机中的State逻辑

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

2022-02-08 digiproto

ModelCoder中的代数环问题

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

2021-12-30 digiproto

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

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

2021-12-20 digiproto

设计模式六大原则你都知道吗？

单一职责原则的核心是功能单一化，功能单一化后每个模块只受该功能的影响，不会出现其他功能的改变导致必须修改该模块。比方说登录模块和用户管理模块，如果合在一起，会导致如果需要增加一个临时登录的功能必然会影响用户管理模块，至少上线的时候用户管理模块也是断掉的。

2021-12-14 digiproto

浅谈状态机

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

2021-12-13 digiproto

基于常微分方程初值问题的ModelCoder固定步长求解器分析

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

2021-12-10 digiproto

媒体中心

媒体中心

产品与解决方案

媒体中心

人才战略

关于迪捷