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

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

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

2023-05-15 digiproto

ModelCoder中的代数环问题

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

2023-05-15 digiproto

基于模型的设计（MBD）在汽车ECU软件开发中的实践

基于模型的设计（MBD）是整车厂在当前激烈的竞争环境下的最优选，但如何选择一套应用MBD、以模型为核心，且能处理从需求、设计、代码生成到测试的开发工具？点击原文了解详情。

2023-05-15 digiproto

浙里工业软件声音 - 金问鼎：“MBSE+DevOps”两位一体，SkyEye助力卫星数字先行

天目全数字实时仿真软件SkyEye作为攻克“卡脖子”关键技术、国产替代和自主可控的工业软件，可构建卫星全生命周期的数字孪生系统，应用先进的“MBSE+DevOps”方法论，实现卫星姿态轨道控制软件的正确性、可靠性与高效性，为卫星保驾护航。

2023-05-15 digiproto

手把手教你！基于Jenkins的嵌入式软件持续集成方法

嵌入式软件就是嵌入在硬件中的操作系统和开发工具软件，它在产业中的关联关系体现为：芯片设计制造→嵌入式系统软件→嵌入式电子设备开发、制造。嵌入式软件与嵌入式系统是密不可分的，嵌入式系统一般由嵌入式微处理器、外围硬件设备、嵌入式操作系统以及用户的应用程序4个部分组成，用于实现对其他设备的控制、监视或管理等功能。嵌入式软件就是基于嵌入式系统设计的软件，它也是计算机软件的一种，同样由程序及其文档组成，是嵌入式系统的重要组成部分。

2023-05-15 digiproto

浅谈嵌入式系统的持续集成

持续集成（Continuous Integration(CI)）和持续交付（Continuous Delivery(CD)）是现代软件开发中两个非常重要的概念。集成是完成交付和部署的前置条件，实现持续交付最大的难点是如何配置正确的持续集成流程。

2023-05-15 digiproto

喜报｜迪捷软件荣获浙江省2023年度第一批创新型中小企业称号

近日，根据工业和信息化部《优质中小企业梯度培育管理暂行办法》（工信部企业〔2022〕63号）和《浙江省经济和信息化厅关于印发浙江省优质中小企业梯度培育管理实施细则（暂行）的通知》（浙经信企业〔2022〕197号）等要求，浙江省经济和信息化厅公布了浙江省2023年度第一批创新型中小企业名单，浙江迪捷软件科技有限公司通过了创新型中小企业认定，成为浙江省2023年度第一批入库的创新型中小企业。

2023-05-09 digiproto

浙江省组织部文涛主任一行莅临迪捷软件调研指导

2023年3月28日下午，浙江省委组织部干部档案与人才服务中心主任文涛一行莅临迪捷软件调研指导，绍兴市市委、区委组织部相关领导陪同调研。

2023-03-29 digiproto

媒体中心

媒体中心

产品与解决方案

媒体中心

人才战略

关于迪捷