-
![ModelCoder：实现汽车四轮转向控制系统的建模仿真]()
ModelCoder：实现汽车四轮转向控制系统的建模仿真
ModelCoder是一款支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具，支持同步数据流以及状态机等嵌入式模型，其从模型生成代码的过程经过了形式化验证，以保证生成过程的正确无误性，能够用于汽车控制系统、飞行控制系统，航空电子系统，核电的DCS等多个安全关键领域的嵌入式软件的设计和开发。
2022-04-27 digiproto
-
![ModelCoder模块系列：PID模块介绍]()
ModelCoder模块系列：PID模块介绍
ModelCoder是一款支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具。ModelCoder当前拥有9个基础模块库，40余个模块，PID Controller为ModelCoder实现PID控制算法的模块。
2022-03-17 digiproto
-
![ModelCoder中的超密时间模型]()
ModelCoder中的超密时间模型
许多仿真模型中都有时间的概念，这就意味着模块间的通信和模块所执行的计算是在一个逻辑时间轴上的，这两个动作在执行时要么按顺序执行，也就是说某个动作在另外一个动作之前；要么两个同时执行(并发执行)。
2022-01-18 digiproto
-
助力中国高端装备制造业的腾飞
-
-
contact@digiproto.com
-
0575-88361699
-
19957518153（销售）/ 13260299730（合作）/ 13501153049
-
